<i>μ</i>OR – A Micro OWL DL Reasoner for Ambient Intelligent Devices Advances in Grid and Pervasive Computing

This paper describes the design, implementation and application of <em>μ</em> OR, a lightweight micro OWL Description Logic Reasoning system developed for the resource-constrained devices to enrich them with integrated <em>knowledge processing</em> and <em>reasoning</em> capabilities, and leveraging them to the next generation Ambient Intelligent devices. We have investigated the most commonly used reasoning systems and found most of them infeasible to be used <em>solely</em> on the devices. <em>μ</em> OR is based on a subset of OWL-Lite entailments and the SCENTRA algorithm, a simple <em>resolution</em> and <em>patterns matching</em> algorithm that we have developed for resolving the queries and matching the knowledge base triples.