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