Improving Biomedical Ontologies with Automated Reasoning
Author Information
Author(s): Hoehndorf Robert, Dumontier Michel, Oellrich Anika, Rebholz-Schuhmann Dietrich, Schofield Paul N., Gkoutos Georgios V.
Primary Institution: Department of Genetics, University of Cambridge
Hypothesis
Can automated reasoning improve the interoperability and consistency of biomedical ontologies?
Conclusion
The study demonstrates a method to enhance biomedical ontologies, identifying and repairing thousands of contradictory class definitions.
Supporting Evidence
- The method identified several thousand contradictory class definitions in biomedical ontologies.
- Automated reasoning was used to verify the consistency of knowledge in the ontologies.
- The study highlights the importance of formalizing the semantics of terms and relations in ontologies.
Takeaway
This study shows how to make complex biological data easier to understand and use by fixing mistakes in the way we describe it.
Methodology
The authors developed a method to formalize biomedical ontologies using OWL and automated reasoning to identify and repair contradictions.
Limitations
The method relies on the quality of the underlying ontologies and may not address all inconsistencies.
Digital Object Identifier (DOI)
Want to read the original?
Access the complete publication on the publisher's website