Improving ontologies by automatic reasoning and evaluation of logical definitions.

Improving ontologies by automatic reasoning and evaluation of logical definitions.