%0 Conference Proceedings
%T A Declarative Semantics for P2P Systems
%+ Università della Calabria [Arcavacata di Rende] (Unical)
%A Caroprese, Luciano
%A Zumpano, Ester
%Z Part 6: MAKE Semantics
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 1st International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE)
%C Reggio, Italy
%Y Andreas Holzinger
%Y Peter Kieseberg
%Y A Min Tjoa
%Y Edgar Weippl
%I Springer International Publishing
%3 Machine Learning and Knowledge Extraction
%V LNCS-10410
%P 315-329
%8 2017-08-29
%D 2017
%R 10.1007/978-3-319-66808-6_21
%Z Computer Science [cs]
%Z Humanities and Social Sciences/Library and information sciencesConference papers
%X This paper investigates the problem of data integration among Peer-to-Peer (P2P) deductive databases and presents a declarative semantics that generalizes previous proposals in the literature. Basically, by following the classical approach, the objective of a generic peer, joining a P2P system, is to enrich its knowledge by importing as much knowledge as possible while preventing inconsistency anomalies. This basic idea is extended in the present paper by allowing each peer to select between two different settings. It can either declare its local database to be sound but not complete, or declare it to be unsound. In the first case the peer considers its own knowledge more trustable than the knowledge imported from the rest of the system i.e. it gives preference to its knowledge with respect to the knowledge that can be imported from other peers. In the second case the peer considers its own knowledge as trustable as the knowledge that can be imported from the rest of the system i.e. it does not give any preference to its knowledge with respect to the knowledge that can be imported from other peers.
%G English
%Z TC 5
%Z TC 8
%Z TC 12
%Z WG 8.4
%Z WG 8.9
%Z WG 12.9
%2 https://inria.hal.science/hal-01677127/document
%2 https://inria.hal.science/hal-01677127/file/456304_1_En_21_Chapter.pdf
%L hal-01677127
%U https://inria.hal.science/hal-01677127
%~ SHS
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC5
%~ IFIP-WG
%~ IFIP-TC12
%~ IFIP-TC8
%~ IFIP-WG8-4
%~ IFIP-WG8-9
%~ IFIP-LNCS-10410
%~ IFIP-CD-MAKE
%~ IFIP-WG12-9