Reasoning about Models of Context. A Context-Oriented Logical Language for Knowledge-Based Context-Aware Applications

Ontologies have been suggested as a means to ensure interoperability of Ambient Intelligence (AmI) applications as well as effectiveness within different sensory environments. We introduce a new logical language specifically tailored to the task of ontology design for AmI applications. This language has known advantages of description logics, namely a precisely defined semantics and a brief, intuitive syntax; and it facilitates formalising knowledge about contexts: a unified syntax for representing containment relations makes it easy to specify that a context is spatially or temporally contained in another, that two contexts share a certain group of agents or objects, or that an application is in a state that requires it to adapt its behaviour. RÉSUMÉ. Les ontologies ont été proposées comme un moyen d’assurer l’interopérabilité des applications de l’Intelligence Diffuse (AmI en anglais) ainsi que leur efficacité au sein de différents environnements sensoriels. Nous proposons un nouveau langage logique dédié à la tâche de conception d’ontologies pour des applications de l’Intelligence diffuse. Ce langage possède les avantages connus des logiques de description, à savoir une sémantique définie précise et une syntaxe simple et intuitive. Il facilite la formalisation des connaissances sur les contextes. Une syntaxe unifiée pour représenter les relations d’endiguement facilite la spécification d’un contexte spatialement ou temporellement inclus dans un autre contexte, et que les deux contextes partagent un certain groupe d’agents ou d’objets, ou qu’une application est dans un état qui lui demande d’adopter tel comportement.