Skip to main content

Verifying Resource Requirements for Ontology-Driven Rule-Based Agents

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNISA,volume 7153)

Abstract

Recent efforts towards the Semantic Web have resulted in powerful languages such as Semantic Web Rule Language (SWRL) based on OWL-DL and RuleML. Rule languages and inference engines incorporate reasoning capabilities to Semantic Web application systems. In this paper we present an approach for the design and specification of ontology-driven multi-agent rule-based systems. We use the Maude rewriting system and its Linear Temporal Logic (LTL) model checking tool to verify response time guarantees for the target systems. We present TOVRBA, an extended version of a verification tool developed by the first author, for ontology-driven multi-agent rule-based systems which allows the designer to specify information about agents’ interactions, behavior, and execution strategies at different levels of abstraction. TOVRBA generates an encoding of the system for the Maude LTL model checker, allowing properties of the system to be verified. We illustrate the use of the framework on a simple healthcare system.

Keywords

  • Multi-agent systems
  • Semantic Web
  • Ontology
  • Model checking

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Basic formal ontology (2002), http://ontology.buffalo.edu/bfo/

  2. SNOMED-CT Systematized Nomenclature of Medicine-Clinical Terms (2007), http://www.ihtsdo.org/snomed-ct/

  3. OWL 2 Web Ontology Language Manchester Syntax. W3C Candidate Recommendation (October 2009), http://www.w3.org/TR/owl2-manchester-syntax/

  4. OWL 2 Web Ontology Language Structural Specification and Functional-style Syntax. W3C Candidate Recommendation (October 2009), http://www.w3.org/TR/owl2-syntax/

  5. The Protégé ontology editor and knowledge-base framework (Version 4.1) (July 2011), http://protege.stanford.edu/

  6. Alechina, N., Logan, B., Nga, N.H., Rakib, A.: Verifying Time and Communication Costs of Rule-Based Reasoners. In: Peled, D.A., Wooldridge, M.J. (eds.) MoChArt 2008. LNCS, vol. 5348, pp. 1–14. Springer, Heidelberg (2009)

    CrossRef  Google Scholar 

  7. Alechina, N., Logan, B., Nguyen, H.N., Rakib, A.: Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. In: van der Meyden, R., Smaus, J.-G. (eds.) MoChArt 2010. LNCS, vol. 6572, pp. 69–84. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  8. Bechhofer, S., van Harmelen, F., Hendler, J.A., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference, World Wide Web Consortium, recommendation rec-owl-ref-20040210 (February 2004)

    Google Scholar 

  9. Broadfield, L., Banerjee, S., Jewers, H., Pollett, A.J., Simpson, J.: Guidelines for the management of cancer-related pain in adults. Supportive care cancer site team, cancer care Nova Scotia, Canada (2005)

    Google Scholar 

  10. Clavel, M., Eker, S., Lincoln, P., Meseguer, J.: Principles of Maude. Electronic Notes in Theoretical Computer Science 4, 65–89 (1996)

    CrossRef  MATH  Google Scholar 

  11. Cost, R.S., Finin, T.W., Joshi, A., Peng, Y., Nicholas, C.K., Soboroff, I., Chen, H., Kagal, L., Perich, F., Zou, Y., Tolia, S.: ITtalks: A case study in the Semantic Web and DAML+OIL. IEEE Intelligent Systems 17, 40–47 (2002)

    CrossRef  Google Scholar 

  12. Culbert, C.: CLIPS reference manual. NASA (2007)

    Google Scholar 

  13. Dekhtyar, M.I., Dikovsky, A.J., Valiev, M.K.: On complexity of verification of interacting agents’ behavior. Annals of Pure and Applied Logic 141(3), 336–362 (2006)

    CrossRef  MathSciNet  MATH  Google Scholar 

  14. Ferris, F.D., Balfour, H.M., Bowen, K., Farley, J., Hardwick, M., Lamontagne, C., Lundy, M., Syme, A., West, P.J.: A model to guide hospice palliative care: Based on national principles and norms of practice (March 2002)

    Google Scholar 

  15. Friedman-Hill, E.J.: Jess, the rule engine for the java platform. Sandia national laboratories (2008)

    Google Scholar 

  16. Glimm, B., Horridge, M., Parsia, B., Patel-Schneider, P.F.: A syntax for rules in OWL 2. In: Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009), vol. 529. CEUR (2009)

    Google Scholar 

  17. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proceedings of the 12th International Conference on World Wide Web, pp. 48–57. ACM Press (2003)

    Google Scholar 

  18. Gruber, T.: A translation approach to protable ontology specifications. Knowledge Acquisition 5, 199–220 (1993)

    CrossRef  Google Scholar 

  19. Hardiker, N., Coenen, A.: A formal foundation for ICNP. Journal of Stud. Health Technol. Inform. 122, 705–709 (2006)

    Google Scholar 

  20. Hendler, J.: Agents and the semantic web. IEEE Intelligent Systems 16, 30–37 (2001)

    CrossRef  Google Scholar 

  21. Horridge, M., Bechhofer, S.: The OWL API: A java API for working with OWL 2 Ontologies. In: 6th OWL Experienced and Directions Workshop (OWLED 2009) (October 2009)

    Google Scholar 

  22. Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL rules language. In: Proceedings of the 13th International Conference on World Wide Web, WWW 2004, pp. 723–731. ACM Press (2004)

    Google Scholar 

  23. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web rule language combining OWL and RuleML. Acknowledged W3C submission, standards proposal research report: Version 0.6 (April 2004)

    Google Scholar 

  24. ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. Journal of Web Semantics 3(2-3), 79–115 (2005)

    CrossRef  Google Scholar 

  25. Krötzsch, M., Maier, F., Krisnadhi, A., Hitzler, P.: A better uncle for owl: nominal schemas for integrating rules and ontologies. In: Proceedings of the 20th International Conference on World Wide Web, pp. 645–654. ACM (2011)

    Google Scholar 

  26. Krötzsch, M., Mehdi, A., Rudolph, S.: Orel: Database-driven reasoning for OWL 2 profiles. In: Proceedings of the 23rd International Workshop on Description Logics, vol. 573. CEUR (2010)

    Google Scholar 

  27. McGuinness, D., Smith, M., Welty, C.: OWL Web Ontology Language Guide, W3C Recommendation (February 2004), http://www.w3.org/TR/owl-guide/

  28. Motik, B., Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language: Profiles, W3C Recommendation (October 2009), http://www.w3.org/TR/owl2-profiles/

  29. Motik, B., Sattler, U., Studer, R.: Query answering for OWL-DL with rules. Journal of Web Semantics: Science, Services and Agents on the World Wide Web 3, 41–60 (2005)

    CrossRef  Google Scholar 

  30. Mousavi, A., Nordin, M.J., Othman, Z.A.: An ontology driven, procedural reasoning system-like agent model,for multi-agent based mobile workforce brokering systems. Journal of Computer Science 6, 557–565 (2010)

    CrossRef  Google Scholar 

  31. Rabbi, F., Mashiyat, A., MacCaull, W.: Model checking workflow monitors and its application to a pain management process. In: Proceedings of International Symposium on Foundations of Health Information Engineering and Systems, Johannesburg, South Africa, pp. 110–127 (2011)

    Google Scholar 

  32. Rakib, A.: Verifying requirements for resource-bounded agents. Ph.D. thesis, The University of Nottingham (2011)

    Google Scholar 

  33. Rao, A.S., Georgeff, M.P.: BDI Agents: From Theory to Practice. In: Proceedings of the First International Conference on Multi-agent Systems, pp. 312–319. The MIT Press (1995)

    Google Scholar 

  34. Ruan, J., MacCaull, W.: Data-aware monitoring for healthcare workflows using formal methods. In: Proceedings of the Second Workshop Knowledge Representation for Health Care (KR4HC 2010), Lisbon, Portugal, pp. 51–60 (2010)

    Google Scholar 

  35. Subercaze, J., Maret, P.: SAM - semantic agent model for swrl rule-based agents. In: Proceedings of the International Conference on Agents and Artificial Intelligence, pp. 245–248. INSTICC Press (2010)

    Google Scholar 

  36. Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems. MIT Press (2000)

    Google Scholar 

  37. Tzafestas, S.G.: Knowledge-Based System Diagnosis, Supervision, and Control. Plenum Publishing Co. (1988)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rakib, A., Faruqui, R.U., MacCaull, W. (2012). Verifying Resource Requirements for Ontology-Driven Rule-Based Agents. In: Lukasiewicz, T., Sali, A. (eds) Foundations of Information and Knowledge Systems. FoIKS 2012. Lecture Notes in Computer Science, vol 7153. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28472-4_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-28472-4_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-28471-7

  • Online ISBN: 978-3-642-28472-4

  • eBook Packages: Computer ScienceComputer Science (R0)