@article { , title = {A temporal description logic for resource-bounded rule-based context-aware agents}, 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.}, doi = {10.1007/978-3-319-05939-6\_1}, issn = {1867-8211}, journal = {Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST}, pages = {3-14}, publicationstatus = {Published}, publisher = {Springer Verlag (Germany)}, url = {https://uwe-repository.worktribe.com/output/819146}, volume = {128}, keyword = {Computer Science Research Centre, modal logic, context-aware, multi-agent systems, ontology, model checking}, year = {2014}, author = {Rakib, Abdur and Haque, Hafiz Mahfooz Ul and Faruqui, Rokan Uddin} editor = {Vinh, Phan Cong and Alagar, Vangalur and Vassev, Emil and Khare, Ashish} }