... | ... | @@ -127,7 +127,7 @@ and |
|
|
|
|
|
These two axioms are to be understood as questions generated from the Ontology Debugger given to us (for this introduction let us assume that we are experts in the domain of Marsupials).
|
|
|
|
|
|
Note that the questions either may be axioms already stated in the ontology or axioms that are logically inferred in our ontology. Logical inferences are consequences that follow from explicit axioms in the ontology. In this particular case these two axioms are indeed explicitly defined in the ontology. They can be found in the set of Possibly Faulty Axioms section of the Input Ontology view (you can use the search function). Such inferred axioms are highlighted by a yellow background color.
|
|
|
Note that the questions either may be axioms already stated in the ontology or axioms that are logically inferred in our ontology. Logical inferences are consequences that follow from explicit axioms in the ontology. In this particular case these two axioms are indeed explicitly defined in the ontology. They can be found in the set of Possibly Faulty Axioms section of the Input Ontology view (you can use the search function). Inferred axioms are highlighted in a yellow background color.
|
|
|
|
|
|
The user has to answer _at least one_ of these quersions question.
|
|
|
|
... | ... | |