Clemens Holzmann, Johannes Kepler University Linz
Abstract:
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology- rich autonomous objects, to which we refer to as artifacts.
The objective of our work is to provide means for defining spatiotemporal constraints – i.e. logical combinations of spatial relations to artifacts at certain time intervals – at a high level of abstraction, and to recognize relative situations therewith. Such constraints are defined with rules that infer high-level relationships for newly recognized situations, which in turn can be used in other constraints. At any time, the history of known relationships can be queried in order to trigger predefined actions. We decided for qualitative abstractions of both spatial and temporal relationships, as they reflect the semantics of natural language terms and thus facilitate dealing with relationships at the application programming level. The core concepts of this reasoning approach are presented, and the implementation of a middleware for spatiotemporal reasoning as well as evaluation results are discussed.
ACM Copyright Notice Copyright © by the Association for Computing Machinery, Inc. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept, ACM Inc., fax +1 (212) 869-0481, or permissions@acm.org.
Abstract:
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology- rich autonomous objects, to which we refer to as artifacts.
The objective of our work is to provide means for defining spatiotemporal constraints – i.e. logical combinations of spatial relations to artifacts at certain time intervals – at a high level of abstraction, and to recognize relative situations therewith. Such constraints are defined with rules that infer high-level relationships for newly recognized situations, which in turn can be used in other constraints. At any time, the history of known relationships can be queried in order to trigger predefined actions. We decided for qualitative abstractions of both spatial and temporal relationships, as they reflect the semantics of natural language terms and thus facilitate dealing with relationships at the application programming level. The core concepts of this reasoning approach are presented, and the implementation of a middleware for spatiotemporal reasoning as well as evaluation results are discussed.
ACM Copyright Notice Copyright © by the Association for Computing Machinery, Inc. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept, ACM Inc., fax +1 (212) 869-0481, or permissions@acm.org.
Comments