Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics.
Bartosz BednarczykPublished in: CoRR (2021)
Keyphrases
- description logics
- dl lite
- worst case
- unions of conjunctive queries
- number restrictions
- owl dl
- reasoning tasks
- knowledge base
- computational complexity
- conjunctive queries
- logic programming
- query answering
- data complexity
- knowledge representation
- semantic web
- expressive power
- lower bound
- computational properties
- data exchange
- np hard
- reasoning problems
- model theoretic
- first order logic
- np complete
- reasoning systems
- decision procedures
- query rewriting
- ontology languages
- optimal solution
- automated reasoning
- database
- owl ontologies
- integrity constraints
- logic programs