An ontology for linear spatial reasoning
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.
KeywordsMulti-dimensional spatial reasoning Ontology
Unable to display preview. Download preview PDF.
- 1.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.Google Scholar
- 2.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.Google Scholar
- 3.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.Google Scholar
- 4.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, 1994Google Scholar
- 5.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.Google Scholar
- 6.A.G. Cohn, ‘A More Expressive Formulation of Many Sorted Logic', Jo of Automation and Reasoning, 3-2, 113–200, 1987.Google Scholar
- 7.B. Diaz and S.B.M. Bell, Spatial Data Processing Using Tesseral Methods, Natural Environment Research Council publication, Swindon, England, 1986Google Scholar
- 9.T.R. Gruber, ‘Ontolingua: A Mechanism to Support Portable Ontologies', Technical Report KSL 91-66, Stanford University, Knowledge Systems Laboratory, Stanford, USA, 1992.Google Scholar
- 10.P. van Hentenryck, ‘Constraint Satisfaction in Logic Programming', MIT Press, Cambridge, Massachusetts, 1989.Google Scholar
- 11.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.Google Scholar
- 12.A.K. Mackworth, ‘Consistency in Networks of Relations', AI Journal, 8-1, 99–118, 1977.Google Scholar