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 Well-founded Semantics for Hybrid MKNF Knowledge Bases
June 2007
kah07:dl
In [10], hybrid MKNF knowledge bases have been proposed for combining open and closed world reasoning within the logics of minimal knowledge and negation as failure ([8]). For this powerful framework, we define a three-valued semantics and provide an alternating fixpoint construction for nondisjunctive hybrid MKNF knowledge bases. We thus provide a well-founded semantics which is a sound approximation of the cautious MKNF model semantics, and which also features improved computational properties. We also show that whenever the DL knowledge base part is empty, then the alternating fixpoint coincides with the classical well-founded model.
In proceedings
Matthias Knorr, José Júlio Alferes, P. Hitzler
D. Calvanese, E. Franconi, V. Haarsle, D. Lembo, B. Motik, A-Y. Turhan
Proceedings of 20th International Workshop on Description Logics (DL2007)
-
CEUR Workshop Proceedings
Brixen-Bressanone, Italy
250
347-354
-
-
-
-
Publication files
- click here to download - pdf 158 KB
Export formats
Matthias Knorr and José Júlio Alferes and P. Hitzler, A Well-founded Semantics for Hybrid MKNF Knowledge Bases, in: D. Calvanese and E. Franconi and V. Haarsle and D. Lembo and B. Motik and A-Y. Turhan (eds), Proceedings of 20th International Workshop on Description Logics (DL2007), CEUR Workshop Proceedings, Brixen-Bressanone, Italy, Vol. 250, Pag. 347-354, June 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>A Well-founded Semantics for Hybrid MKNF Knowledge Bases</b>, in: D. Calvanese, E. Franconi, V. Haarsle, D. Lembo, B. Motik and A-Y. Turhan (eds), <u>Proceedings of 20th International Workshop on Description Logics (DL2007)</u>, CEUR Workshop Proceedings, Brixen-Bressanone, Italy, Vol. 250, Pag. 347-354, June 2007.
@inproceedings {kah07:dl, author = {Matthias Knorr and Jos{\'e} J{\'u}lio Alferes and P. Hitzler}, editor = {D. Calvanese and E. Franconi and V. Haarsle and D. Lembo and B. Motik and A-Y. Turhan}, title = {A Well-founded Semantics for Hybrid MKNF Knowledge Bases}, booktitle = {Proceedings of 20th International Workshop on Description Logics (DL2007)}, publisher = {CEUR Workshop Proceedings}, address = {Brixen-Bressanone, Italy}, volume = {250}, pages = {347-354}, abstract = {In [10], hybrid MKNF knowledge bases have been proposed for combining open and closed world reasoning within the logics of minimal knowledge and negation as failure ([8]). For this powerful framework, we define a three-valued semantics and provide an alternating fixpoint construction for nondisjunctive hybrid MKNF knowledge bases. We thus provide a well-founded semantics which is a sound approximation of the cautious MKNF model semantics, and which also features improved computational properties. We also show that whenever the DL knowledge base part is empty, then the alternating fixpoint coincides with the classical well-founded model.}, month = {June}, year = {2007}, }
Publication's urls
/publications/view.php?code=e2ce118da6264ddb0ad9d3aa3788b4c6
/publications/view.php?code=kah07:dl
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