... | ... | @@ -21,7 +21,7 @@ Once the ontology is loaded you can open the Exquisite Ontology Debug Tab (*Exqu |
|
|
|
|
|
#### The Exquisite Ontology Debugging Tab
|
|
|
|
|
|
For this document we are using [our example ontology](/uploads/f100242ac5e8c655833a21e3ec9143e6/running_example_annotated.owl) with 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. You will see this explicit declaration in our Ontology Debug Tab.
|
|
|
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)
|
|
|
|
... | ... | |