GEOSCAN Search Results: Fastlink


TitleThe void in hydro ontology
AuthorHahmann, T; Brodaric, B
SourceFrontiers in Artificial Intelligence 239, Proceedings of the 7th International Conference on Formal Ontology in Information Systems (FOIS12); .
Alt SeriesEarth Sciences Sector, Contribution Series 20140116
Meeting7th International Conference on Formal Ontology in Information Systems (FOIS 12); Graz; AT; July 24-27, 2012
ProgramGroundwater Geoscience, Groundwater Information Management & Dissemination
Abstractconnectivity determines the storage and flow of water both above and below the ground surface. While previous formal theories about voids strictly consider holes hosted inside objects, we generalize voids to also include spaces between objects, and distinguish voids in macroscopic objects from those occurring microscopically in an object¿s matter. These notions are axiomatized in first-order logic as an extension of the DOLCE ontology, and are applied to key aspects of hydrology and hydrogeology, laying the groundwork for a foundational hydro ontology.
Summary(Plain Language Summary, not published)
Examines the logic of spaces within and between objects, to advance the digital representation of the spaces within an aquifer that contain groundwater.