... | ... | @@ -23,7 +23,7 @@ Once the ontology is loaded you can open the Exquisite Ontology Debug Tab (*Exqu |
|
|
|
|
|
The Exquisite Ontology Debugging Tab is split up into four differen views: the diagnoses view which enables the user to calculate and view the diagnoses of the current diagnoses model. A conflicts view that lists the minimal conflict set. A view for the diagnoses model and one view for the testcases. These two views consist of an explicit declaration of axioms (the _diagnoses model_) that are possibly faulty (we name them the _knowledge base_), axioms which are correct (or the _background knowledge_) as well as entailed and not entailed axioms, which must or must not be concluded from the diagnoses model. Additionally we also list positive and negative test cases.
|
|
|
|
|
|
![debugger](/uploads/b18b3ea12f8ee4e7e14b07676abbc080/debugger.PNG)
|
|
|
![debugger](/uploads/0379f2d5d842519e812a506ca5d1c2bd/debugger.PNG)
|
|
|
|
|
|
Please note currently when loading an ontology the debugger automatically assigns simple axioms to the list of correct axioms (also called background knowledge).
|
|
|
|
... | ... | |