A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases

TitleA Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Publication TypeConference Paper
Year of Publication2008
AuthorsMatthias Knorr, Jose Julio Alferes, Pascal Hitzler
Conference Name18th European Conference on Artificial Intelligence, ECAI
Pagination99-103
Date Published07/2008
Publisher18th European Conference on Artificial Intelligence, ECAI 2008
Conference LocationPatras, Greece
Abstract

With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms. One of the most mature proposals for this combination is known as Hybrid MKNF knowledge bases [11], which is based on an adaptation of the stable model semantics to knowledge bases consisting of ontology axioms and rules. In this paper, we propose a well-founded semantics for such knowledge bases which promises to provide better efficiency of reasoning, which is compatible both with the OWL-based semantics and the traditional well-founded semantics for logic programs, and which surpasses previous proposals for such a well-founded semantics by avoiding some issues related to inconsistency handling.

Full Text

Matthias Knorr, Jose Julio Alferes, Pascal Hitzler, 'A Coherent Well-founded model for Hybrid MKNF knowledge bases,' Proceedings of the 18th European Conference on Artificial Intelligence, ECAI, Patras, Greece, July 2008, pp. 99-103.
pages: 99-103
year: 2008
hasEditor: Malik Ghallab
venue name: 18th European Conference on Artificial Intelligence, ECAI 2008
hasURL: http://knoesis.wright.edu/library/download/coherent_wellFounded_MKNF.pdf