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
Towards Tractable Local Closed World Reasoning for the Semantic Web
December 2007
kah07:epia
Recently, the logics of minimal knowledge and negation as failure MKNF was used to introduce hybrid MKNF knowledge bases, a powerful formalism for combining open and closed world reasoning for the Semantic Web. We present an extension based on a new three-valued framework including an alternating fixpoint, the well-founded MKNF model. This approach, the well-founded MKNF semantics, derives its name from the very close relation to the corresponding semantics known from logic programming. We show that the well-founded MKNF model is the least model among all (three-valued) MKNF models, thus soundly approximating also the two-valued MKNF models. Furthermore, its computation yields better complexity results (up to polynomial) than the original semantics where models usually have to be guessed.
In proceedings
Matthias Knorr, José Júlio Alferes, P. Hitzler
J. Maia Neves, M. F. Santos, J. M. Machado
Progress in Artificial Intelligence, Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence
LNAI
Springer
Guimarães, Portugal
-
-
-
-
-
-
Publication files
- click here to download - pdf 354 KB
Export formats
Matthias Knorr and José Júlio Alferes and P. Hitzler, Towards Tractable Local Closed World Reasoning for the Semantic Web, in: J. Maia Neves and M. F. Santos and J. M. Machado (eds), Progress in Artificial Intelligence, Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence, LNAI, Springer, Guimarães, Portugal, December 2007.
<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>Towards Tractable Local Closed World Reasoning for the Semantic Web</b>, in: J. Maia Neves, M. F. Santos and J. M. Machado (eds), <u>Progress in Artificial Intelligence, Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence</u>, LNAI, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Guimarães, Portugal, December 2007.
@inproceedings {kah07:epia, author = {Matthias Knorr and Jos{\'e} J{\'u}lio Alferes and P. Hitzler}, editor = {J. Maia Neves and M. F. Santos and J. M. Machado}, title = {Towards Tractable Local Closed World Reasoning for the Semantic Web}, booktitle = {Progress in Artificial Intelligence, Procs. 13th Portuguese Intl.Conf. on Artificial Intelligence}, series = {LNAI}, publisher = {Springer}, address = {Guimar{\~a}es, Portugal}, abstract = {Recently, the logics of minimal knowledge and negation as failure MKNF was used to introduce hybrid MKNF knowledge bases, a powerful formalism for combining open and closed world reasoning for the Semantic Web. We present an extension based on a new three-valued framework including an alternating fixpoint, the well-founded MKNF model. This approach, the well-founded MKNF semantics, derives its name from the very close relation to the corresponding semantics known from logic programming. We show that the well-founded MKNF model is the least model among all (three-valued) MKNF models, thus soundly approximating also the two-valued MKNF models. Furthermore, its computation yields better complexity results (up to polynomial) than the original semantics where models usually have to be guessed.}, month = {December}, year = {2007}, }
Publication's urls
/publications/view.php?code=3bb8c6405976476427d1e5eb1e889bec
/publications/view.php?code=kah07:epia
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