The DReW System for Nonmonotonic DL-Programs.
Guohui XiaoThomas EiterStijn HeymansPublished in: CSWS (2012)
Keyphrases
- description logic programs
- dl programs
- description logics
- answer set semantics
- logic programs
- answer sets
- logic programming
- reasoning tasks
- ontology mappings
- data complexity
- answer set programming
- knowledge base
- dl lite
- knowledge representation
- nonmonotonic logics
- ontology languages
- semantic heterogeneity
- conjunctive queries