Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination

Details Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination

2008-11-03

arxiv.org/abs/0811.0359v3

Computer Science

Logic in Computer Science

52 pages, submitted

Scientific paper

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 the embeddings all 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.

Affiliated with

Also associated with

No associations

Rating

Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-234375