ARAN - Access to Research at NUI Galway

Embedding non-ground logic programs into autoepistemic logic for knowledge base combination

ARAN - Access to Research at NUI Galway

Show simple item record

dc.contributor.author Polleres, Axel en
dc.date.accessioned 2011-07-15T12:09:01Z en
dc.date.available 2011-07-15T12:09:01Z en
dc.date.issued 2011 en
dc.identifier.citation Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits (2011) Embedding non-ground logic programs into autoepistemic logic for knowledge base combination, ACM TOCL, 12(3) en
dc.identifier.uri http://hdl.handle.net/10379/2066 en
dc.description.abstract In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic and rule bases, have been proposed. They either cast rules into classical logic or limit the interaction between rules and ontologies. Autoepistemic logic (AEL) is an attractive formalism which allows to overcome these limitations, by serving as a uniform host language to embed ontologies and nonmonotonic logic programs into it. For the latter, so far only the propositional setting has been considered. In this paper, we present three embeddings of normal and three embeddings of disjunctive non-ground logic programs under the stable model semantics into first-order AEL. While all embeddings correspond with respect to objective ground atoms, differences arise when considering non-atomic formulas and combinations with first-order theories. We compare the embeddings with respect to stable expansions and autoepistemic consequences, considering the embeddings by themselves, as well as combinations with classical theories. Our results reveal differences and correspondences of the embeddings and provide useful guidance in the choice of a particular embedding for knowledge combination. en
dc.format application/pdf en
dc.language.iso English en
dc.subject Semantic web en
dc.subject DERI en
dc.subject Digital Enterprise Research Institute en
dc.title Embedding non-ground logic programs into autoepistemic logic for knowledge base combination en
dc.type article en
dc.description.peer-reviewed peer-reviewed en

Files in this item

This item appears in the following Collection(s)

Show simple item record