@inproceedings{3f7839a41be44f67aba566265b7e70a4,
title = "Towards tractable local closed world reasoning for the semantic web",
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.",
author = "Matthias Knorr and Alferes, {Jos{\'e} J{\'u}lio} and Pascal Hitzler",
note = "This research was partly funded by the European Commission within the 6th Framework Programme projects REWERSE number 506779 (cf.http://rewerse.net/) . Pascal Hitzler is supported by the German Federal Ministry of Education and Research (BMBF) under the SmartWeb project (grant 01 IMD01 B), and by the Deutsche Forschungsgemeinschaft (DFG) under the ReaSem project.; 13th Portuguese Conference on Artificial Intelligence, EPIA 2007 Workshops ; Conference date: 03-12-2007 Through 07-12-2007",
year = "2007",
month = dec,
day = "1",
language = "English",
isbn = "978-3-540-77000-8",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "3--14",
editor = "J. Neves and Santos, {M. F.} and Machado, {J. M.}",
booktitle = "Progress in Artificial Intelligence - 13th Portuguese Conference on Artificial Intelligence, EPIA 2007 Workshops",
address = "Germany",
}