Spatial Informatics Faculty - Torsten Hahmann
(207) 581 3943
Boardman Hall, Rm 344
University of Maine
Orono, ME 04469-5711
Dr. Hahmann is an Assistant Professor in the School of Computing and Information Science and is affiliated with the National Center for Geographic Information and Analysis (NCGIA) at UMaine. He joined the department at the end of 2013. Previously, he worked as a postdoctoral researcher in the Parametric Human Project at Autodesk Research.
Ph.D. University of Toronto (2013), M.Sc. University of Toronto (2008)
Dr. Hahmann’s research covers the areas of spatial informatics, knowledge representation, artificial intelligence, and logic. His current research resolves around how rich semantic descriptions of the information from complex and heterogeneous information systems in formal logical representations – so-called ontologies – can be efficiently obtained and integrated with one another. Key questions in this work are how to manage and break-down large ontologies (modularity), how to ensure that they are intrinsically correct (verification) and that they capture the right semantics (validation), how to combine different ontologies (integration), and how to automate the verification and integration process.
His work focuses particularly on spatial ontologies, which describe the spatial layout of, amongst others, digital and hand-drawn maps (sketches), route descriptions, building maps, geological and hydrological formations, room layouts, assembly instructions (such as furniture assembly), biological systems (such as the human body or a single bone), and chemical compounds.
These find applications in domains as varied as geography (GIS), geology, hydrology, business informatics, architecture (CAD), manufacturing (CAM), and e-science. Such spatial ontologies serve as a testbed for Dr. Hahmann’s research about formal ontologies and their development.
- T. Hahmann, B. Brodaric: Kinds of Full Physical Containment. In Proc. of the Int. Conference on Spatial Information Theory (COSIT-2013)
- T. Hahmann, M. Gruninger: Complementation in representable theories of region-based space. Notre Dame Journal of Formal Logic (NDJFL) 54(2):177-214, 2013.
- T. Hahmann, B. Brodaric: The Void in Hydro Ontology. In Proc. of the 7th Int. Conference on Formal Ontology in Information Systems (FOIS-2012)
- T. Hahmann, M. Gruninger: Region-based Theories of Space: Mereotopology and Beyond. In: S. Hazarika (ed.): Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions, 2012. pp. 1-62. IGI Publishing
- M. Winter, T. Hahmann, M. Gruninger: On the algebra of regular sets: Properties of representable Stonian p-ortholattices. Annals of Mathematics and Artificial Intelligence 65(1):25-60, Springer, 2012.
- T. Hahmann, M. Winter, M. Gruninger: Stonian p-Ortholattices: A new approach to the mereotopology RT0. Artificial Intelligence 173:1424-1440, 2009.