The Internet Archive has a preservation copy of this work in our general collections.
The file type is
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 defaultarXiv:1111.1486v1 fatcat:2q7d326dhfckjc5znnu5ivf2si