Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

Containment relations in anatomical ontologies.

Maureen Donnelly1

  • 1Department of Philosophy, The New York State Center of Excellence in Bioinformatics and Life Sciences, University of Buffalo, New York, USA.

AMIA ... Annual Symposium Proceedings. AMIA Symposium
|June 17, 2006
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Electrographic Seizure Characteristics and Electrographic Status Epilepticus Prediction.

Journal of clinical neurophysiology : official publication of the American Electroencephalographic Society·2024
Same author

Periodic Discharges in Critically Ill Children: Predictors and Outcome.

Journal of clinical neurophysiology : official publication of the American Electroencephalographic Society·2023
Same author

EEG Monitoring in Critically Ill Children: Establishing High-Yield Subgroups.

Journal of clinical neurophysiology : official publication of the American Electroencephalographic Society·2023
Same author

Validation of a Model for Targeted EEG Monitoring Duration in Critically Ill Children.

Journal of clinical neurophysiology : official publication of the American Electroencephalographic Society·2022
Same author

Periodic and rhythmic patterns in critically ill children: Incidence, interrater agreement, and seizures.

Epilepsia·2021
Same author

Electrographic Seizures and Outcome in Critically Ill Children.

Neurology·2021

This study defines formal containment relations for anatomical ontologies, clarifying differences between the FMA and GALEN systems for better reasoning and semantic clarity.

Area of Science:

  • Anatomy
  • Ontology Engineering
  • Formal Logic

Background:

  • Anatomical descriptions require both parthood and containment relations for spatial relationships.
  • Existing anatomical ontologies like FMA and GALEN utilize containment relations, but with significant semantic differences.
  • Clear semantics and consistent reasoning in anatomical ontologies necessitate precise definitions of containment relations.

Purpose of the Study:

  • To formally define different versions of containment relations within a logical framework.
  • To identify and distinguish key logical properties of these containment relations.
  • To analyze and highlight the discrepancies in containment relation usage between the FMA and GALEN ontologies.

Main Methods:

  • Development of a formal theory to model containment relations.

Related Experiment Videos

  • Definition of distinct types of containment relations.
  • Analysis of logical properties such as reflexivity, symmetry, and transitivity.
  • Comparative analysis of formal definitions against FMA and GALEN implementations.

    • Main Results:

    • Formal definitions of containment relations were established.
    • Key logical properties differentiating containment types were identified.
    • Significant differences in the application of containment relations by FMA and GALEN were highlighted.
    • The formal framework provides a basis for understanding and reconciling semantic variations.

    Conclusions:

    • Precise formal definitions of containment relations are crucial for anatomical ontologies.
    • Understanding the logical properties of containment relations aids in resolving semantic inconsistencies.
    • This work facilitates clearer semantics and more consistent reasoning strategies in anatomical knowledge representation.