Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules.
David CarralMarkus KrötzschPublished in: IJCAI (2020)
Keyphrases
- description logics
- computing least common subsumers
- dl lite
- ontology based data access
- dl programs
- description logic programs
- knowledge base
- query rewriting
- knowledge representation
- owl ontologies
- conjunctive queries
- concept descriptions
- reasoning tasks
- semantic web
- computational properties
- datalog programs
- production rules
- logical implication
- snomed ct
- query answering
- ontology languages
- reasoning mechanism
- ontology reasoning
- reasoning problems
- data complexity
- first order logic