Skip to main content
Springer Nature Link
Log in

A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents

  • Conference paper
  • First Online:
Context-Aware Systems and Applications (ICCASA 2013)

Included in the following conference series:

Abstract

We propose a logical framework for modelling and verifying context-aware multi-agent systems. We extend \(CTL^*\) with belief and communication modalities, and the resulting logic \(\mathcal {L}_\mathcal{{OCRS}}\) allows us to describe a set of rule-based reasoning agents with bound on time, memory and communication. The set of rules which are used to model the systems is derived from OWL 2 RL ontologies. We provide an axiomatization of the logic and prove it is sound and complete. We show how Maude rewriting system can be used to encode and verify interesting properties of \(\mathcal {L}_\mathcal{{OCRS}}\) models using existing model checking techniques.

The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-3-319-05939-6_37

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Weiser, M.: The computer for the 21st century. ACM SIGMOBILE Mob. Comput. Commun. Rev. (Special Issue Dedicated to Mark Weiser) 3(3), 3–11 (1999)

    Article  Google Scholar 

  2. Viterbo Filho, J., da Gama Malcher, M., Endler, M.: Supporting the development of context-aware agent-based systems for mobile networks. In: Proceedings of the 2008 ACM Symposium on Applied Computing, pp. 1872–1873. ACM (2008)

    Google Scholar 

  3. Rakib, A.: Formal approaches to modelling and verifying resource-bounded agents-state of the art and future prospects. Inform. Tech. Softw. Eng. 2(4) (2012)

    Google Scholar 

  4. Wang, X.H., Zhang, D.Q., Gu, T., Pung, H.K.: Ontology based context modeling and reasoning using OWL. In: PerCom Workshops 2004, pp. 18–22 (2004)

    Google Scholar 

  5. Esposito, A., Tarricone, L., Zappatore, M., Catarinucci, L., Colella, R., DiBari, A.: A framework for context-aware home-health monitoring. In: Sandnes, F.E., Zhang, Y., Rong, C., Yang, L.T., Ma, J. (eds.) UIC 2008. LNCS, vol. 5061, pp. 119–130. Springer, Heidelberg (2008)

    Google Scholar 

  6. Rakib, A., Faruqui, R.U.: A formal approach to modelling and verifying resource-bounded context-aware agents. In: Vinh, P.C., Hung, N.M., Tung, N.T., Suzuki, J. (eds.) ICCASA 2012. LNICST, vol. 109, pp. 86–96. Springer, Heidelberg (2013)

    Google Scholar 

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

    Google Scholar 

  8. Alechina, N., Logan, B., Nga, N.H., Rakib, A.: Verifying time, memory and communication bounds in systems of reasoning agents. Synthese 169(2), 385–403 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  9. Alechina, N., Jago, M., Logan, B.: Modal logics for communicating rule-based agents. In: Proceedings of the 17th European Conference on Artificial Intelligence, pp. 322–326 (2006)

    Google Scholar 

  10. Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL model checker and its implementation. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol. 2648, pp. 230–234. Springer, Heidelberg (2003)

    Google Scholar 

  11. Dey, A., Abwowd, G.: Towards a better understanding of context and context-awareness. Technical report GIT-GVU-99-22, Georgia Institute of Technology

    Google Scholar 

  12. ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. Web Semant. Sci. Serv. Agents World Wide Web 3(2–3), 79–115 (2005)

    Article  Google Scholar 

  13. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW 2003, pp. 48–57. ACM Press (2003)

    Google Scholar 

  14. 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 

  15. Costa, P.D.: Architectural support for context-aware applications: from context models to services platforms. Ph.D. thesis, Centre for Telematics and Information Technology, University of Twente, AE Enschede, The Netherlands (2007)

    Google Scholar 

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

  17. Reynolds, M.: An axiomatization of full computation tree logic. J. Symb. Log. 66(3), 1011–1057 (2001)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, The University of Nottingham Malaysia Campus, Semenyih, Malaysia

    Abdur Rakib & Hafiz Mahfooz Ul Haque

  2. Department of Computing and Software, McMaster University, Hamilton, Canada

    Rokan Uddin Faruqui

Authors
  1. Abdur Rakib
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hafiz Mahfooz Ul Haque
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rokan Uddin Faruqui
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Abdur Rakib .

Editor information

Editors and Affiliations

  1. Faculty of Information Technology, Nguyen Tat Thanh University, Vietnam, Ho Chi Minh City, Vietnam

    Phan Cong Vinh

  2. Concordia University, Montreal, Canada

    Vangalur Alagar

  3. University of Limerick, Limerick, Ireland

    Emil Vassev

  4. University of Allahabad, Allahabad, India

    Ashish Khare

Rights and permissions

Reprints and permissions

Copyright information

© 2014 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering

About this paper

Cite this paper

Rakib, A., Ul Haque, H.M., Faruqui, R.U. (2014). A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents. In: Vinh, P., Alagar, V., Vassev, E., Khare, A. (eds) Context-Aware Systems and Applications. ICCASA 2013. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 128. Springer, Cham. https://doi.org/10.1007/978-3-319-05939-6_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-05939-6_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-05938-9

  • Online ISBN: 978-3-319-05939-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics