RaDON

by Qiu Ji

A component for diagnosis an repair

Versions & Compatibility

This section shows available versions of RaDON and for each version its compatible application versions and necessary plugins.

Changelog

Functional Description

The purpose of the RaDON plugin is to deal with inconsistency and incoherence occurring in networked ontologies. Specifically, RaDON provides the following functionalities:

• Compute all Minimal Unsatisfiability-Preserving Subsets (MUPS): This functionality corresponds to the button of "Compute MUPS" which can be activated if the ontology is incoherent;
• Compute the Minimal Incoherence-Preserving Subsets (MIPS): This corresponds to the button of "Compute MIPS" which is activated if the ontology is incoherent;
• Compute all Minimal Inconsistent Subsets (MIS): It corresponds to the button of "Compute MIS" which is activated if the ontology is inconsistent;
• Repair automatically: This corresponds to the button of "Repair Automatically". This functionality is used basing on the found MUPS or MIPS or MIS. If MUPS/MIPS/MIS are computed, the section of MUPS/MIPS/MIS will be expanded automatically. And if the button of "Repair Automatically" in this section is pressed, our algorithm will provide some axioms to be removed to keep the coherence of the ontology;
• Repair manually: This corresponds to the button of "Repair Manually" which is located in each section like the button of "Repair Automatically". If this button is activated, a new dialog will be shown with the information of MIPS or MIS. User could choose the axioms to be removed.

User Documentation

1. The user interface for debugging and repairing is a view of "Debug and Repair Ontology View".

2. Figure 1. How to invoke our view? To debug or repair different ontologies, right-click an 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.

3. 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.

4. 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".</font></p>

5. 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 button located 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.

Category: Plugin