... | ... | @@ -55,3 +55,19 @@ Using the diagnoses we can interview the expert if some axioms are entailed or n |
|
|
#### The Exquisite Ontology Interactive Debugging Tab
|
|
|
**Please note that some functionality in this tab is not implemented yet.**
|
|
|
Open the Exquisite Ontology Interactive Debug Tab (*Exquisite Debugger -> Open Exquisite Ontology Interactive Debug Tab*).
|
|
|
|
|
|
We should still see the diagnoses from our previous step. So we can ask the expert by pressing the button *Get Query*. But before we do that let us check which options and preferences are possible for query computation.
|
|
|
|
|
|
##### Options for Querying
|
|
|
Select *Exquisite Debugger->Options*
|
|
|
![options_queris](/uploads/38acca6a7fdda1f01cfa0e926b549825/options_queris.PNG)
|
|
|
|
|
|
We can define the minmal and maximal number of queries to compute. If the maximal number is smaller than the minimal, maximal equals minimal.
|
|
|
Next we can define if we want to enrich the queries, set the sort criterion, a requirements measurement and some threasholds (a detailled description of these options will follow soon).
|
|
|
|
|
|
### Ask the expert
|
|
|
If we have set the options and did get some diagnoses, we can press the *Get Query* button to generate a query.
|
|
|
![queries](/uploads/a3d1a3f3663893e27ee39c34c915bd65/queries.PNG)
|
|
|
|
|
|
The expert can now tell, if the axiom is entailed (+ sign) or not entailed (- sign). This feature and the Get Alternative Query and the Commit Buttons are not implemented yet.
|
|
|
Get Alternative Query and commit are |
|
|
\ No newline at end of file |