The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Embedding Description Logic Programs into Default Logic
[article]
2011
arXiv
pre-print
Description logic programs (dl-programs) under the answer set semantics formulated by Eiter et al. have been considered as a prominent formalism for integrating rules and ontology knowledge bases. A question of interest has been whether dl-programs can be captured in a general formalism of nonmonotonic logic. In this paper, we study the possibility of embedding dl-programs into default logic. We show that dl-programs under the strong and weak answer set semantics can be embedded in default
arXiv:1111.1486v1
fatcat:2q7d326dhfckjc5znnu5ivf2si