Demo
The following screenshots show how to use RaDON plugin in NeOn Toolkit to deal with inconsistency and incoherence in an ontology:
Figure 1. To debug or repair an ontology, right-click this ontology in the view of OntologyNavigator in NeOn Toolkit and select the item of "Debug and Repair...". Then our "Debug and Repair Ontology View" is invoked. At the same time, the logical and physical URIs of this chosen ontology and the size of all axioms are shown. Besides, we also show some information about whether this ontology is inconsistent or incoherent and how many unsatisfiable concepts.
Figure 2. To compute MUPS / MIPS / MIS. If the test ontology is incoherent, user can obtain all MUPS and / or MIPS by pressing the buttons "Compute MUPS" and / or "Compute MIPS" respectively. The corresponding sections will be expanded accordingly. Similarly to compute MIS.
Figure 3. To repair automatically. According to the obtained MUPS / MIPS / MIS, user can repair the ontology automatcially or manually by using the corresponding button provided in each section. The proposed axioms to be removed to keep the coherence or consistency of the ontology are shown in a new dialog. In this new dialog, the proposed axioms will be removed from the test ontology is the button of "OK" is pressed. Otherwise, no action is performed for the button of "Cancel".
Figure 4. To repair manually. If the button of "Repair Manually" in a section is pressed, a new dialog will be displayed to the user with MIPS if the button located in the section of MUPS or MIPS or with MIS if the buttonlocated in the section of MIS. In this new dialog, user could choose the axioms to be removed by clicking the label of "Remove" before an axiom. And the selected axioms are shown in the area of "Removed Axioms". User could withdraw his/her decision by clicking "Undo" label. After selecting the axioms to be removed, user can confirm his/her decision by clicking the button of "Confirm Removing" which will removed the selected axioms from the test ontology.
|
