Advertisement

An ontology for linear spatial reasoning

  • F. Coenen
  • B. Beattie
  • T. J. M. Bench-Capon
  • M. J. R. Shave
  • B. M. Diaz
Expert and Knowledge Based Systems 1
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1134)

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.

Keywords

Multi-dimensional spatial reasoning Ontology 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 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. 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. 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. 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. 7.
    B. Diaz and S.B.M. Bell, Spatial Data Processing Using Tesseral Methods, Natural Environment Research Council publication, Swindon, England, 1986Google Scholar
  8. 8.
    M.J. Egenhofer, ‘Deriving the Composition of Binary Topological Relations', Journal of Visual Languages and Computing, 5, 133–149, 1994.CrossRefGoogle Scholar
  9. 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. 10.
    P. van Hentenryck, ‘Constraint Satisfaction in Logic Programming', MIT Press, Cambridge, Massachusetts, 1989.Google Scholar
  11. 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. 12.
    A.K. Mackworth, ‘Consistency in Networks of Relations', AI Journal, 8-1, 99–118, 1977.Google Scholar
  13. 13.
    A.K. Mackworth and E.C. Freuder. ‘The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems’ Artificial Intelligence, 25, 65–74, 1985CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • F. Coenen
    • 1
  • B. Beattie
    • 1
  • T. J. M. Bench-Capon
    • 1
  • M. J. R. Shave
    • 1
  • B. M. Diaz
    • 1
  1. 1.Department of Computer ScienceThe University of LiverpoolLiverpoolEngland

Personalised recommendations