Improving ontologies by automatic reasoning and evaluation of logical definitions

Sebastian Kohler, Sebastian Bauer, Chris J Mungall, Gabriele Carletti, Cynthia L Smith, Paul Schofield, Georgios Vasileios Gkoutos & Peter N Robinson
Abstract Background Ontologies are widely used to represent knowledge in biomedicine. Systematic approaches for detecting errors and disagreements are needed for large ontologies with hundreds or thousands of terms and semantic relationships. A recent approach of defining terms using logical definitions is now increasingly being adopted as a method for quality control as well as for facilitating interoperability and data integration. Results We show how automated reasoning over logical definitions of ontology terms can be...

This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.