A Well-founded Semantics for Hybrid MKNF Knowledge Bases

TitleA Well-founded Semantics for Hybrid MKNF Knowledge Bases
Publication TypeConference Paper
Year of Publication2007
AuthorsMatthias Knorr, Jose Julio Alferes, Pascal Hitzler
Publisherthe 2007 International Workshop on Description Logics (DL-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.

Full Text

Matthias Knorr, Jose Julio Alferes and Pascal Hitzler, 'A Well-founded Semantics for Hybrid MKNF Knowledge Bases,' Proceedings of the 2007 International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, June 2007.
year: 2007
venue name: the 2007 International Workshop on Description Logics (DL-2007)
hasURL: http://knoesis.wright.edu/library/download/wfmknf-DL07.pdf

Related Files: