"Categorising logical differences between OWL ontologies."

Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics