Blocking Automata for PSPACE DLs.
Franz BaaderJan HladikRafael PeñalozaPublished in: Description Logics (2007)
Keyphrases
- description logics
- temporal logic
- cellular automata
- tree automata
- finite state
- finite automata
- decision procedures
- automata theoretic
- pspace complete
- record linkage
- probabilistic automata
- reasoning problems
- regular expressions
- mazurkiewicz traces
- finite state machines
- turing machine
- ontology languages
- dl lite
- lattice gas
- knowledge base
- learning algorithm
- query evaluation
- knowledge representation
- special case
- low priority
- tight complexity bounds