Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
A Coherent well-founded model for hybrid MKNF knowledge bases
July 2008
kah:ecai08
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.
In proceedings
Matthias Knorr, José Júlio Alferes, P. Hitzler
Proceedings of the 18th European Conference on Artificial Intelligence(ECAI-08)
-
IOS Press
-
-
99-103
-
-
-
-
Publication files
- click here to download - pdf 172 KB
Export formats
Matthias Knorr and José Júlio Alferes and P. Hitzler, A Coherent well-founded model for hybrid MKNF knowledge bases, , Proceedings of the 18th European Conference on Artificial Intelligence(ECAI-08), IOS Press, Pag. 99-103, July 2008.
<a href="/people/members/view.php?code=69f33c830f67494d14d40325975eb39b" class="author">Matthias Knorr</a>, <a href="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="author">José Júlio Alferes</a> and P. Hitzler, <b>A Coherent well-founded model for hybrid MKNF knowledge bases</b>, <u>Proceedings of the 18th European Conference on Artificial Intelligence(ECAI-08)</u>, <a href="http://www.iospress.nl/" title="Link to external entity..." target="_blank" class="publisher">IOS Press</a>, Pag. 99-103, July 2008.
@inproceedings {kah:ecai08, author = {Matthias Knorr and Jos{\'e} J{\'u}lio Alferes and P. Hitzler}, title = {A Coherent well-founded model for hybrid MKNF knowledge bases}, booktitle = {Proceedings of the 18th European Conference on Artificial Intelligence(ECAI-08)}, publisher = {IOS Press}, pages = {99-103}, 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.}, month = {July}, year = {2008}, }
Publication's urls
/publications/view.php?code=6cbf7616223bfd55f60e8b0b5955e706
/publications/view.php?code=kah:ecai08
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT