Abstract
An ontology for spatial reasoning based on a tesseral representation of space is presented. The principal advantage offered is that the representation has the effect of linearising multi-dimensional space while still supporting translation through the space in any direction and through any number of dimensions. Consequently, all multi-dimensional spatial reasoning can be implemented using one dimensional (temporal) reasoning techniques. As a result, many of the concerns associated with conventional multi-dimensional spatial reasoning systems, based on more traditional representations, no longer apply.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
B. Beattie, F.P. Coenen, A. Hough, T.J.M. Bench-Capon, B. Diaz and M.J.R. Shave. 'spatial Reasoning for Environmental Impact Assessment', to be presented at Third International Conference/Workshop on Integrating GIS and Environmental Modelling, Santa Fé, 1996.
B. Beattie, F.P. Coenen, T.J.M. Bench-Capon, B. Diaz and M.J.R. Shave, 'spatial Reasoning for GIS using a Tesseral Data Representation', in N. Revell and A.M. Tjoa (eds.), Database and Expert Systems Applications, (Proceedings DEXA'95), Lecture Notes in Computer Science 978, Springer Verlag, 207–216, 1995.
F.P. Coenen, B. Beattie, T. J.M. Bench-Capon, Shave, M. J. R. and B. Diaz, ‘Spatial Reasoning for Timetabling: The TIMETABLER system', Proceedings of the 1st International Conference on the Practice and Theory of Automated Timetabling (ICPTAT'95), Napier University, Edinburgh, 57–68, 1995.
F.P. Coenen, B. Beattie, B. Diaz, T.J.M. Bench-Capon and M.J.R. Shave, ‘A Temporal Calculus for GIS Using Tesseral Addressing', in M.A. Bramer and A.L. Macintosh (eds), Research and Development in Expert Systems XI, Proceedings of ES'94, 261–273, 1994
F.P. Coenen and T.J.M. Bench-Capon, ‘Maintenance and Maintainability in Regulation Based KBS', ICL Technical Journal, 9-3, May, 67–84, 1992.
A.G. Cohn, ‘A More Expressive Formulation of Many Sorted Logic', Jo of Automation and Reasoning, 3-2, 113–200, 1987.
B. Diaz and S.B.M. Bell, Spatial Data Processing Using Tesseral Methods, Natural Environment Research Council publication, Swindon, England, 1986
M.J. Egenhofer, ‘Deriving the Composition of Binary Topological Relations', Journal of Visual Languages and Computing, 5, 133–149, 1994.
T.R. Gruber, ‘Ontolingua: A Mechanism to Support Portable Ontologies', Technical Report KSL 91-66, Stanford University, Knowledge Systems Laboratory, Stanford, USA, 1992.
P. van Hentenryck, ‘Constraint Satisfaction in Logic Programming', MIT Press, Cambridge, Massachusetts, 1989.
D. Hernández, ‘Relative Representation of Spatial Knowledge: The 2-D Case’ in D.M. Mark and A.U. Frank, A.U. (eds), Cognitive and Linguistic Aspects of Geographic Space, Kluwer, Dordrecht, Netherlands, 373–385, 1991.
A.K. Mackworth, ‘Consistency in Networks of Relations', AI Journal, 8-1, 99–118, 1977.
A.K. Mackworth and E.C. Freuder. ‘The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems’ Artificial Intelligence, 25, 65–74, 1985
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Coenen, F., Beattie, B., Bench-Capon, T.J.M., Shave, M.J.R., Diaz, B.M. (1996). An ontology for linear spatial reasoning. In: Wagner, R.R., Thoma, H. (eds) Database and Expert Systems Applications. DEXA 1996. Lecture Notes in Computer Science, vol 1134. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034725
Download citation
DOI: https://doi.org/10.1007/BFb0034725
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61656-6
Online ISBN: 978-3-540-70651-9
eBook Packages: Springer Book Archive