... | ... | @@ -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.
|
|
|
|
|
|
So, 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/koala.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 then necessary.
|
|
|
![coherent_ontology](/uploads/2068ac4641163ca52b146085b79bc43e/coherent_ontology.PNG) *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:
|
... | ... | |