Experience in Reasoning with the Foundational Model of Anatomy in OWL DL

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.

[1]  Christine Golbreich,et al.  The Foundational Model of Anatomy in OWL: Experience and Perspectives , 2006, OWLED.

[2]  Stefan Schulz,et al.  Towards a Broad-Coverage Biomedical Ontology Based on Description Logics , 2002, Pacific Symposium on Biocomputing.

[3]  José L. V. Mejino,et al.  A reference ontology for biomedical informatics: the Foundational Model of Anatomy , 2003, J. Biomed. Informatics.

[4]  Daniel L. Rubin,et al.  Challenges in Converting Frame-Based Ontology into OWL: the Foundational Model of Anatomy Case-Study , 2005, AMIA.

[5]  José L. V. Mejino,et al.  Pushing the envelope: challenges in a frame-based representation of human anatomy , 2004, Data Knowl. Eng..

[6]  Frank van Harmelen,et al.  Web Ontology Language: OWL , 2004, Handbook on Ontologies.

[7]  Lina Fatima Soualmia,et al.  Representing the MeSH in OWL: Towards a semi-automatic migration , 2004, KR-MED.

[8]  Olivier Bodenreider,et al.  Law and order: Assessing and enforcing compliance with ontological modeling principles in the Foundational Model of Anatomy , 2006, Comput. Biol. Medicine.

[9]  Aldo Gangemi,et al.  An ontological analysis of the UMLS Metathesaurus , 1998, AMIA.

[10]  Olivier Bodenreider,et al.  Migrating the FMA from Protégé to OWL , 2005 .

[11]  James A. Hendler,et al.  The National Cancer Institute's Thésaurus and Ontology , 2003, J. Web Semant..

[12]  Carole A. Goble,et al.  A Methodology to Migrate the Gene Ontology to a Description Logic Environment Using DAML+OIL , 2002, Pacific Symposium on Biocomputing.

[13]  Mark S. Tuttle,et al.  NCI Thesaurus: Using Science-Based Terminology to Integrate Cancer Research Results , 2004, MedInfo.

[14]  Stefan Schlobach,et al.  Debugging and Semantic Clarification by Pinpointing , 2005, ESWC.

[15]  Ronald Cornet,et al.  Usability of expressive description logics-a case study in UMLS , 2002, AMIA.

[16]  José L. V. Mejino,et al.  Research Paper: Motivation and Organizational Principles for Anatomical Knowledge Representation: The Digital Anatomist Symbolic Knowledge Base , 1998, J. Am. Medical Informatics Assoc..

[17]  Vipul Kashyap,et al.  Representing the UMLS Semantic Network Using OWL: (Or "What's in a Semantic Web Link?") , 2003, SEMWEB.

[18]  Mark A. Musen,et al.  PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment , 2000, AAAI/IAAI.

[19]  Volker Haarslev,et al.  Racer: An OWL Reasoning Agent for the Semantic Web , 2003 .

[20]  Stefan Schulz,et al.  Logic-based Remodeling of the Digital Anatomist Foundational Model , 2003, AMIA.