A Logical Geo-Ontology Design Pattern for Quantifying over Types

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

A Logical Geo-Ontology Design Pattern for Quantifying over Types

David CarralDavid Carral,  Krzysztof JanowiczKrzysztof Janowicz,  Pascal HitzlerPascal Hitzler
A Logical Geo-Ontology Design Pattern for Quantifying over Types


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
  • 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}
}