First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.
Meghyn BienvenuPeter HansenCarsten LutzFrank WolterPublished in: Description Logics (2016)
Keyphrases
- description logics
- function free horn
- containment of conjunctive queries
- model theoretic
- horn clauses
- knowledge base
- conjunctive queries
- inclusion dependencies
- dl lite
- databases
- np hard
- knowledge representation
- query containment
- knowledge representation and reasoning
- ontology languages
- query answering
- first order logic
- data mining
- database
- query evaluation
- propositional logic
- artificial intelligence
- machine learning