Skip to main content

Research Repository

See what's under the surface

Advanced Search

A temporal description logic for resource-bounded rule-based context-aware agents

Rakib, Abdur; Haque, Hafiz Mahfooz Ul; Faruqui, Rokan Uddin

Authors

Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security

Hafiz Mahfooz Ul Haque

Rokan Uddin Faruqui



Contributors

Phan Cong Vinh
Editor

Vangalur Alagar
Editor

Emil Vassev
Editor

Ashish Khare
Editor

Abstract

© Springer International Publishing Switzerland 2014. 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 LOCRS 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 LOCRS models using existing model checking techniques.

Journal Article Type Conference Paper
Publication Date Jan 1, 2014
Journal Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST
Print ISSN 1867-8211
Publisher Springer Verlag (Germany)
Peer Reviewed Peer Reviewed
Volume 128
Pages 3-14
APA6 Citation Rakib, A., Haque, H. M. U., & Faruqui, R. U. (2014). A temporal description logic for resource-bounded rule-based context-aware agents. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 128, 3-14. https://doi.org/10.1007/978-3-319-05939-6_1
DOI https://doi.org/10.1007/978-3-319-05939-6_1
Keywords modal logic, context-aware, multi-agent systems, ontology, model checking
Publisher URL https://link.springer.com/chapter/10.1007/978-3-319-05939-6_1
Related Public URLs https://link.springer.com/chapter/10.1007%2F978-3-319-05939-6_1
;