Currently, we provide two plug-ins for repair and diagnosis. One is to repair a single ontology and another one is to repair mappings between two source ontologies which costraucts a smallest ontology network. To facilitate users to use our plug-ins, we demonstrate the main steps in demo 1 and demo 2 respectively.
