Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates.
Tomasz GogaczSanja LukumbuzyaMagdalena OrtizMantas SimkusPublished in: KR (2020)
Keyphrases
- data complexity
- expressive power
- datalog programs
- conjunctive queries
- combined complexity
- exptime complete
- description logics
- query answering
- query evaluation
- query language
- first order logic
- transitive closure
- lower complexity
- data exchange
- integrity constraints
- np complete
- query complexity
- ontology languages
- inconsistent databases
- conjunctive query answering
- query rewriting
- knowledge base
- ontology based data access
- decision procedures
- relational algebra
- deductive databases
- query containment
- dl lite
- answering queries
- regular path queries
- query processing
- relational calculus
- horn clauses
- conp complete
- fixpoint semantics
- expert systems