GitHub repository: matthewhorridge/owlexplanation
Primary language: Java
Description: An API and reference implementation for generating justifications for entailments in OWL ontologies