A Logical Geo-Ontology Design Pattern for Quantifying over Types
From International Center for Computational Logic
A Logical Geo-Ontology Design Pattern for Quantifying over Types
David CarralDavid Carral, Krzysztof JanowiczKrzysztof Janowicz, Pascal HitzlerPascal Hitzler
David Carral, Krzysztof Janowicz, Pascal Hitzler
A Logical Geo-Ontology Design Pattern for Quantifying over Types
In Isabel F. Cruz, Craig A. Knoblock, Peer Kröger, Egemen Tanin, Peter Widmayer, eds., SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), SIGSPATIAL 12, Redondo Beach, CA, USA. Proceedings., 239-248, November 2012. ACM
A Logical Geo-Ontology Design Pattern for Quantifying over Types
In Isabel F. Cruz, Craig A. Knoblock, Peer Kröger, Egemen Tanin, Peter Widmayer, eds., SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), SIGSPATIAL 12, Redondo Beach, CA, USA. Proceedings., 239-248, November 2012. ACM
- KurzfassungAbstract
Ontology design patterns ease the engineering of ontologies, improvetheir quality, foster reusability, and support the alignment of ontologies by acting as common building blocks or strategies for reoccurring modeling problems. This makes ontology design patterns key enablers of semantic interoperability and, hence, a crucial technology for representing the body of knowledge of such heterogeneous domains as the geosciences. While different types of patterns can be distinguished, existing work on geo-ontology design patterns has solely focused on content patterns, i.e., design solutions for domain classes and relationships. In this work, we propose a logical pattern that addresses a frequent modeling problem that has hampered the development of sophisticated geo-ontologies in the past, namely how to model the quantification over types. We argue for the need for such a pattern, explain why it is difficult to model, demonstrate how to implement it using the Web Ontology Language OWL, and finally show how it can be applied to modeling concepts such as biodiversity. - Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{CJH2012,
author = {David Carral and Krzysztof Janowicz and Pascal Hitzler},
title = {A Logical Geo-Ontology Design Pattern for Quantifying over Types},
editor = {Isabel F. Cruz and Craig A. Knoblock and Peer Kr{\"{o}}ger and
Egemen Tanin and Peter Widmayer},
booktitle = {SIGSPATIAL 2012 International Conference on Advances in
Geographic Information Systems (formerly known as {GIS),}
{SIGSPATIAL} 12, Redondo Beach, {CA,} {USA.} Proceedings.},
publisher = {ACM},
year = {2012},
month = {November},
pages = {239-248},
doi = {10.1145/2424321.2424352}
}