Changes

Page history
fixed wrong ontology url for camera ontology authored by Wolfgang Schmid's avatar Wolfgang Schmid
Show whitespace changes
Inline Side-by-side
onto-debugger.md
View page @ 770f8ff7
...@@ -70,10 +70,8 @@ __Correct Axioms__ are axioms that are assumed to be correct beforehand and are ...@@ -70,10 +70,8 @@ __Correct Axioms__ are axioms that are assumed to be correct beforehand and are
##### Possibly Faulty Axioms ##### Possibly Faulty Axioms
The list of __Possibly Faulty Axioms__ represents the set of axioms that might be erroneous and thus might be the cause for the inconsistencies / incoherencies in your ontology. A subset of these axiom will finally be proposed as the possible repair set to resolve the ontology's inconsistency / incoherency. The list of __Possibly Faulty Axioms__ represents the set of axioms that might be erroneous and thus might be the cause for the inconsistencies / incoherencies in your ontology. A subset of these axiom will finally be proposed as the possible repair set to resolve the ontology's inconsistency / incoherency.
**Note**: When loading the *Koala ontology* the debugger automatically separates axioms of ```AxiomType ClassAssertion``` from the set of axioms and marks them as *Correct Axioms*. All other 36 logical axioms are *Possibly Faulty* axioms. As long as the Debugging Session has not been started, the user can modify the two lists by clicking on the icons ![possibly_Faulty](/uploads/d152029365ddc44a0946c68e3ece74b7/possibly_Faulty.PNG) and ![correct](/uploads/433f214d1523b2ec6c3ba2ef66aa83f9/correct.PNG) to assume axioms to be either _possibly faulty_ or _correct_, respectively.
##### Moving axioms ##### Moving axioms
As long as there is no running debugging session the user can move axiom from possibly faulty axioms to the correct axioms if she knows that the axiom is correct. **Note**: When loading the *Koala ontology* the debugger automatically separates axioms of ```AxiomType ClassAssertion``` from the set of axioms and marks them as *Correct Axioms*. All other 36 logical axioms are *Possibly Faulty* axioms. As long as the Debugging Session has not been started, the user can modify the two lists by clicking on the icons ![possibly_Faulty](/uploads/d152029365ddc44a0946c68e3ece74b7/possibly_Faulty.PNG) and ![correct](/uploads/433f214d1523b2ec6c3ba2ef66aa83f9/correct.PNG) to assume axioms to be either _possibly faulty_ or _correct_, respectively.
#### Test Cases #### Test Cases
In the mid section the so called **acquired** and **original test cases** of the current debugging session are shown. In the mid section the so called **acquired** and **original test cases** of the current debugging session are shown.
... ...
......