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.
Original language | English |
---|---|
Title of host publication | Frontiers in Artificial Intelligence and Applications |
Pages | 99-103 |
Number of pages | 5 |
Volume | 178 |
ISBN (Electronic) | 978158603891 |
DOIs | |
Publication status | Published - Jun 2008 |
Event | European Conference on Artificial Intelligence - Duration: 1 Jan 2008 → … |
Conference
Conference | European Conference on Artificial Intelligence |
---|---|
Period | 1/01/08 → … |
Keywords
- Logic programming
- stable models
- Semantics
- Well founded semantics
- Well-founded models
- Inconsistency handling
- Knowledge basis
- Logic programs
- Ontology axioms
- Ontology language