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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Basic formal ontology (2002), http://ontology.buffalo.edu/bfo/
SNOMED-CT Systematized Nomenclature of Medicine-Clinical Terms (2007), http://www.ihtsdo.org/snomed-ct/
OWL 2 Web Ontology Language Manchester Syntax. W3C Candidate Recommendation (October 2009), http://www.w3.org/TR/owl2-manchester-syntax/
OWL 2 Web Ontology Language Structural Specification and Functional-style Syntax. W3C Candidate Recommendation (October 2009), http://www.w3.org/TR/owl2-syntax/
The Protégé ontology editor and knowledge-base framework (Version 4.1) (July 2011), http://protege.stanford.edu/
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)
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)
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)
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)
Clavel, M., Eker, S., Lincoln, P., Meseguer, J.: Principles of Maude. Electronic Notes in Theoretical Computer Science 4, 65–89 (1996)
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)
Culbert, C.: CLIPS reference manual. NASA (2007)
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)
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)
Friedman-Hill, E.J.: Jess, the rule engine for the java platform. Sandia national laboratories (2008)
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)
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)
Gruber, T.: A translation approach to protable ontology specifications. Knowledge Acquisition 5, 199–220 (1993)
Hardiker, N., Coenen, A.: A formal foundation for ICNP. Journal of Stud. Health Technol. Inform. 122, 705–709 (2006)
Hendler, J.: Agents and the semantic web. IEEE Intelligent Systems 16, 30–37 (2001)
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)
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)
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)
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)
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)
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)
McGuinness, D., Smith, M., Welty, C.: OWL Web Ontology Language Guide, W3C Recommendation (February 2004), http://www.w3.org/TR/owl-guide/
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/
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)
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)
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)
Rakib, A.: Verifying requirements for resource-bounded agents. Ph.D. thesis, The University of Nottingham (2011)
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)
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)
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)
Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems. MIT Press (2000)
Tzafestas, S.G.: Knowledge-Based System Diagnosis, Supervision, and Control. Plenum Publishing Co. (1988)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)
