Reducing SHIQ-Description Logic to Disjunctive Datalog Programs.
Ullrich HustadtBoris MotikUlrike SattlerPublished in: KR (2004)
Keyphrases
- description logics
- datalog programs
- conjunctive query answering
- query answering
- knowledge base
- data complexity
- conjunctive queries
- inconsistent databases
- fixpoint
- deductive databases
- knowledge representation
- semantic web
- dl lite
- transitive roles
- data exchange
- expressive power
- exptime complete
- artificial intelligence
- incomplete information
- stable models
- integrity constraints
- ontology languages
- business intelligence
- snomed ct
- machine learning