... | ... | @@ -275,7 +275,7 @@ The icon opens a repair interface to manually change or delete the problematic a |
|
|
|
|
|
#### Explanations
|
|
|
|
|
|
In addition the user can get an explanation (if enabled) of why the currently selected axiom is problematic. There are two possible reasons why an axiom from the ontology repair may be problematic:
|
|
|
In addition the user can get an explanation (by pressing on ![image](uploads/2b29307acc4921cecf765080c49afeb3/image.png)) of why the currently selected axiom is problematic. There are two possible reasons why an axiom from the ontology repair may be problematic:
|
|
|
* either it is responsible for an inconsistency/incoherency
|
|
|
* or it is responsible for the entailment of at least one axiom that has been explicitly declared as non-entailed by the user.
|
|
|
* Otherwise the axiom has been repaired.
|
... | ... | @@ -290,7 +290,7 @@ From the example shown above the explanation for the selected axiom ``Quokka Sub |
|
|
|
|
|
We can either change the axioms in such a way that the fault is resolved by editing the axiom ![edit icon](/uploads/7deb9bce341b4cbacf707fd50a3fdf14/image.png) or simply by deleting the axiom ![delete icon](/uploads/2cccbc824322fc4fd8dd25ca8cd59a35/image.png). Deleted axiom are shown in grey color with a leading comment symbol (//).
|
|
|
|
|
|
As long as the user does not commit the changes to the ontology, she can still restore deleted and edited axioms to it's original version ![restore icon](/uploads/6c4bc5e57a4a09904bbe5addcfce19c8/image.png).
|
|
|
As long as the user does not commit the changes to the ontology, she can still restore deleted and edited axioms to it's original version ![restore icon](uploads/5c92f3036fcb8b42333cd802c0b4b9f3/image.png).
|
|
|
|
|
|
The user can commit the changes by pressing the OK button. Pressing the cancel button ignores any changes. Once the changes are committed to the ontology the debugger checks if the ontology is consistent/coherent and either informas the user that the ontology is correct or restarts a new debugging session if there are still problems with the correctness of the ontology.
|
|
|
|
... | ... | |