Related Experiment Video
Updated: Jul 18, 2026

Surgical Training for the Implantation of Neocortical Microelectrode Arrays Using a Formaldehyde-fixed Human Cadaver Model
Published on: November 19, 2017
Experience in reasoning with the foundational model of anatomy in OWL DL
Songmao Zhang1, Olivier Bodenreider, Christine Golbreich
1Institute of Mathematics, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, Beijing, China. smzhang@math.ac.cn
Abstract:
The objective of this study is to compare description logics (DLs) and frames for representing large-scale biomedical ontologies and reasoning with them. The ontology under investigation is the Foundational Model of Anatomy (FMA). We converted it from its frame-based representation in Protégé into OWL DL. The OWL reasoner Racer helped identify unsatisfiable classes in the FMA. Support for consistency checking is clearly an advantage of using DLs rather than frames. The interest of reclassification was limited, due to the difficulty of defining necessary and sufficient conditions for anatomical entities. The sheer size and complexity of the FMA was also an issue.
Related Concept Videos
Deductive Reasoning
Clearance Models: Physiological Models
The organ's clearance rate depends on the blood flow to the organ and the extraction ratio (E). The extraction ratio describes the organ's proficiency in drug...
Overview of Anatomy and Physiology
Reasoning
Inductive reasoning involves deriving generalizations from specific observations. This type of reasoning helps form beliefs about the world. For example,...
Anatomy of the Eyeball
Anatomical Terminology
