Engine for calculating differences between two OWL ontologies.