Swiss canton regions: A model for complex objects in geographic partitions MP Dube, MJ Egenhofer, JA Lewis, S Stephen, MA Plummer International Conference on Spatial Information Theory, 309-330, 2015 | 10 | 2015 |
Using a hydro-reference ontology to provide improved computer-interpretable semantics for the groundwater markup language (GWML2) T Hahmann, S Stephen International Journal of Geographical Information Science 32 (6), 1138-1171, 2018 | 8 | 2018 |
An ontological framework for characterizing hydrological flow processes S Stephen, T Hahmann 13th International Conference on Spatial Information Theory (COSIT 2017), 2017 | 7 | 2017 |
Formal qualitative spatial augmentation of the simple feature access model S Stephen, T Hahmann 14th International Conference on Spatial Information Theory (COSIT 2019), 2019 | 3 | 2019 |
Domain reference ontologies vs. domain ontologies: What’s the difference T Hahmann, S Stephen, B Broderic Lessons from the water domain 10, 2016 | 2 | 2016 |
Semantically refining the groundwater markup language (GWML2) with the help of a reference ontology T Hahmann, S Stephen, B Brodaric International Conference on GIScience Short Paper Proceedings 1 (1), 2016 | 2 | 2016 |
Ontological Analysis and Formal Grounding of the Groundwater Markup Language (GWML2) with the Hydro Foundational Ontology (HYFO) S Stephen | 2 | 2016 |
Model-Finding for Externally Verifying FOL Ontologies: A Study of Spatial Ontologies S Stephen, T Hahmann Formal Ontology in Information Systems: Proceedings of the 11th …, 2020 | | 2020 |
Moving from Information to Insight by Linking Urban and Hydrologic Systems through the Urban Flooding Open Knowledge Network Water Resources IMPACT 22 (Geospatial Water Technology: Complex Sys), 2020 | | 2020 |
Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets S Stephen, T Hahmann Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 10039 …, 2019 | | 2019 |
Using a SAT-based Model Finder to Verify First-Order Logic Ontologies of Space against Datasets: Scalability and Bottlenecks in Practice S Stephen, T Hahmann | | 2018 |
Swiss Canton Regions: A Model for Complex Objects in Geographic Partitions S Stephen, MA Plummer Spatial Information Theory: 12th International Conference, COSIT 2015, Santa …, 2015 | | 2015 |