First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.
Meghyn BienvenuPeter HansenCarsten LutzFrank WolterPublished in: CoRR (2020)
Keyphrases
- description logics
- containment of conjunctive queries
- function free horn
- conjunctive queries
- dl lite
- model theoretic
- horn clauses
- knowledge base
- query answering
- databases
- knowledge representation
- query containment
- first order logic
- inclusion dependencies
- decision procedures
- integrity constraints
- data complexity
- knowledge representation and reasoning
- query language
- propositional logic
- null values
- database
- artificial intelligence
- np hard
- inference rules
- query evaluation
- functional dependencies