A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases

Matthias Knorr; José Júlio Alves Alferes; Pascal Hitzler

doi:10.3233/978-1-58603-891-5-99

A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases

Matthias Knorr, José Júlio Alves Alferes, Pascal Hitzler

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

29 Citations (Scopus)

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	https://doi.org/10.3233/978-1-58603-891-5-99
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

Access to Document

10.3233/978-1-58603-891-5-99

Cite this

@inproceedings{8938a4900c0848ec8bfe1abf6fe098a6,

title = "A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases",

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. ",

keywords = "Logic programming, stable models, Semantics, Well founded semantics, Well-founded models, Inconsistency handling, Knowledge basis, Logic programs, Ontology axioms, Ontology language",

author = "Matthias Knorr and Alferes, {Jos{\'e} J{\'u}lio Alves} and Pascal Hitzler",

year = "2008",

month = jun,

doi = "10.3233/978-1-58603-891-5-99",

language = "English",

volume = "178",

pages = "99--103",

booktitle = "Frontiers in Artificial Intelligence and Applications",

note = "European Conference on Artificial Intelligence ; Conference date: 01-01-2008",

}

TY - GEN

T1 - A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases

AU - Knorr, Matthias

AU - Alferes, José Júlio Alves

AU - Hitzler, Pascal

PY - 2008/6

Y1 - 2008/6

N2 - 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.

AB - 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.

KW - Logic programming

KW - stable models

KW - Semantics

KW - Well founded semantics

KW - Well-founded models

KW - Inconsistency handling

KW - Knowledge basis

KW - Logic programs

KW - Ontology axioms

KW - Ontology language

UR - http://www.scopus.com/record/display.uri?eid=2-s2.0-85051995149&origin=resultslist&sort=plf-f&src=s&st1

U2 - 10.3233/978-1-58603-891-5-99

DO - 10.3233/978-1-58603-891-5-99

M3 - Conference contribution

VL - 178

SP - 99

EP - 103

BT - Frontiers in Artificial Intelligence and Applications

T2 - European Conference on Artificial Intelligence

Y2 - 1 January 2008

ER -

A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this