Planning Routes through uncertain territory
Artificial Intelligence
Formal ontology, common sense and cognitive science
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Maintaining knowledge about temporal intervals
Communications of the ACM
A boundary-sensitive approach to qualitative location
Annals of Mathematics and Artificial Intelligence
Spatial Representation for Pragmatic Navigation
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
Qualitative Spatial Representation and Reasoning Techniques
KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
A hybrid spatial model for representing indoor environments
W2GIS'06 Proceedings of the 6th international conference on Web and Wireless Geographical Information Systems
Hi-index | 0.00 |
This paper provides an ontological analysis of built environments. It shows that boundaries are ontologically salient features of built environments and that there are different kinds of boundaries that that need to be considered. It discusses in particular the important role of fiat boundaries. At the level of objects built environments are formed by partition forming objects and populated by non-partition forming objects. The underlying partition structure is the main organizational structure of a built environment. Non-partition forming objects are potentially movable and their movement is constrained by the barrier properties of the boundaries of other objects forming or populating the environment. This paper argues that the qualitative formalization of built environments needs to take into account: (1) the fundamental role of boundaries, (2) the distinction between bona-fide and fiat boundaries and objects, (3) the different character of constraints on relations between these different kinds of boundaries and objects, (4) the distinction between partition forming and non-partition forming objects, and (5) the fundamental organizational structure of regional partitions. It discusses the notion of object-boundary sensitive rough location and shows that a formalization based on this notion takes these points into account.