@@ -87,7 +87,7 @@ Let's press the button Start to start a new debugging session!
The ontology debugger first checks if the ontology is consistent/coherent.
If you debug a consistent / coherent ontology, the debugger recognizes the correctness of the ontology and informs the user about the correctness of her ontology. The camera ontology (http://protege.stanford.edu/ontologies/camera.owl) for example would be such a consistent and coherent ontology - no further debugging is then necessary.
If you debug a consistent / coherent ontology, the debugger recognizes the correctness of the ontology and informs the user about the correctness of her ontology. The camera ontology (http://protege.stanford.edu/ontologies/camera.owl) for example would be such a consistent and coherent ontology - no further debugging is necessary.
*A information pops up if the ontology meets the requirements (coherency and/or consistency)*
Since our Koala ontology is incoherent it will present us the following two statements as part of the first query:
