Visualising Proofs and the Modular Structure of
Ontologies to Support Ontology Repair

DL 2020 submission number 45

Click here to download the modified Pizza Ontology used in the paper.