1. A method comprising: loading a first ontology associated with a first rule set; generating an extended ontology and an extended rule set based at least in part on the first ontology and the first rule set; applying the extended rule set to the extended ontology; determining, by a data processor, a correctness of the extended ontology; and generating results comprising the correctness.