... | ... | @@ -250,6 +250,12 @@ You can reproduce the provided solution either by taking a look at the given ans |
|
|
|
|
|
Note that the axioms ```Quokka SubClassOf Person```as well as ```Koala DisjointWith Person``` among the acquired test cases are axioms **inferred** by the Ontology Debugger that have been presented in queries. That is, these axioms are not listed in the Input Ontology.
|
|
|
|
|
|
The debugging session described in this tutorial can be seen in the following animation:
|
|
|
|
|
|
![ontodebug_in_action](/uploads/ba367c789d4becd83fff977a9ee6456e/ontodebug_in_action.gif)
|
|
|
|
|
|
*The animated debugging session described in the tutorial*
|
|
|
|
|
|
### Step 8: Repair the ontology
|
|
|
|
|
|
Once an ontology repair has been identified - either by the debugging process itself or as soon as the user identifies the problematic axioms during the debugging session by herself - the user can **repair** the problematic axioms by pressing the repair icon ![repair](/uploads/eca7e2ec3b3b3e8ca20d5444f51b5361/repair.png).
|
... | ... | @@ -281,12 +287,6 @@ As long as the user does not commit the changes to the ontology, she can still r |
|
|
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.
|
|
|
|
|
|
|
|
|
The debugging session described in this tutorial can be seen in the following animation:
|
|
|
|
|
|
![debuggingsession_koala](/uploads/9df03436e6fb58cc3a77aa6049e47226/debuggingsession_koala.gif)
|
|
|
|
|
|
*The animated debugging session described in the tutorial*
|
|
|
|
|
|
### Step 9: Searching the knowledge base
|
|
|
We can verify that the axiom ```Quokka SubClassOf Person```is indeed an inferred axiom by searching the knowledge base (possibly faulty axioms) for axioms containing the search expression ```Quokka``` using the search bar in the input ontology view.
|
|
|
|
... | ... | |