Abstract
Ontologies have been used for formal representation of knowledge for many years now. One possible knowledge representation language for ontologies is the OWL 2 Web Ontology Language, informally OWL 2. The OWL specification includes the definition of variants of OWL, with different levels of expressiveness. OWL DL and OWL Lite are based on Description Logics, for which sound and complete reasoners exits. Unfortunately, all these reasoners are too complex for embedded systems. But since evaluation of ontologies on these resource constrained devices becomes more and more necessary (e.g. for diagnostics) we developed an OWL reasoner for embedded devices. We use the OWL 2 sub language OWL 2 RL, which can be implemented using rule-based reasoning engines. In this paper we present our used embedded hardware, the implemented reasoning component, and results regarding performance and memory consumption.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Ali, S., Kiefer, S.: μOR – A Micro OWL DL Reasoner for Ambient Intelligent Devices. In: Abdennadher, N., Petcu, D. (eds.) GPC 2009. LNCS, vol. 5529, pp. 305–316. Springer, Heidelberg (2009)
Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL — A polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 287–291. Springer, Heidelberg (2006)
Bechhofer, S.: The DIG description logic interface: DIG/1.1. Tech. rep., University of Manchester (2003)
Forgy, C.L.: Rete: A fast algorithm for the many pattern/many object pattern match problem. Department of Computer Science, Carnegie-Mellon University, Pittsburgh (2003)
Grosof, B., Dean, M., Ganjugunte, S., Tabet, S., Neogy, C.: Sweetrules homepage (2005), http://sweetrules.semwebcentral.org/
Gumstix: Gumstix website (2010), http://www.gumstix.com
Hähnle, R.: Tableaux and Related Methods. Handbook of Automated Reasoning (2001)
Horridge, M.: OWL2 API (2010), http://owlapi.sourceforge.net/
Kleemann, T., Sinner, A.: KRHyper - in your pocket. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS (LNAI), vol. 3632, pp. 452–457. Springer, Heidelberg (2005)
Krötzsch, M.: Efficient inferencing for OWL EL. In: Janhunen, T., Niemelä, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 234–246. Springer, Heidelberg (2010)
Krötzsch, M.: Efficient inferencing for the description logic underlying OWL EL. Institut AIFB, KIT, Karlsruhe (2010)
Krötzsch, M., ul Mehdi, A., Rudolph, S.: Orel: Database-driven reasoning for OWL 2 profiles. In: Int. Workshop on Description Logics (2010)
Meditskos, G., Bassilades, N.: A rule-based object-oriented OWL reasoner. In: IEEE Transactions on Knowledge and Data Engineering (2008)
Meditskos, G., Bassiliades, N.: DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet. Web Semantics 8(1), 89–94 (2010)
Jang, M., Sohn, J.-C.: 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)
Parsia, B., Sirin, E.: Pellet: An OWL DL Reasoner. In: Third International Semantic Web Conference-Poster (2004)
Parsia, B., Sirin, E., Grau, B.C., Ruckhaus, E., Hewlett, D.: Cautiously approaching SWRL. Tech. rep., University of Maryland (2005)
Raptor: Raptor website (2010), http://librdf.org/raptor/
Riley, G.: CLIPS (2010), http://clipsrules.sourceforge.net/
Tsarkov, D., Horrocks, I.: FaCT++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292–297. Springer, Heidelberg (2006)
University, L.: LUBM website (2010), http://swat.cse.lehigh.edu/projects/lubm/query.htm
Volz, R.: FactConverter (2010), http://phoebus.cs.man.ac.uk:9999/OWL/Converter
World Wide Web Consortium (W3C): OWL-Lite (2010), http://www.w3.org/TR/2004/REC-owl-features-20040210/#s3
World Wide Web Consortium (W3C): OWL profiles (2010), http://www.w3.org/TR/owl2-profiles/
World Wide Web Consortium (W3C): SPARQL (2010), http://www.w3.org/TR/rdf-sparql-query/
World Wide Web Consortium (W3C) OWL Working Group: nTriples Format (2010), http://www.w3.org/TR/rdf-testcases/#ntriples
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Seitz, C., Schönfelder, R. (2011). Rule-Based OWL Reasoning for Specific Embedded Devices. In: Aroyo, L., et al. The Semantic Web – ISWC 2011. ISWC 2011. Lecture Notes in Computer Science, vol 7032. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25093-4_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-25093-4_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25092-7
Online ISBN: 978-3-642-25093-4
eBook Packages: Computer ScienceComputer Science (R0)