Towards Tractable Local Closed World Reasoning for the Semantic Web

TitleTowards Tractable Local Closed World Reasoning for the Semantic Web
Publication TypeConference Paper
Year of Publication2007
AuthorsMatthias Knorr, Jose Julio Alferes, Pascal Hitzler
Conference Name13th Portuguese Conference on Aritficial Intelligence, EPIA
Pagination3-14
Date Published12/2007
Publisher13th Portuguese Conference on Aritficial Intelligence, EPIA 2007
Conference LocationGuimaraes, Portugal
Abstract

Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], 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 from [14]. Furthermore, its computation yields better complexity results (up to polynomial) than the original semantics where models usually have to be guessed.

Full Text

Matthias Knorr, Jose Alferes, Pascal Hitzler, 'Towards Tractable Local Closed World Reasoning for the Semantic Web,' 13th Portuguese Conference on Aritficial Intelligence, EPIA, Guimaraes, Portugal, December 3-7 2007, pp. 3-14.