Skip to main page content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Access keys NCBI Homepage MyNCBI Homepage Main Content Main Navigation
. 2011;6(7):e22006.
doi: 10.1371/journal.pone.0022006. Epub 2011 Jul 18.

Interoperability between biomedical ontologies through relation expansion, upper-level ontologies and automatic reasoning

Affiliations

Interoperability between biomedical ontologies through relation expansion, upper-level ontologies and automatic reasoning

Robert Hoehndorf et al. PLoS One. 2011.

Abstract

Researchers design ontologies as a means to accurately annotate and integrate experimental data across heterogeneous and disparate data- and knowledge bases. Formal ontologies make the semantics of terms and relations explicit such that automated reasoning can be used to verify the consistency of knowledge. However, many biomedical ontologies do not sufficiently formalize the semantics of their relations and are therefore limited with respect to automated reasoning for large scale data integration and knowledge discovery. We describe a method to improve automated reasoning over biomedical ontologies and identify several thousand contradictory class definitions. Our approach aligns terms in biomedical ontologies with foundational classes in a top-level ontology and formalizes composite relations as class expressions. We describe the semi-automated repair of contradictions and demonstrate expressive queries over interoperable ontologies. Our work forms an important cornerstone for data integration, automatic inference and knowledge discovery based on formal representations of knowledge. Our results and analysis software are available at http://bioonto.de/pmwiki.php/Main/ReasonableOntologies.

PubMed Disclaimer

Conflict of interest statement

Competing Interests: The authors have declared that no competing interests exist.

Figures

Figure 1
Figure 1. Taxonomy of the upper-level ontology.
The four classes Material object, Process, Quality and Function are mutually disjoint.
Figure 2
Figure 2. Overview of method and results.
Figure 3
Figure 3. Local contradiction in the Cell type Ontology.
The contradictory class definition arises from the assertion that Spore is both a Prokaryotic cell and a Fungal cell. Fungal cell is a kind of Eukaryotic cell which is disjoint from Prokaryotic cell.
Figure 4
Figure 4. Global contradiction in the GO-XP.
The contradiction arises from the inference that Immune system process is a kind of System process. System process is a kind of Multicellular organismal process which is disjoint from Cellular process.
Figure 5
Figure 5. Contradiction in the GO-XP arising from faulty class definition due to homonymy.
Mucus secretion is asserted to be a subclass of Secretion, an anatomical entity in the UBERON ontology which is a kind of Material object. Due to the domain and range restrictions of the relation results-in-release-of, Mucus secretion is inferred to become a kind of Process, which is disjoint from Material object. Use of the class Secretion from GO would have prevented this error.

References

    1. Smith B, Ashburner M, Rosse C, Bard J, Bug W, et al. The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration. Nat Biotech. 2007;25:1251–1255. - PMC - PubMed
    1. Ruttenberg A, Clark T, Bug W, Samwald M, Bodenreider O, et al. Advancing translational research with the semantic web. BMC Bioinformatics. 2007;8:S2+. - PMC - PubMed
    1. Schulz S, Hahn U. Part-whole representation and reasoning in formal biomedical ontologies. Artifical Intelligence in Medicine. 2005;34:179–200. - PubMed
    1. Rector A, Rogers J, Bittner T. Granularity, scale and collectivity: When size does and does not matter. Journal of Biomedical Informatics. 2006;39:333–349. - PubMed
    1. Schulz S, Beisswanger E, Wermter J, Hahn U. Towards an upper level ontology for molecular biology. AMIA Annu Symp Proc. 2006:694–698. - PMC - PubMed

Publication types