Closed Predicates in Description Logics: Results on Combined Complexity.
Nhung NgoMagdalena OrtizMantas SimkusPublished in: AMW (2016)
Keyphrases
- description logics
- exptime complete
- combined complexity
- conjunctive query answering
- transitive roles
- data complexity
- dl lite
- query answering
- conjunctive queries
- datalog programs
- double exponential
- knowledge base
- expressive power
- reasoning tasks
- knowledge representation
- semantic web
- query evaluation
- inverse roles
- model theoretic
- computational properties
- transitive closure
- ontology languages
- data exchange
- query rewriting
- integrity constraints
- data integration