Code to generate justifications (explanations) for entailments of OWL ontologies.