@@ -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.
Please note currently when loading an ontology the debugger automatically assigns simple axioms to the list of correct axioms (also called background knowledge).
