Alignment of the UMLS semantic network with BioTop: Methodology and assessment

Motivation: For many years, the Unified Medical Language System (UMLS) semantic network (SN) has been used as an upper-level semantic framework for the categorization of terms from terminological resources in biomedicine. BioTop has recently been developed as an upper-level ontology for the biomedical domain. In contrast to the SN, it is founded upon strict ontological principles, using OWL DL as a formal representation language, which has become standard in the semantic Web. In order to make logic-based reasoning available for the resources annotated or categorized with the SN, a mapping ontology was developed aligning the SN with BioTop. Methods: The theoretical foundations and the practical realization of the alignment are being described, with a focus on the design decisions taken, the problems encountered and the adaptations of BioTop that became necessary. For evaluation purposes, UMLS concept pairs obtained from MEDLINE abstracts by a named entity recognition system were tested for possible semantic relationships. Furthermore, all semantic-type combinations that occur in the UMLS Metathesaurus were checked for satisfiability. Results: The effort-intensive alignment process required major design changes and enhancements of BioTop and brought up s

Content-specific auditing of a large scale anatomy ontology

Biomedical ontologies are envisioned to be usable in a range of research and clinical applications. The requirements for such uses include formal consistency, adequacy of coverage, and possibly other domain specific constraints. In this report we describe a case study that illustrates how application specific requirements may be used to identify modeling problems as well as data entry errors in ontology building and evolution. We have begun a project to use the UW Foundational Model of Anatomy (FMA) in a clinical application in radiation therapy planning. This application focuses mainly (but not exclusively) on the representation of the lymphatic system in the FMA, in order to predict the spread of tumor cells to regional metastatic sites. This application requires that the downstream relations associated with lymphatic system components must only be to other lymphatic chains or vessels, must be at the appropriate level of granularity, and that every path through the lymphatic system must terminate at one of the two well known trunks of the lymphatic system. It is possible through a programmable query interface to the FMA to write small programs that systematically audit the FMA for compliance with these constraints. We report on the design of some of these programs, and the results we obtained by applying them to the lymphatic system. The algorithms and approach are generalizable to other network organ systems in the FMA such as arteries and veins. In addition to illustrating exact constraint checking methods, this work illustrates how the details of an application may reflect back a requirement to revise the design of the ontology itself

A formal theory for spatial representation and reasoning in biomedical ontologies

Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomedical ontologies and for enhancing their automatic reasoning capabilities. Method and Materials: This paper presents a formal theory of parthood and location relations among individuals, called Basic Inclusion Theory (BIT). Since biomedical ontologies are comprised of assertions about classes of individuals (rather than assertions about individuals), we define parthood and location relations among classes in the extended theory BIT+Cl (Basic Inclusion Theory for Classes). We then demonstrate the usefulness of this formal theory for making the logical structure of spatial information more precise in two ontologies concerned with human anatomy: the Foundational Model of Anatomy (FMA) and GALEN. Results: We find that in both the FMA and GALEN, class-level spatial relations with different logical properties are not always explicitly distinguished. As a result, the spatial information included in these biomedical ontologies is often ambiguous and the possibilities for implementing consistent automatic reasoning within or across ontologies are limited. Conclusion: Precise formal characterizations of all spatial relations assumed by a biomedical ontology are necessary to ensure that the information embodied in the ontology can be fully and coherently utilized in a computational environment. This paper can be seen as an important beginning step toward achieving this goal, but much more work is along these lines is required