Voids are extremely important to water science, because their size and connectivity 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.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 firstname.lastname@example.org
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 email@example.com