Text this: Improving ontologies by automatic reasoning and evaluation of logical definitions