onto-debugger.md

@@ -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