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

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