Skip to main content
SpringerLink
Log in

COROR: A COmposable Rule-Entailment Owl Reasoner for Resource-Constrained Devices

  • Conference paper
Rule-Based Reasoning, Programming, and Applications (RuleML 2011)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6826))

Abstract

OWL (Web Ontology Language) reasoning has been extensively studied since its standardization by W3C. While the prevailing research in the OWL reasoning community has targeted faster, larger scale and more expressive OWL reasoners, only a small body of research is focused on OWL reasoning for resource-constrained devices such as mobile phones or sensors. However the ever-increasing application of semantic web technologies in pervasive computing, and the desire to push intelligence towards the edge of the network, emphasizes the need for resource-constrained reasoning. This paper presents COROR a COmposable Rule-entailment Owl Reasoner for resource-constrained devices. What distinguishes this work from related work is the use of two novel reasoner composition algorithms that dynamically dimension a rule-based reasoner at runtime according to the features of the particular semantic application. This reasoner is implemented and evaluated on a resource-constrained sensor platform. Experiments show that the composition algorithms outperform the original non-composable reasoner while retaining the same level of reasoning capability.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ishida, T.: An optimization algorithm for production systems. IEEE Transactions on Knowledge and Data Engineering 6, 549–558 (1994)

    Article  Google Scholar 

  2. Ozacar, T., Ozturk, O., Unalir, M.O.: Optimizing a Rete-based Inference Engine using a Hybrid Heuristic and Pyramid based Indexes on Ontological Data. J. of Computers 2, 41 (2007)

    Article  Google Scholar 

  3. Scales, D.J.: Efficient Matching Algorithm for the OAR/OPS5 Production System. Technical Report KSL-86-47, Department of Computer Science, Stanford University (1986)

    Google Scholar 

  4. ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. Web Semantics: Science, Services and Agents on the World Wide Web 3, 79–115 (2005)

    Article  Google Scholar 

  5. Forgy, C.: Rete: A Fast Algorithm for the many pattern/many object pattern match problem. Artificial Intelligence 19, 17–37 (1982)

    Article  Google Scholar 

  6. Tai, W., Brennan, R., Keeney, J., O’Sullivan, D.: An Automatically Composable OWL Reasoner for Resource Constrained Devices. In: Proc. Intl. Conf. on Semantic Computing (2009)

    Google Scholar 

  7. Meditskos, G., Bassiliades, N.: A Rule-Based Object-Oriented OWL Reasoner. IEEE Transactions on Knowledge and Data Engineering 20, 397–410 (2008)

    Article  Google Scholar 

  8. Gu, T., Kwok, Z., Koh, K.K., Pung, H.K.: A Mobile Framework Supporting Ontology Processing and Reasoning. In: Proc. Workshop on Requirements and Solutions for Pervasive Software Infrastructures (2007)

    Google Scholar 

  9. Steller, L., Krishnaswamy, S.: Pervasive Service Discovery: mTableaux Mobile Reasoning. In: Proc. Intl. Conf. on Semantic Systems (2008)

    Google Scholar 

  10. Wright, I., Marshall, J.: The execution kernel of RC++: RETE*, a faster RETE with TREAT as a special case. Int. J. of Intelligent Games and Simulation 2 (2003)

    Google Scholar 

  11. Miranker, D.P.: TREAT: A better match algorithm for AI production systems. In: Proc. of AAAI Conf., pp. 42–47 (1987)

    Google Scholar 

  12. Pellet reasoner, http://clarkparsia.com/pellet/

  13. FaCT++, http://owl.man.ac.uk/factplusplus/

  14. RacerPro, http://www.racer-systems.com/

  15. Jena, http://jena.sourceforge.net/

  16. KAON2 reasoner, http://kaon2.semanticweb.org/

  17. QuOnto, http://www.dis.uniroma1.it/~quonto/

  18. CEL, http://lat.inf.tu-dresden.de/systems/cel/

  19. OWLIM, http://www.ontotext.com/owlim/

  20. BaseVISor, http://vistology.com/basevisor/basevisor.html

  21. Bossam, http://bossam.wordpress.com/about-bossam/

  22. Oracle Database Semantic Technologies, http://www.oracle.com/technetwork/database/options/semantic-tech/index.html

  23. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. Journal of Automated Reasoning 39, 385–429 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  24. Patel-Schneider, P.F., Hayes, P., Horrocks, I.: Web Ontology Language (OWL) Abstract Syntax and Semantics, W3C Recommendation (2004)

    Google Scholar 

  25. Kim, T., Park, I., Hyun, S.J., Lee, D.: MiRE4OWL: Mobile Rule Engine for OWL. In: Proc. Intl. Workshop on Middleware Engineering, ME 2010 (2010)

    Google Scholar 

  26. 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)

    Chapter  Google Scholar 

  27. Sinner, A., Kleemann, T.: KRHyper - In Your Pocket. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS (LNAI), vol. 3632, pp. 452–457. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  28. Kleemann, T., Sinner, A.: User Profiles and Matchmaking on Mobile Phones. In: Umeda, M., Wolf, A., Bartenstein, O., Geske, U., Seipel, D., Takata, O. (eds.) INAP 2005. LNCS (LNAI), vol. 4369, pp. 135–147. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  29. Brennan, R., Tai, W., O’Sullivan, D., Aslam, M.S., Rea, S., Pesch, D.: Open Framework Middleware for Intelligent WSN Topology Adaption in Smart Buildings. In: Proc. Intl. Conf. on Ultra Modern Telecommunications & Workshops (2009)

    Google Scholar 

  30. Koziuk, M., Domaszewicz, J., Schoeneich, R.O., Jablonowski, M., Boetzel, P.: Mobile Context-Addressable Messaging with DL-Lite Domain Model. In: Roggen, D., Lombriser, C., Tröster, G., Kortuem, G., Havinga, P. (eds.) EuroSSC 2008. LNCS, vol. 5279, pp. 168–181. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  31. Teams, http://owl.man.ac.uk/2005/sssw/teams

  32. OWLS-profile, http://www.daml.org/services/owl-s/1.1/Profile.owl

  33. Koala, http://protege.stanford.edu/plugins/owl/owl-library/koala.owl

  34. University, http://www.mindswap.org/ontologies/debugging/university.owl

  35. Beer, http://www.purl.org/net/ontology/beer

  36. Mindswapper, http://www.mindswap.org/2004/owl/mindswappers

  37. FOAF, http://xmlns.com/foaf/0.1/

  38. mad_cows, http://www.cs.man.ac.uk/~horrocks/OWL/Ontologies/mad_cows.owl

  39. Biopax, http://www.biopax.org/release/biopax-level1.owl

  40. food, http://www.w3.org/2001/sw/WebOnt/guide-src/food

  41. miniTambis, www.mindswap.org/ontologies/debugging/miniTambis.owl

  42. ATK-Portal, http://www.aktors.org/ontology/portal

  43. wine, http://www.w3.org/2001/sw/WebOnt/guide-src/wine

  44. amino-acid, http://www.co-ode.org/ontologies/amino-acid/2005/10/11/amino-acid.owl

  45. pizza, http://www.co-ode.org/ontologies/pizza/pizza_20041007.owl

  46. tambis-full, http://www.mindswap.org/ontologies/tambis-full.owl

  47. NATO, http://www.mindswap.org/ontologies/IEDMv1.0.owl

  48. SUN SPOT, http://www.sunspotworld.com/

  49. μJena, http://poseidon.elet.polimi.it/ca/?page_id=59

  50. Hanson, E.N., Hasan, M.S.: Gator: An Optimized Discrimination Network for Active Database Rule Condition Testing. Tech. Report, CIS Dept, University of Florida (1993)

    Google Scholar 

  51. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proc. Intl. Conf. on World Wide Web (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Knowledge and Data Engineering Group, School of Computer Science & Statistics, Trinity College Dublin, Ireland

    Wei Tai, John Keeney & Declan O’Sullivan

Authors
  1. Wei Tai
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. John Keeney
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Declan O’Sullivan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Informatics, Aristotle University of Thessaloniki, 54124, Thessaloniki, Greece

    Nick Bassiliades

  2. Queensland Research Laboratory, NICTA, PO Box 6020, 4067, St. Lucia, QLD, Australia

    Guido Governatori

  3. Computer Science Department, Corporate Semantic Web, Freie Universität Berlin, Königin-Luise-Str. 24/26, 14495, Berlin, Germany

    Adrian Paschke

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tai, W., Keeney, J., O’Sullivan, D. (2011). COROR: A COmposable Rule-Entailment Owl Reasoner for Resource-Constrained Devices. In: Bassiliades, N., Governatori, G., Paschke, A. (eds) Rule-Based Reasoning, Programming, and Applications. RuleML 2011. Lecture Notes in Computer Science, vol 6826. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22546-8_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-22546-8_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-22545-1

  • Online ISBN: 978-3-642-22546-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation