Torsten Hahmann

Orcid: 0000-0002-5331-5052

Affiliations:
  • University of Maine


According to our database1, Torsten Hahmann authored at least 45 papers between 2008 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023

Development of an Ontology-Based Approach to Spatio-Temporal Data Analysis for Forest-Environment Interactions (extended abstract).
Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), 2023

Populating and Refining an Ontology of Cellulose Materials with Terms from Scientific Publications (extended abstract).
Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), 2023

OPPO: An Ontology for Describing Fine-Grained Data Practices in Privacy Policies of Online Social Networks.
Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), 2023

2022
Geo-Situation for Modeling Causality of Geo-Events in Knowledge Graphs.
CoRR, 2022

An Ontology Design Pattern for Spatial and Temporal Aggregate Data (STAD).
Proceedings of the 13th Workshop on Ontology Design and Patterns (WOP 2022) co-located with the 21th International Semantic Web Conference (ISWC 2022), 2022

2021
Automatically Extracting OWL Versions of FOL Ontologies.
Proceedings of the Semantic Web - ISWC 2021 - 20th International Semantic Web Conference, 2021

2020
CODI: A multidimensional theory of mereotopology with closure operations.
Appl. Ontology, 2020

The FOUnt ontologies for quantities, units, and the physical world.
Appl. Ontology, 2020

A Methodology for Implementing the Formal Legal-GRL Framework: A Research Preview.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2020

Model-Finding for Externally Verifying FOL Ontologies: A Study of Spatial Ontologies.
Proceedings of the Formal Ontology in Information Systems, 2020

2019
Geographies of the Holocaust: Experiments in GIS, QSR, and Graph Representations.
Int. J. Humanit. Arts Comput., 2019

Water features and their parts.
Appl. Ontology, 2019

Formal Qualitative Spatial Augmentation of the Simple Feature Access Model.
Proceedings of the 14th International Conference on Spatial Information Theory, 2019

Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Using a hydro-reference ontology to provide improved computer-interpretable semantics for the groundwater markup language (GWML2).
Int. J. Geogr. Inf. Sci., 2018

The Landform Reference Ontology (LFRO): A Foundation for Exploring Linguistic and Geospatial Conceptualization of Landforms (Short Paper).
Proceedings of the 10th International Conference on Geographic Information Science, 2018

Using commonsensical cardinal directions to describe bordering objects.
Proceedings of the 26th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2018

On Decomposition Operations in a Theory of Multidimensional Qualitative Space.
Proceedings of the Formal Ontology in Information Systems, 2018

Foundational Ontologies for Units of Measure.
Proceedings of the Formal Ontology in Information Systems, 2018

2017
An Ontological Framework for Characterizing Hydrological Flow Processes.
Proceedings of the 13th International Conference on Spatial Information Theory, 2017

A Reference Landform Ontology for Automated Delineation of Depression Landforms from DEMs.
Proceedings of Workshops and Posters at the 13th International Conference on Spatial Information Theory, 2017

2016
From Data Streams to Fields: Extending Stream Data Models with Field Data Types.
Proceedings of the Geographic Information Science - 9th International Conference, 2016

2015
A Reconciliation of Logical Representations of Space: from Multidimensional Mereotopology to Geometry.
PhD thesis, 2015

Internet of things: Toward smart networked systems and societies.
Appl. Ontology, 2015

What is in a Contour Map? - A Region-Based Logical Formalization of Contour Semantics.
Proceedings of the Spatial Information Theory - 12th International Conference, 2015

Towards Ontologies in Variation.
Proceedings of the 2015 AAAI Spring Symposia, 2015

2014
An Ontology Design Pattern for Material Transformation.
Proceedings of the 5th Workshop on Ontology and Semantic Web Patterns (WOP2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014

Interdependence among material objects and voids.
Proceedings of the Formal Ontology in Information Systems, 2014

Voids and material constitution across physical granularities.
Proceedings of the Formal Ontology in Information Systems, 2014

Ontology Repositories: A Treasure Trove for Content Ontology Design Patterns.
Proceedings of the 8th International Workshop on Modular Ontologies co-located with the 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), 2014

A Sideways Look at Upper Ontologies.
Proceedings of the Formal Ontology in Information Systems, 2014

2013
Complementation in Representable Theories of Region-Based Space.
Notre Dame J. Formal Log., 2013

Kinds of Full Physical Containment.
Proceedings of the Spatial Information Theory - 11th International Conference, 2013

2012
Modular first-order ontologies via repositories.
Appl. Ontology, 2012

On the algebra of regular sets - Properties of representable Stonian p-ortholattices.
Ann. Math. Artif. Intell., 2012

The Void in Hydro Ontology.
Proceedings of the Formal Ontology in Information Systems, 2012

2011
Exploiting Modularity for Ontology Verification.
Proceedings of the Modular Ontologies - Proceedings of the Fifth International Workshop, 2011

Multidimensional Mereotopology with Betweenness.
Proceedings of the IJCAI 2011, 2011

A Naive Theory of Dimension for Qualitative Spatial Relations.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010
Ontology Verification with Repositories.
Proceedings of the Formal Ontology in Information Systems, 2010

2009
Stonian p-ortholattices: A new approach to the mereotopology RT<sub>0</sub>.
Artif. Intell., 2009

Detecting Physical Defects: A Practical 2D-Study of Cracks and Holes.
Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009

On the Skeleton of Stonian p-Ortholattices.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008
Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008


  Loading...