Query Answering in Description Logics with Transitive Roles.
Thomas EiterCarsten LutzMagdalena OrtizMantas SimkusPublished in: IJCAI (2009)
Keyphrases
- transitive roles
- query answering
- description logics
- data exchange
- conjunctive queries
- answering queries
- integrity constraints
- double exponential
- data complexity
- conjunctive query answering
- data integration
- incomplete information
- query rewriting
- inconsistent databases
- dl lite
- inverse roles
- datalog programs
- database
- query containment
- knowledge base
- exptime complete
- reasoning tasks
- schema mappings
- ontology languages
- query answers
- databases