Qualitative representation of positional information
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A Reference System for Topological Relations between Compound Spatial Objects
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
An abstract theory and ontology of motion based on the regions connection calculus
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Editorial: BeAware!-Situation awareness, the ontology-driven way
Data & Knowledge Engineering
The family of conceptual neighborhood graphs for region-region relations
GIScience'10 Proceedings of the 6th international conference on Geographic information science
Situation prediction nets: playing the token game for ontology-driven situation awareness
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Processes and events in dynamic geo-networks
GeoS'05 Proceedings of the First international conference on GeoSpatial Semantics
| Hi-index | 0.00 |
Situation awareness and geographic information systems in dynamic spatial systems such as road traffic management (RTM) aim to detect and predict critical situations on the basis of relations between entities. Such relations are described by qualitative calculi, each of them focusing on a certain aspect (e. g., topology). Since these calculi are defined isolated from each other, dependencies between then are not explicitly modeled. We argue, that a taxonomy--containing a plethora of special cases of inter-calculi dependencies--can only be defined in a consistent manner, if evolution of entities and the relations of calculi are grounded in a unified model. In this paper, we define such a unified model, which is used to derive a taxonomy of inter-calculi dependency constraints contained in an ontology utilizing various spatial calculi. The applicability of this approach is demonstrated with a case study in RTM, and concluded with lessons learned from a prototypical implementation.