... | @@ -129,7 +129,7 @@ These two axioms are to be understood as questions generated from the Ontology D |
... | @@ -129,7 +129,7 @@ These two axioms are to be understood as questions generated from the Ontology D |
|
|
|
|
|
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.
|
|
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.
|
|
The user has to answer _at least one_ of these queries.
|
|
|
|
|
|
If the user thinks a statement in the query is true, she answers by clicking on the ![plus0](/uploads/53e6de21ab2264a301910e4e31cbc7e4/plus0.PNG) icon (__Yes, this statement is true__) next to it.
|
|
If the user thinks a statement in the query is true, she answers by clicking on the ![plus0](/uploads/53e6de21ab2264a301910e4e31cbc7e4/plus0.PNG) icon (__Yes, this statement is true__) next to it.
|
|
|
|
|
... | | ... | |