A T-box generator for testing scalability of OWL mereotopological patterns

Martin Boeker, Janna Hastings, Daniel Schober, Stefan Schulz

Publikation: Beitrag in FachzeitschriftKonferenzartikelBegutachtung

3 Zitate (Scopus)

Abstract

The representation of biomedical structure - from cellular components to organisms - in biomedical ontologies is of pivotal importance, as the internal structure of complex structured objects needs to be referenced in the definition of processes, disorders, phenotypes and many other entities. Yet, most of the existing biomedical ontologies do not contain logical axiomatizations for accurately representing the internal structure. We have identified the high importance of mereotopology (parthood, connectedness) for accurate representation in this domain, but the representation of mereotopological structure can provide challenges for rea-soners. To evaluate the scalability of accurate representation of biomedical structure, we have identified design patterns for (i) parthood, both one-sided, two-sided and cardinality restricted, (ii) class disjointness, and (iii) spatial disconnectedness. In order to evaluate the DL reasoning performance for these patterns, we have created a T-Box Generator to pro-grammatically generate small and large experimental T-Boxes with different reasoning complexities resulting from the relative proportions of the patterns (i) to (iii). Classification times have been measured for different reasoners in their most common application settings. We found that, as expected, reasoning times increased dramatically with the size and complexity of the generated ontology, and furthermore, even small numbers of cardinality restrictions were a major performance killer.

OriginalspracheEnglisch
FachzeitschriftCEUR Workshop Proceedings
Jahrgang796
PublikationsstatusVeröffentlicht - 2011
Extern publiziertJa
Veranstaltung8th International Workshop on OWL: Experiences and Directions, OWLED 2011 - San Francisco, CA, USA/Vereinigte Staaten
Dauer: 5 Juni 20116 Juni 2011

Fingerprint

Untersuchen Sie die Forschungsthemen von „A T-box generator for testing scalability of OWL mereotopological patterns“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren