Datalog rewritability and data complexity of ALCHOIQ with closed predicates.
Sanja LukumbuzyaMagdalena OrtizMantas SimkusPublished in: Artif. Intell. (2024)
Keyphrases
- data complexity
- expressive power
- datalog programs
- conjunctive queries
- query answering
- combined complexity
- query evaluation
- query language
- integrity constraints
- lower complexity
- np complete
- special case
- first order logic
- data exchange
- transitive closure
- ontology languages
- relational algebra
- conjunctive query answering
- decision procedures
- query rewriting
- horn clauses
- relational calculus
- description logics
- inconsistent databases
- schema mappings
- logic programming
- query containment
- dl lite
- query complexity
- computational complexity
- fixpoint semantics
- data integration
- answering queries
- unions of conjunctive queries
- tuple generating dependencies
- machine learning