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

A. Rakib, H.M.U. Haque, R.U. Faruqui

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

13 Citations (Scopus)


e 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.
Original languageEnglish
Title of host publicationContext-Aware Systems and Applications
EditorsPhan Cong Vinh, Vangalur Alagar, Emil Vassev, Ashish Khare
Number of pages12
ISBN (Electronic)978-3-319-05938-9
ISBN (Print)978-3-319-05939-6
Publication statusPublished - 10 Apr 2014
Externally publishedYes

Publication series

NameLecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
ISSN (Print)1867-8211
ISSN (Electronic)1867-822X


Dive into the research topics of 'A temporal description logic for resource-bounded rule-based context-aware agents'. Together they form a unique fingerprint.

Cite this