DOMINO – An Efficient Algorithm for Policy Definition and Processing in Distributed Environments Based on Atomic Data Structures

Abstract

Abstract. While two decades of semantic web research so far have failed to fulfill the high initial promises and expectations, and the underlying quest for categorizing the world has led to increasing complexity and new levels of bureaucracy instead, in this paper we introduce a new concept for distributed reasoning aiming at simplicity, consistency and computational efficiency. To this end, we propose the DOMINO algorithm, which is based on term logic for realizing an efficient syllogism reasoner. This novel concept is illustrated and evaluated for a context experience sharing system and can be applied in distributed reasoning use cases integrating mobile devices.