μOR --- A Micro OWL DL Reasoner for Ambient Intelligent Devices

Authors:
Safdar Ali;Stephan Kiefer
Affiliations:
Fraunhofer Institute for Biomedical Engineering, St. Ingbert, Germany 66386;Fraunhofer Institute for Biomedical Engineering, St. Ingbert, Germany 66386
Venue:
GPC '09 Proceedings of the 4th International Conference on Advances in Grid and Pervasive Computing
Year:
2009

Citing 9
Cited 5

A translation approach to portable ontology specifications

Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Semantic Web Services

IEEE Intelligent Systems
Agent-Based Semantic Service Discovery for Healthcare: An Organizational Approach

IEEE Intelligent Systems
An Ontology-Based Approach to Context Modeling and Reasoning in Pervasive Computing

PERCOMW '07 Proceedings of the Fifth IEEE International Conference on Pervasive Computing and Communications Workshops
Pellet: A practical OWL-DL reasoner

Web Semantics: Science, Services and Agents on the World Wide Web
A pervasive computing system for the operating room of the future

Mobile Networks and Applications
Situational reasoning for task-oriented mobile service recommendation

The Knowledge Engineering Review
FaCT++ description logic reasoner: system description

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
KRHyper: in your pocket

CADE' 20 Proceedings of the 20th international conference on Automated Deduction

COROR: a composable rule-entailment owl reasoner for resource-constrained devices

RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Rule-based OWL reasoning for specific embedded devices

ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
Design and validation of a light inference system to support embedded context reasoning

Personal and Ubiquitous Computing
Realizing networks of proactive smart products

EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
An efficient bit vector approach to semantics-based machine perception in resource-constrained devices

ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes the design, implementation and application of μ 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. μ 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.