Eliminating Nonmonotonic DL-Atoms in Description Logic Programs.
Yisong WangThomas EiterJia-Huai YouLi-Yan YuanYi-Dong ShenPublished in: RR (2013)
Keyphrases
- description logic programs
- logic programs
- answer sets
- answer set semantics
- dl programs
- description logics
- logic programming
- ontology mappings
- answer set programming
- conjunctive queries
- dl lite
- computational properties
- natural language
- stable models
- knowledge representation
- database
- computational problems
- ontology languages
- model theoretic
- reasoning tasks
- data complexity