Searched refs:goal (Results 1 - 4 of 4) sorted by relevance

/hets/OWL2/java/de/unibremen/informatik/FactProver/
H A DFactProver.java89 private OWLAxiom goal; field in class:FactProver
113 this.goal = it.next();
120 if (goal instanceof OWLObjectPropertyAssertionAxiom) {
122 (OWLObjectPropertyAssertionAxiom) goal;
130 if (goal instanceof OWLClassAssertionAxiom) {
131 OWLClassAssertionAxiom g = (OWLClassAssertionAxiom) goal;
138 if (goal instanceof OWLDataPropertyAssertionAxiom) {
140 (OWLDataPropertyAssertionAxiom) goal;
148 if (goal instanceof OWLEquivalentClassesAxiom) {
149 OWLEquivalentClassesAxiom g = (OWLEquivalentClassesAxiom) goal;
[all...]
/hets/FreeCAD/specifications/
H A Dgoals.tex58 boxes, and cylinders. The goal is to specify the semantics for each of
/hets/doc/
H A DUserGuideCommonLogic.tex1168 The top list on the left shows all goal names prefixed with their proof
1169 status in square brackets. A proved goal is indicated by a `+', a `–'
1170 indicates a disproved goal, a space denotes an open goal, and a
1201 proved goal the used axioms, its proof script, and its proof are shown ---
H A DUserGuide.tex1235 Theorems'' is selected. (If a theory is consistent with a negated goal, the
1236 goal is disproven.)
1563 The top list on the left shows all goal names prefixed with the proof
1564 status in square brackets. A proved goal is indicated by a `+', a `-'
1565 indicates a disproved goal, a space denotes an open goal, and a
1583 proved goal the used axioms, its proof script, and its proof are shown ---

Completed in 21 milliseconds