The Protege-OWL editor is an extension of Protege that supports the Web Ontology Language (OWL).
Protege-OWL
Logical Difference Vizualiser (LogDiffViz)