Improving ontologies by automatic reasoning and evaluation of logical definitions. - Sebastian Köhler 001; Sebastian Bauer 002; Chris Mungall; Gabriele Carletti; Cynthia L. Smith; Paul N. Schofield; Georgios V. Gkoutos; Peter N. Robinson (BMC Bioinform., 2011)