Automatic Support for Formative Ontology Evaluation

Just as testing is an integral part of software engineering, so is ontology evaluation an integral part of ontology engineering. We have implemented automated support for formative ontology evaluation based on the two principles of i) checking for compliance with modelling guidelines and ii) reviewing entailed statements in MoKi, a wiki based ontology engineering environment. These principles exist in state of the art literature and good ontology engineering and evaluation practice, but have not so far been widely integrated into ontology engineering tools.