Sebastian Köhler, Sebastian Bauer, Chris Mungall, Gabriele Carletti, Cynthia L. Smith, Paul N. Schofield, Georgios V. Gkoutos, Peter N. Robinson. Improving ontologies by automatic reasoning and evaluation of logical definitions. BMC Bioinformatics, 12:418, 2011. [doi]
Abstract is missing.