µOR - a micro OWL DL reasoner for ambient intelligent devices

This paper describes the design; implementation and application of mu OR, a lightweight micro OWL Description Logic Reasoning system developed for the resource-constrained devices to enrich them with integrated knowledge processing and reasoning 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 solely on the devices. mu OR is based on a subset of OWL-Lite entailments and the SCENTRA algorithm, a simple resolution and patterns matching algorithm that we have developed for resolving the queries and matching the knowledge base triples