Donnelly Maureen
Department of Philosophy, The New York State Center of Excellence in Bioinformatics and Life Sciences, University of Buffalo, New York, USA.
AMIA Annu Symp Proc. 2005;2005:206-10.
In addition to parthood relations, containment relations are needed for describing the locations of anatomical individuals. My lungs are contained, but not part of, in my thoracic cavity. Urine is contained in, but not part of, the cavity of my urinary bladder. Ontologies such as the FMA and GALEN use containment relations extensively. However, the FMA's and GALEN's usage of containment relations differs significantly. To provide anatomical ontologies with clear semantics and consistent reasoning strategies, it is necessary to precisely determine the logical properties of their containment relations. In this paper, I define different versions of containment relations in a formal theory and distinguish important logical properties of these relations. The formal containment relations are used to partially analyze and highlight differences between the FMA's and GALEN's containment relations.
除了部分关系外，还需要包含关系来描述解剖个体的位置。我的肺被包含在胸腔中，但不是胸腔的一部分。尿液被包含在膀胱腔内，但不是膀胱腔的一部分。诸如FMA和GALEN之类的本体广泛使用包含关系。然而，FMA和GALEN对包含关系的使用有显著差异。为了给解剖本体提供清晰的语义和一致的推理策略，有必要精确确定其包含关系的逻辑属性。在本文中，我在一个形式理论中定义了不同版本的包含关系，并区分了这些关系的重要逻辑属性。形式包含关系用于部分分析和突出FMA与GALEN的包含关系之间的差异。
