First-Order Rewritability of Atomic Queries in Horn Description Logics.
Meghyn BienvenuCarsten LutzFrank WolterPublished in: IJCAI (2013)
Keyphrases
- description logics
- function free horn
- model theoretic
- dl lite
- knowledge base
- knowledge representation
- unions of conjunctive queries
- reasoning tasks
- ontology languages
- computational properties
- query language
- query processing
- artificial intelligence
- exptime complete
- np hard
- semantic web
- database
- database queries
- horn clauses
- reasoning problems
- computing least common subsumers
- knowledge representation and reasoning
- owl ontologies
- databases
- complex queries
- range queries
- first order logic
- expert systems
- natural language
- knowledge representation languages
- database systems