Title: On the local closed-world assumption of data-sources
Authors: Cort├ęs-Calabuig, Alvaro ×
Denecker, Marc
Arieli, Ofer
Van Nuffelen, Bert
Bruynooghe, Maurice #
Issue Date: 2005
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:3662 pages:145-157
Conference: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005) edition:8 location:Diamante, Cosenza, Italy date:September 5-9, 2005
Abstract: The Closed-World Assumption (CWA) on a database expresses that an atom not in the database is false. The CWA is only applicable in domains where the database has complete knowledge. In many cases, for example in the context of distributed databases, a data source has only complete knowledge about part of the domain of discourse. In this paper, we introduce an expressive and intuitively appealing method of representing a local closed-world assumption (LCWA) of autonomous data-sources. This approach distinguishes between the data that is conveyed by a data-source and the meta-knowledge about the area in which these data is complete. The data is stored in a relational database that can be queried in the standard way, whereas the meta-knowledge about its completeness is expressed by a first order theory that can be processed by an independent reasoning system (for example a mediator). We consider different ways of representing our approach, relate it to other methods of representing local closed-word assumptions of data-sources, and show some useful properties of our framework which facilitate its application in real-life systems.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
41707.pdf Published 180KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science