... | ... | @@ -65,7 +65,7 @@ Below the set of acquired test cases there will also be shown original test case |
|
|
|
|
|
The left part finally shows us the most important information during a debugging session.
|
|
|
|
|
|
Firt we have 3 buttons:
|
|
|
First we have 3 buttons:
|
|
|
- Start to start a new debugging session. Once a session has been started this button changes to restart. This let's the user restart a running session. ![start](/uploads/b93fbef049714ac66a819709aa3015e8/start.PNG)
|
|
|
- Stop to stop a running session. As long there is no running session this button is greyed out ![stop](/uploads/9a5f30421341fa4ff1a2f94437f6d52d/stop.PNG)
|
|
|
- Submit to answer a query. As long as a session has not been started ad the user has not classified a formulated axiom in the query as entailed or non-entailed this button is greyed out. ![submit](/uploads/06b7a61d7a3d6f8fac58bc4ba7a31730/submit.PNG)
|
... | ... | @@ -82,11 +82,11 @@ Let us ignore these two axioms at first and let us concentrate on the lower part |
|
|
Such possibly faulty axioms are calculated once the session has started or the user has given an answer to compute one or more queries. So the query given above are a result of the sets of possibly faulty axioms below. Each set of possibly faulty axioms are based on _minimal conflicts sets_ which can be shown in the Ontology Debugger's __Conflicts__ tab. **Note** that the conflict sets can only be calculated using *HS-Tree* and *HS-DAG* as *Diagnosis Engine Type* (selectable in the debuggers preferences).
|
|
|
|
|
|
### Step 5 Anwer the first query
|
|
|
Given the session from above, the right section will show us the following question to be answered by an expert: ```hasDegree Domain Person``` and ```isHardWorking Domain Person```.
|
|
|
Given the session from above, the queries section will show us the following question to be answered: ```hasDegree Domain Person``` and ```isHardWorking Domain Person```.
|
|
|
|
|
|
These two axioms are to be understood as questions generated from the Ontology Debugger given to the expert. Note that the questions may be axioms already stated in the ontology or logically entailed axioms given the axioms in the ontology.
|
|
|
These two axioms are to be understood as questions generated from the Ontology Debugger given to us (let us assume that we are experts in the domain of Marsupials). Note that the questions may be axioms already stated in the ontology or logically entailed axioms given the axioms in the ontology.
|
|
|
|
|
|
The expert now has to answer _at least one_ question. If the expert thinks this statement or axiom is true, he answers by clicking on the ![plus0](/uploads/53e6de21ab2264a301910e4e31cbc7e4/plus0.PNG) icon (__Entailed__). If he believes that this statement is false, he answers by clicking on the ![minus0](/uploads/10c449a582f342be1211599213c6480b/minus0.PNG) icon (__Not Entailed__).
|
|
|
The expert has to answer _at least one_ question. If the expert thinks this statement or axiom is true, she answers by clicking on the ![plus0](/uploads/53e6de21ab2264a301910e4e31cbc7e4/plus0.PNG) icon (__Entailed__). If she believes that this statement is false, she answers by clicking on the ![minus0](/uploads/10c449a582f342be1211599213c6480b/minus0.PNG) icon (__Not Entailed__).
|
|
|
|
|
|
In our example we assume both axioms as correct since hasDegree is a domain of a person and persons are hardworking. Please note that as soon as the user answers/classifies one axiom the submit button is getting active.
|
|
|
|
... | ... | @@ -98,12 +98,10 @@ Acknowledging this decision by pressing __Submit__ list both axioms in the list |
|
|
|
|
|
### Step 6 Answer all queries until the Debugger gives us a solution
|
|
|
|
|
|
Since we still have no solution the next set of diagnoses and queries are calculated immediately after our first submission. If we continue answering the questions we should finally find a diagnosis corresponding to our test cases and which represents the possibly faulty axioms in the ontology.
|
|
|
Since we still have no solution the next set of diagnoses and queries are calculated immediately after our first submission. If we continue answering the questions we should finally find a final set of faulty axioms (a diagnosis) corresponding to our test cases and which represents the possibly faulty axioms in the ontology.
|
|
|
|
|
|
![finalstep](/uploads/aa1cd5248e7c58b7455ae330bcaafc86/finalstep.PNG)
|
|
|
|
|
|
**Hint**: You can reproduce the answers and the resulting diagnoses with the **Acquired test cases ** view in the mid section.
|
|
|
|
|
|
Our debugging session ended with a found set of 3 faulty axioms:
|
|
|
- [x] ```KoalaWithPhD EquivalentTo Koala and (hasDegree value PhD)```
|
|
|
- [x] ```Quokka SubClassOf isHardWorking value true```
|
... | ... | @@ -111,6 +109,8 @@ Our debugging session ended with a found set of 3 faulty axioms: |
|
|
and
|
|
|
- [x] ```Koala SubClassOf isHardWorking value false```.
|
|
|
|
|
|
**Hint**: You can reproduce this final set of faulty axioms by looking at the given answers in the **Acquired test cases ** view in the mid section in the picture above.
|
|
|
|
|
|
# Preference settings for the Ontology Debugger Plug-In in Protégé
|
|
|
|
|
|
The above debugging session was using the default settings and the *HermiT* solver. You can change these settings in the debugger preferences in ```File->Preferences```
|
... | ... | |