Cross Reference: /hets/OWL2/java/de/unibremen/informatik/FactProver/FactProver.java

Lines Matching refs:goal
89 	private OWLAxiom goal;
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;
164 		if (goal instanceof OWLSubClassOfAxiom) {
165 			OWLSubClassOfAxiom g = (OWLSubClassOfAxiom) goal;
171 		if (goal instanceof OWLDataPropertyRangeAxiom) {
174 		if (goal instanceof OWLDataPropertyDomainAxiom) {
175 			OWLDataPropertyDomainAxiom g = (OWLDataPropertyDomainAxiom) goal;
193 		if (goal instanceof OWLSubDataPropertyOfAxiom) {
194 			OWLSubDataPropertyOfAxiom g = (OWLSubDataPropertyOfAxiom) goal;
208 		if (goal instanceof OWLAsymmetricObjectPropertyAxiom) {
211 		if (goal instanceof OWLAnnotationAssertionAxiom) {
214 		if (goal instanceof OWLAnnotationAxiom) {
217 		if (goal instanceof OWLAnnotationPropertyDomainAxiom) {
220 		if (goal instanceof OWLAnnotationPropertyRangeAxiom) {
223 		if (goal instanceof OWLClassAxiom) {
226 		if (goal instanceof OWLDataPropertyAxiom) {
229 		if (goal instanceof OWLDataPropertyCharacteristicAxiom) {
232 		if (goal instanceof OWLDatatypeDefinitionAxiom) {
235 		if (goal instanceof OWLDeclarationAxiom) {
238 		if (goal instanceof OWLDifferentIndividualsAxiom) {
241 		if (goal instanceof OWLDisjointClassesAxiom) {
244 		if (goal instanceof OWLDisjointDataPropertiesAxiom) {
247 		if (goal instanceof OWLDisjointObjectPropertiesAxiom) {
250 		if (goal instanceof OWLDisjointUnionAxiom) {
253 		if (goal instanceof OWLIndividualAxiom) {
256 		if (goal instanceof OWLLogicalAxiom) {
259 		if (goal instanceof OWLNaryAxiom) {
262 		if (goal instanceof OWLNaryClassAxiom) {
265 		if (goal instanceof OWLNaryIndividualAxiom) {
268 		if (goal instanceof OWLNaryPropertyAxiom) {
271 		if (goal instanceof OWLObjectPropertyAxiom) {
274 		if (goal instanceof OWLObjectPropertyCharacteristicAxiom) {
277 		if (goal instanceof OWLPropertyAssertionAxiom) {
280 		if (goal instanceof OWLPropertyAxiom) {
283 		if (goal instanceof OWLPropertyDomainAxiom) {
286 		if (goal instanceof OWLPropertyRangeAxiom) {
289 		if (goal instanceof OWLSameIndividualAxiom) {
292 		if (goal instanceof OWLSubAnnotationPropertyOfAxiom) {
295 		if (goal instanceof OWLSubPropertyAxiom) {
298 		if (goal instanceof OWLSubPropertyChainOfAxiom) {
301 		if (goal instanceof OWLUnaryPropertyAxiom) {
304 		if (goal instanceof SWRLRule) {
307 		if (goal instanceof OWLEquivalentDataPropertiesAxiom) {
309 				(OWLEquivalentDataPropertiesAxiom) goal;
327 		if (goal instanceof OWLEquivalentObjectPropertiesAxiom) {
329 				(OWLEquivalentObjectPropertiesAxiom) goal;
348 		if (goal instanceof OWLFunctionalDataPropertyAxiom) {
350 				(OWLFunctionalDataPropertyAxiom) goal;
354 		if (goal instanceof OWLFunctionalObjectPropertyAxiom) {
356 				(OWLFunctionalObjectPropertyAxiom) goal;
360 		if (goal instanceof OWLInverseFunctionalObjectPropertyAxiom) {
362 				(OWLInverseFunctionalObjectPropertyAxiom) goal;
366 		if (goal instanceof OWLInverseObjectPropertiesAxiom) {
368 				(OWLInverseObjectPropertiesAxiom) goal;
379 		if (goal instanceof OWLIrreflexiveObjectPropertyAxiom) {
381 				(OWLIrreflexiveObjectPropertyAxiom) goal;
385 		if (goal instanceof OWLNegativeDataPropertyAssertionAxiom) {
387 				(OWLNegativeDataPropertyAssertionAxiom) goal;
395 		if (goal instanceof OWLNegativeObjectPropertyAssertionAxiom) {
397 				(OWLNegativeObjectPropertyAssertionAxiom) goal;
405 		if (goal instanceof OWLObjectPropertyAssertionAxiom) {
407 				(OWLObjectPropertyAssertionAxiom) goal;
415 		if (goal instanceof OWLObjectPropertyDomainAxiom) {
417 				(OWLObjectPropertyDomainAxiom) goal;
432 		if (goal instanceof OWLObjectPropertyRangeAxiom) {
433 			OWLObjectPropertyRangeAxiom g = (OWLObjectPropertyRangeAxiom) goal;
440 		if (goal instanceof OWLSubObjectPropertyOfAxiom) {
441 			OWLSubObjectPropertyOfAxiom g = (OWLSubObjectPropertyOfAxiom) goal;
456 		if (goal instanceof OWLReflexiveObjectPropertyAxiom) {
458 				(OWLReflexiveObjectPropertyAxiom) goal;
462 		if (goal instanceof OWLSymmetricObjectPropertyAxiom) {
464 				(OWLSymmetricObjectPropertyAxiom) goal;
468 		if (goal instanceof OWLTransitiveObjectPropertyAxiom) {
470 				(OWLTransitiveObjectPropertyAxiom) goal;
474 		System.out.println(goal);