... | @@ -21,6 +21,7 @@ For this document we are using [our example ontology](/uploads/f100242ac5e8c6558 |
... | @@ -21,6 +21,7 @@ For this document we are using [our example ontology](/uploads/f100242ac5e8c6558 |
|
|
|
|
|
#### The Exquisite Ontology Debugging Tab
|
|
#### The Exquisite Ontology Debugging Tab
|
|
Open the Exquisite Ontology Debug Tab (*Exquisite Debugger -> Open Exquisite Ontology Debug Tab*).
|
|
Open the Exquisite Ontology Debug Tab (*Exquisite Debugger -> Open Exquisite Ontology Debug Tab*).
|
|
|
|
|
|
![debugger](/uploads/b18b3ea12f8ee4e7e14b07676abbc080/debugger.PNG)
|
|
![debugger](/uploads/b18b3ea12f8ee4e7e14b07676abbc080/debugger.PNG)
|
|
|
|
|
|
# Diagnoses
|
|
# Diagnoses
|
... | @@ -39,6 +40,7 @@ Next let us see what option we do have for the diagnoses search. Select *Exquisi |
... | @@ -39,6 +40,7 @@ Next let us see what option we do have for the diagnoses search. Select *Exquisi |
|
Once you set up the preferences, you can start the search by clicking the *Search Diagnoses* button. Note that the process might take a while for large ontologies. Currently we are working on a design of a window informing you about the progress of the search.
|
|
Once you set up the preferences, you can start the search by clicking the *Search Diagnoses* button. Note that the process might take a while for large ontologies. Currently we are working on a design of a window informing you about the progress of the search.
|
|
|
|
|
|
In our example we will get these diagnoses:
|
|
In our example we will get these diagnoses:
|
|
|
|
|
|
![diagnoses](/uploads/216e58d304370983784d2b4d480777e1/diagnoses.PNG)
|
|
![diagnoses](/uploads/216e58d304370983784d2b4d480777e1/diagnoses.PNG)
|
|
|
|
|
|
_Please note_: when you want to select another reasoner for diagnoses calculation you have to choose *Exquisite Debugger->Options* once to make the reasoner selection effective (known bug).
|
|
_Please note_: when you want to select another reasoner for diagnoses calculation you have to choose *Exquisite Debugger->Options* once to make the reasoner selection effective (known bug).
|
... | @@ -65,4 +67,4 @@ If we have set the options and did get some diagnoses, we can press the *Get Que |
... | @@ -65,4 +67,4 @@ If we have set the options and did get some diagnoses, we can press the *Get Que |
|
![queries](/uploads/a3d1a3f3663893e27ee39c34c915bd65/queries.PNG)
|
|
![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.
|
|
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 |
|
Get Alternative Query and commit will be implemented soon. |
|
\ No newline at end of file |
|
\ No newline at end of file |