Undecidability of $D_{<: }$ and Its Decidable Fragments.
Jason Z. S. HuOndrej LhotákPublished in: CoRR (2019)
Keyphrases
- query containment
- exptime complete
- description logics
- first order logic
- conjunctive queries
- transitive closure
- expressive power
- data complexity
- query answering
- datalog programs
- knowledge representation
- answering queries
- integrity constraints
- number restrictions
- database
- logic programs
- knowledge base
- information systems
- information retrieval