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