SomeWhere+ is an extension of the SomeWhere Peer-to-Peer architecture for distributed consequence finding, tolerant to inconsistencies in the global network of peers. Despite the fact that no peer has a global view of the network, it allows for the detection of all possible inconsistencies due to incompatible sets of mappings. This makes possible to produce only those consequents that are well-founded.
