Tools from mathematical logic, such as interpretability and definability, are used to semantically integrate other spatial ontologies into our hierarchies.

Dec 7, 2012 · A Reconciliation of Logical Representations of Space: from Multidimensional Mereotopology to Geometry. PhD Thesis Defence. Torsten Hahmann.

Page 1. A Reconciliation of Logical Representations of Space: from Multidimensional Mereotopology to Geometry by. Torsten Hahmann. A thesis submitted in ...

This work formalizes the semantics of SFA's geometric features and mereotopological relations by defining or restricting them in terms of the spatial entity ...

A Reconciliation of Logical Representations of Space: from Multidimensional Mereotopology to Geometry. Torsten Hahmann. - 31 May 2013. Show Less. 25 Citations.

A reconciliation of logical representations of space: from multidimensional mereotopology to geometry. T Hahmann. University of Toronto, 2013. 28, 2013. The ...

A reconciliation of logical representations of space: from multidimensional mereotopology to geometry. T Hahmann. University of Toronto, 2013. 28, 2013. The ...

A Reconciliation of Logical Representations of Space: from Multidimensional Mereotopology to Geometry Torsten Hahmann Doctor of Philosophy Graduate ...

Jan 1, 2020 · This paper provides a comprehensive study of CODI, a first-order logic ontology of multidimensional mereotopology.

A Reconciliation of Logical Representations of Space: from Multidimensional. Mereotopology to Geometry. PhD thesis, Univ. of Toronto, Dept. of Comp. Science ...