Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Applications

On the Local Closed-World Assumption of Data-Sources

Alvaro Cortés-CalabuigContact Information, Marc DeneckerContact Information, Ofer ArieliContact Information, Bert Van NuffelenContact Information and Maurice BruynoogheContact Information

(1)  Department of Computer Science, Katholieke Universiteit Leuven, Belgium
(2)  Department of Computer Science, The Academic College of Tel-Aviv, Israel
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.
This work is supported by FWO-Vlaanderen, European Framework 5 Project WASP, and by GOA/2003/08.

Contact Information Alvaro Cortés-Calabuig
Email: Alvaro@cs.kuleuven.ac.be

Contact Information Marc Denecker
Email: Marc.Denecker@cs.kuleuven.ac.be

Contact Information Ofer Arieli
Email: oarieli@mta.ac.il

Contact Information Bert Van Nuffelen
Email: Bert.VanNuffelen@cs.kuleuven.ac.be

Contact Information Maurice Bruynooghe
Email: Maurice.Bruynooghe@cs.kuleuven.ac.be
Fulltext Preview (Small, Large)
Image of the first page of the fulltext


Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.110 • Server: mpweb23
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)