https://ontologforum.com/index.php?action=history&feed=atom&title=TorstenHahmann 2026-06-17T01:46:28Z Revision history for this page on the wiki MediaWiki 1.39.0 https://ontologforum.com/index.php?title=TorstenHahmann&diff=2879&oldid=prev 2015-12-14T07:37:28Z

<p>Affiliation updated Last updated at: 2014-02-04 09:17:42 By user: TorstenHahmann</p> <p><b>New page</b></p><div>= Torsten Hahmann =<br /> <br /> [http://spatial.maine.edu/faculty/hahmann/ Torsten Hahmann] is an assistant professor of spatial informatics at the [http://www.umaine.edu/cis/ School of Computing and Information Science] and the [http://umaine.edu/ncgia/ National Center for Geographic Information and Analysis] (NCGIA) at the University of Maine in Orono, ME, USA. <br /> <br /> Previously, he worked as a postdoctoral researcher with Sheila &lt;nowiki&gt;McIlraith&lt;/nowiki&gt; (University of Toronto) and Autodesk Research on various aspects of ontology-based knowledge representation within the [http://phuman.webfactional.com/home/ Parametric Human Project]. <br /> Torsten's expertise lies at the intersection of formal ontology and heterogeneous representations of space. Torsten earned a Ph.D. from the University of Toronto (2013) within the Semantic Technology Lab, under MichaelGruninger's supervision. His dissertation &quot;[http://www.cs.toronto.edu/~torsten/publications/Hahmann_PhD_thesis.pdf A Reconciliation of Logical Theories of Space: from Multidimensional Mereotopology to Geometry]&quot; is about novel spatial ontologies that bridge qualitative and geometric conceptualizations of physical space, their formal semantic integration and their semi-automated verification. The work contains 116 different spatial ontologies, all checked for consistency and with several hundred properties verified. <br /> <br /> Prior to that, Torsten obtained a M.Sc. in Computer Science (2008) from the University of Toronto working on mathematical characterizations of mereotopology, and a B.Sc. in Software Systems Engineering from the Hasso-Plattner-Institute (HPI) Potsdam, Germany. <br /> <br /> [http://www.spatial.maine.edu/~torsten Webpage] <br /> <br /> Research interests: <br /> <br /> I am generally interested in everything that involves formal representations of knowledge, so-called knowledge representation.<br /> More specifically I'm interested in ontologies, semantic integration, semantic interoperability, and semantic technologies in general.<br /> My research interests encompass the following areas: <br /> <br /> * Expressive and lightweight ontologies <br /> * Ontology verification, modularity, and repositories and tools to help with ontology design &amp; maintenance &amp; integration <br /> * Semantic technologies, interoperability, data and knowledge integration <br /> * Spatial intelligence, including qualitative spatial reasoning (QSR) and the combination of high-level spatial reasoning with low-level, geometric reasoning <br /> * Spatial ontologies and spatial data, including geospatial data, earth science (geological, hydrological, environmental) data, urban planning data, transportation data, building information, product specifications <br /> * Commonsense representations of space, cognitive and philosophical aspects of space <br /> * Automated reasoning with first-order logic (FOL), FOL theorem proving and model finding <br /> * Geometry, topology, mereology, manifolds <br /> * Mathematical logic, model theory <br /> <br /> [[Category:Person]]<br /> <br /> <br /> <br /> </div>

imported>Admin