Showing 1 - 1 results of 1 for search '"Automated reasoning"', query time: 0.06s Refine Results
  1. 1

    Logical Development of the Cell Ontology by Blake Judith A, Cowell Lindsay G, Abdulla Amina, Masci Anna, Meehan Terrence F, Mungall Christopher J, Diehl Alexander D

    Published 2011-01-01
    “…By making the information in the ontology computable, we can use automated reasoners to detect errors and assist with classification. …”
    Get full text
    Article