Document Type
Conference Proceeding
Publication Date
6-1-2007
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.
Repository Citation
Knorr, M.,
Alferes, J. J.,
& Hitzler, P.
(2007). A Well-Founded Semantics for Hybrid MKNF Knowledge Bases. Proceedings of the 2007 International Workshop on Description Logics (DL2007).
https://corescholar.libraries.wright.edu/cse/122
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Presented at the International Workshop on Description Logics, Brixen-Bressanone, Italy, June 8-10, 2007.