GitHub repository: JPL-IMCE/ecco
Description: a diff tool for OWL 2 ontologies