A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

29 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationFrontiers in Artificial Intelligence and Applications
Number of pages5
ISBN (Electronic)978158603891
Publication statusPublished - Jun 2008
EventEuropean Conference on Artificial Intelligence -
Duration: 1 Jan 2008 → …


ConferenceEuropean Conference on Artificial Intelligence
Period1/01/08 → …


  • Logic programming
  • stable models
  • Semantics
  • Well founded semantics
  • Well-founded models
  • Inconsistency handling
  • Knowledge basis
  • Logic programs
  • Ontology axioms
  • Ontology language


Dive into the research topics of 'A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases'. Together they form a unique fingerprint.

Cite this