Semantic Modelling of Context Aware Systems in a Logical Framework
نویسنده
چکیده
The paper presents a logical framework for the modelling of context aware systems. The framework consists of three first order languages that together make it possible to represent all aspects of such systems and which thus provide a transparent modelling framework. The framework is constructed for the use in semantic modelling of context aware systems and models can for most parts easily be implemented in OWL/SWIRL. In addition to presenting the three languages an account is given on how to model a system, i.e. how the different elements of a context aware system are to be represented by the symbolic elements of the languages.
منابع مشابه
A Context-aware Architecture for Mental Model Sharing through Semantic Movement in Intelligent Agents
Recent studies in multi-agent systems are paying increasingly more attention to the paradigm of designing intelligent agents with human inspired concepts. One of the main cognitive concepts driving the core of many recent approaches in multi agent systems is shared mental models. In this paper, we propose an architecture for sharing mental models based on a new concept called semantic movement....
متن کاملA semantic-aware role-based access control model for pervasive computing environments
Access control in open and dynamic Pervasive Computing Environments (PCEs) is a very complex mechanism and encompasses various new requirements. In fact, in such environments, context information should be used in access control decision process; however, it is not applicable to gather all context information completely and accurately all the time. Thus, a suitable access control model for PCEs...
متن کاملContext-Aware Services for Ambient Environments
This article presents the iTransIT framework for building context-aware pervasive services in large-scale ambient environments. The iTransIT framework provides an architecture for conceptually integrating the independent systems underlying an ambient environment and a data model for capturing the contextual information generated by these systems. The data model is based on a hybrid approach to ...
متن کاملContext-Aware Pervasive Services for Smart Cities
Smart environments support the activities of individuals by enabling context-aware access to pervasive information and services. This article presents the iTransIT framework for building such context-aware pervasive services in Smart Cities. The iTransIT framework provides an architecture for conceptually integrating the independent systems underlying Smart Cities and a data model for capturing...
متن کاملA Logical Framework for the Representation and Verification of Context-aware Agents
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 rulebased reasoning agents with bounds on time, memory and communication. The set of rules which are used to model a desired system is derived from OWL 2 RL ontologies. We provide an ax...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010