Document Type
Conference Proceeding
Publication Date
1-1-2008
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.
Repository Citation
Knorr, M.,
Alferes, J. J.,
& Hitzler, P.
(2008). A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. Frontiers in Artificial Intelligence and Applications, 178, 99-103.
https://corescholar.libraries.wright.edu/cse/139
DOI
10.3233/978-1-58603-891-5-99
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Presented at the 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008.