Data Complexity of Reasoning in Very Expressive Description Logics.
Ullrich HustadtBoris MotikUlrike SattlerPublished in: IJCAI (2005)
Keyphrases
- expressive description logics
- data complexity
- exptime complete
- regular path queries
- expressive power
- query answering
- query evaluation
- description logics
- conjunctive queries
- np complete
- query language
- ontology languages
- data exchange
- computational properties
- dl lite
- pspace complete
- regular expressions
- first order logic
- incomplete information
- database
- model checking
- semistructured data
- datalog programs