Stefan Schulz1, Udo Hahn. 1. Department of Medical Informatics, Freiburg University Hospital, Stefan-Meier-Str. 26, D-79104 Freiburg, Germany. stschulz@uni-freiburg.de
Abstract
OBJECTIVE: Biomedical ontologies are typically structured in a biaxial way, reflecting both a taxonomic (is-a) and a partonomic (part-of) hierarchy. Commonly used biomedical terminologies, which incorporate such distinctions excel in terms of broad coverage but lack a rigid formal foundation. The latter, however, is a prerequisite for automated reasoning. For the biomedical domain, it is not only crucial to cope with ontological dependencies between wholes and their parts but also with specific reasoning patterns which underlie the propagation of roles across partonomic hierarchies. METHODS: We scale down part-whole reasoning to subsumption-based taxonomic reasoning within the formal framework of a parsimonious variant of description logics (viz. ALC). RESULTS: We provide a formal basis for ontological engineering in the domain of biomedicine, as far as part-whole relationships are concerned, by addressing typical reasoning patterns encountered in this domain.
OBJECTIVE: Biomedical ontologies are typically structured in a biaxial way, reflecting both a taxonomic (is-a) and a partonomic (part-of) hierarchy. Commonly used biomedical terminologies, which incorporate such distinctions excel in terms of broad coverage but lack a rigid formal foundation. The latter, however, is a prerequisite for automated reasoning. For the biomedical domain, it is not only crucial to cope with ontological dependencies between wholes and their parts but also with specific reasoning patterns which underlie the propagation of roles across partonomic hierarchies. METHODS: We scale down part-whole reasoning to subsumption-based taxonomic reasoning within the formal framework of a parsimonious variant of description logics (viz. ALC). RESULTS: We provide a formal basis for ontological engineering in the domain of biomedicine, as far as part-whole relationships are concerned, by addressing typical reasoning patterns encountered in this domain.
Authors: Ravensara S Travillian; Kremena Diatchka; Tejinder K Judge; Katarzyna Wilamowska; Linda G Shapiro Journal: Artif Intell Med Date: 2010-12-10 Impact factor: 5.326
Authors: Robert Hoehndorf; Michel Dumontier; Anika Oellrich; Dietrich Rebholz-Schuhmann; Paul N Schofield; Georgios V Gkoutos Journal: PLoS One Date: 2011-07-18 Impact factor: 3.240