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.
This work is partially supported by European Commission within the context of SmartHEALTH IP Project, contract 016817, priority FP6-2004-IST-NMP-2 http://www.smarthealthip.com
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Lee, T.B., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (2001)
Gruber, T.R.: A translation approach to portable ontologies. Knowledge Acquisition 5(2), 199–220 (1993)
Web Ontology Language (OWL), http://www.w3.org/2004/OWL/
McIlraith, S.A., et al.: Semantic Web Services. In: Proc. of IEEE Intelligent Systems (2001)
Finin, T., et al.: A Pervasive Computing System for the Operating Room of the Future. Mobile Networks and Applications 12(2-3) (March 2007)
Ossowski, S., et al.: Agent-Based Semantic Service Discovery for Healthcare: An Organizational Approach. IEEE Intelligent Systems 21(6), 11–20 (2006)
Helin, H., et al.: CASCOM - Context-Aware Health-Care Service Co-ordination in Mobile Computing Environments. ERCIM News num. 60
Ali, S., Uribarren, A., Parra, J.: Applications of Ambient Intelligence in medical devices and clinical environments. In: IEEE international conference of E-Medical Systems, Morocco (2007) ISBN: 9954-8905-0-5
Wahlster, W.: SmartWeb: Mobile Applications of the Semantic Web. In: Biundo, S., Frühwirth, T., Palm, G. (eds.) KI 2004. LNCS, vol. 3238, pp. 50–51. Springer, Heidelberg (2004)
Kleemann, T., Sinner, A.: Semantic user profiles and their application in a mobile environment. In: Proc. of Artificial Intelligence in Mobile Systems (2004)
Luther, M., Fukazawa, Y., et al.: lassification-based Situational Reasoning for Task-oriented Mobile Service Recommendation. The Knowledge Engineering Review 23(1), 7–19
Ejigu, D., Scuturici, M., Brunie, L.: An Ontology-Based Approach to Context Modeling and Reasoning in Pervasive Computing. In: Proceedings of the Fifth IEEE International Conference on Pervasive Computing and Communications Workshops (2007)
Bechhofer, S., Moller, R., Crowther, P.: The DIG Description Interface. In: Proc. Int’l. Workshop Description Logics 2003 (2003)
Ali, S., Kiefer, S.: Semantic Medical Devices Space, An Infrastructure for the interoperability of Ambient Intelligent Medical Devices. In: Proceedings of IEEE-ITAB Conference in Ioannina, Greece (October 2006)
OWL Web Ontology Language Overview, W3C Recommendation (2004), http://www.w3.org/TR/owl-features/
Sirin, E., Parsia, B., et al.: Pellet: A Practical OWL DL Reasoner. Int’l. Journal of Web Semantics (2007)
Horrocks, I., Tsarkov, D.: FaCT++ Description Logic Reasoner: System Description. In: Proc. Third Int’l. Joint Conference of Automated Reasoning 2006 (IJCAR 2006) (2006)
Möller, R., Harrslev, V.: Racer: A Core Inference Engine for the Semantic Web. In: Proc. 2nd Int’l. Workshop Evaluation of Ontology Based Tools, pp. 27–36 (2003)
Minsu, J., Sohn, J.: Bossam: An extended rule engine for OWL Inferencing. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 128–138. Springer, Heidelberg (2004)
Forgy, C.L.: Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem. Artificial Intelligence 19, 17–37 (1982)
Kleemann, T., Sinner, A.: KRHyper - In Your Pocket. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS (LNAI), vol. 3632, pp. 452–457. Springer, Heidelberg (2005)
Baumgartner, P.: Hyper Tableaux - The Next Generation; Technical Report 32-97, Universität Koblenz-Landau (1997)
Ali, S., Kiefer, S.: Neuroblastoma Screening through Semantic Coordination of Ambient Intelligent Medical Devices. In: First International Research Workshop of The Internet of Things and Services, France (2008)
W3C SAWSDL, A mechanism to semantically annotate the Web Service Description Language files, http://www.w3.org/-2002/ws/sawsdl/
RDF Filter, http://rdf-filter.sourceforge.net/
Piccolo XML Parser for Java, http://piccolo.sourceforge.net/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ali, S., Kiefer, S. (2009). μOR – A Micro OWL DL Reasoner for Ambient Intelligent Devices. In: Abdennadher, N., Petcu, D. (eds) Advances in Grid and Pervasive Computing. GPC 2009. Lecture Notes in Computer Science, vol 5529. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01671-4_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-01671-4_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01670-7
Online ISBN: 978-3-642-01671-4
eBook Packages: Computer ScienceComputer Science (R0)