Embedding Description Logic Programs into Default Logic
Yisong WangJia-Huai YouLi-Yan YuanYi-Dong ShenThomas EiterPublished in: CoRR (2011)
Keyphrases
- default logic
- description logic programs
- logic programming
- default theories
- default reasoning
- nonmonotonic reasoning
- dl programs
- nonmonotonic logics
- autoepistemic logic
- default rules
- answer set semantics
- logic programs
- classical logic
- modal logic
- description logics
- fixed point
- defeasible logic
- answer sets
- data complexity
- np complete
- knowledge representation
- query language
- answer set programming