Shirly Stephen
Cited by
Cited by
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
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
An ontological framework for characterizing hydrological flow processes
S Stephen, T Hahmann
13th International Conference on Spatial Information Theory (COSIT 2017), 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
Domain reference ontologies vs. domain ontologies: What’s the difference
T Hahmann, S Stephen, B Broderic
Lessons from the water domain 10, 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
Ontological Analysis and Formal Grounding of the Groundwater Markup Language (GWML2) with the Hydro Foundational Ontology (HYFO)
S Stephen
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
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
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–12