Reasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach

Intelligent systems continuously analyze their context to autonomously take corrective actions. Building a proper knowledge representation of the context is the key to take adequate actions. This requires numerous and complex data models, for example formalized as ontologies or meta-models. As these systems evolve in a dynamic context, reasoning processes typically need to analyze and compare the current context with its history. A common approach consists in a temporal discretization, which regularly samples the context (snapshots) at specific timestamps to keep track of the history. Reasoning processes would then need to mine a huge amount of data, extract a relevant view, and finally analyze it. This would require lots of computational power and be time-consuming, conflicting with the near real-time response time requirements of intelligent systems. This paper introduces a novel temporal modeling approach together with a time-relative navigation between context concepts to overcome this limitation. Similarly to time distortion theory, our approach enables building time-distorted views of a context, composed by elements coming from different times, which speeds up the reasoning. We demonstrate the efficiency of our approach with a smart grid load prediction reasoning engine. Keywords—Temporal data, Time-aware context modeling, Knowledge representation, Reactive systems, Intelligent systems

[1]  Jacques Klein,et al.  Aspect Model Unweaving , 2009, MoDELS.

[2]  Kamran Ahsan,et al.  A Logical Temporal Relational Data Model , 2010, ArXiv.

[3]  Todd D Little,et al.  Modeling Time-Dependent Association in Longitudinal Data: A Lag as Moderator Approach , 2012, Multivariate behavioral research.

[4]  Tom,et al.  Time-resolved study of laser-induced disorder of Si surfaces. , 1988, Physical review letters.

[5]  P. Hubral TIME MIGRATION—SOME RAY THEORETICAL ASPECTS* , 1977 .

[6]  Peter P. Chen The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[7]  Jadwiga Indulska,et al.  Modeling Context Information in Pervasive Computing Systems , 2002, Pervasive.

[8]  Brice Morin,et al.  An eclipse modelling framework alternative to meet the models@runtime requirements , 2012, MODELS'12.

[9]  Boris Motik,et al.  OWL 2 Web Ontology Language: structural specification and functional-style syntax , 2008 .

[10]  Dan Brickley,et al.  Resource Description Framework (RDF) Model and Syntax Specification , 2002 .

[11]  Brice Morin,et al.  Models@ Run.time to Support Dynamic Adaptation , 2009, Computer.

[12]  Claudia Linnhoff-Popien,et al.  A Context Modeling Survey , 2004 .

[13]  Frank Budinsky,et al.  Eclipse modeling framework : a developer's guide , 2004 .

[14]  Gordon S. Blair,et al.  Models@ run.time , 2009, Computer.

[15]  Laurian M. Chirica,et al.  The entity-relationship model: toward a unified view of data , 1975, SIGF.

[16]  C.-H. Liu,et al.  Ontology-Based Context Representation and Reasoning Using OWL and SWRL , 2010, 2010 8th Annual Communication Networks and Services Research Conference.

[17]  Tom Mens,et al.  Detecting model inconsistency through operation-based model construction , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[18]  Arie Shoshani,et al.  The Representation of a Temporal Data Model in the Relational Environment , 1988, SSDBM.

[19]  Olivier Barais,et al.  Dissemination of Reconfiguration Policies on Mesh Networks , 2012, DAIS.

[20]  Matthias Baldauf,et al.  A survey on context-aware systems , 2007, Int. J. Ad Hoc Ubiquitous Comput..

[21]  Boris Motik,et al.  Representing and querying validity time in RDF and OWL: A logic-based approach , 2010, J. Web Semant..

[22]  Saburo Yamamura,et al.  A context model with a time-dependent multi-layer exception handlinge policy , 2011 .

[23]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[24]  Arie Shoshani,et al.  Logical modeling of temporal data , 1987, SIGMOD '87.

[25]  Arie Segev,et al.  TOODM - A Temporal Object-Oriented Data Model with Temporal Constraints , 1991, ER.

[26]  Gad Ariav,et al.  A temporally oriented data model , 1986, TODS.

[27]  Jeff Rothenberg,et al.  The nature of modeling , 1989 .

[28]  Wilson C. Hsieh,et al.  Bigtable: A Distributed Storage System for Structured Data , 2006, TOCS.

[29]  David Scott Warren,et al.  Formal semantics for time in databases , 1982, TODS.

[30]  Jukka Riekki,et al.  Context Representation and Reasoning in Pervasive Computing: a Review , 2009 .

[31]  J. C. Cepeda,et al.  Probabilistic-based overload estimation for real-time smart grid vulnerability assessment , 2012, 2012 Sixth IEEE/PES Transmission and Distribution: Latin America Conference and Exposition (T&D-LA).