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.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-041

BibTeX:

@inproceedings{REWERSE-RP-2007-041,
	author = {Matthias Knorr and Jos\'{e} J\'{u}lio Alferes and Pascal Hitzler},
	title = {A Well-founded Semantics for Hybrid MKNF Knowledge Bases},
	booktitle = {Proceedings of 20th International Workshop on Description Logics, Brixen-Bressanone, Italy (8th--10th June 2007)},
	year = {2007},
	volume = {250},
	pages = {347--354},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2007-041}
}