Skip to Main content Skip to Navigation
Journal articles

A Multi-Layered Aarchitecture for Collaborative and Decentralized Consequence Finding

André de Amorim Fonseca 1 Philippe Chatalic 2, 1
LRI - Laboratoire de Recherche en Informatique
Abstract : The consequence finding problem consists in producing all the consequences of a logical theory or, depending on the application context, in a restricted subset of these consequences. When the available knowledge is naturally scattered among different sources of information, computing such consequences with respect to the global theory in a decentralized way is a challenging problem. This paper presents Somewhere2, a multilayered architecture that may be used to solve such consequence finding problems in peer-to-peer networks of collaborating entities, that may evolve over time. The general layout of this architecture is described as well as the roles of its main components. Thanks to a careful and modular design, the resulting framework is very generic. This facilitates alternative implementations of specific components as well as its extension with additional features. First experimental results are presented, illustrating the scalability and robustness of this architecture. This framework may be used as a robust building block for more advanced distributed applications, such as Peer Data Management Systems.
Document type :
Journal articles
Complete list of metadata
Contributor : Philippe Chatalic <>
Submitted on : Friday, October 30, 2015 - 12:39:27 PM
Last modification on : Thursday, July 8, 2021 - 3:47:02 AM


  • HAL Id : hal-01222693, version 1


André de Amorim Fonseca, Philippe Chatalic. A Multi-Layered Aarchitecture for Collaborative and Decentralized Consequence Finding. Computing and Informatics, Slovak University Press, Bratislava, 2015, 34 (1), pp.210-232. ⟨hal-01222693⟩



Record views