Towards tractable local closed world reasoning for the semantic web

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationProgress in Artificial Intelligence - 13th Portuguese Conference on Artificial Intelligence, EPIA 2007 Workshops
Subtitle of host publicationGAIW, AIASTS, ALEA, AMITA, BAOSW BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Proceedings
EditorsJ. Neves, M. F. Santos, J. M. Machado
PublisherSpringer-Verlag
Pages3-14
Number of pages12
ISBN (Print)978-3-540-77000-8
Publication statusPublished - 1 Dec 2007
Event13th Portuguese Conference on Artificial Intelligence, EPIA 2007 Workshops - Guimaraes, Portugal
Duration: 3 Dec 20077 Dec 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer-Verlag
Volume4874 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference13th Portuguese Conference on Artificial Intelligence, EPIA 2007 Workshops
CountryPortugal
CityGuimaraes
Period3/12/077/12/07

Fingerprint Dive into the research topics of 'Towards tractable local closed world reasoning for the semantic web'. Together they form a unique fingerprint.

Cite this