Functionalities
Before representing the functionalities of RaDON, some terminologies involved are introduced first :
- Unsatisfiable concept : A named concept C in an ontology O is unsatisfiable iff., for each interpretation of O, the interpretation of C is empty.
- Incoherent ontology : An ontology O is incoherent if there exists an unsatisfiable concept in O.
- Inconsistent ontology : An ontology O is inconsistent iff it has no interpretation.
The implemented functionalities basically support the individual steps of our approach to resolving inconsistency and incoherence. In particular, the implementation supports the following tasks of the process and the corresponding implementation in RaDON plugin is shown:
- 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.
|
