Searched defs:goal (Results 1 - 1 of 1) 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...]

Completed in 10 milliseconds