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

Lines Matching refs:reasoner
78 import org.semanticweb.owlapi.reasoner.BufferingMode;
79 import org.semanticweb.owlapi.reasoner.Node;
80 import org.semanticweb.owlapi.reasoner.NodeSet;
81 import org.semanticweb.owlapi.reasoner.SimpleConfiguration;
88 	private FaCTPlusPlusReasoner reasoner;
98 		this.reasoner = new FaCTPlusPlusReasoner(ontology, 
126 			NodeSet<OWLNamedIndividual> ind = reasoner
135 				reasoner.getTypes(indi.asOWLNamedIndividual(), true);
144 			Set<OWLLiteral> litset = reasoner
157 							reasoner.getEquivalentClasses(cls[i]);
168 			NodeSet<OWLClass> c = reasoner.getSubClasses(top, true);
179 			NodeSet<OWLClass> dom = reasoner.getDataPropertyDomains(prop, true);
186 					Node<OWLClass> cl = reasoner.getEquivalentClasses(c);
199 				reasoner.getSuperDataProperties(sub, true);
321 					reasoner.getEquivalentDataProperties(itt.next());
342 					reasoner.getEquivalentObjectProperties(itt.next());
352 			return prop.isFunctional(reasoner.getRootOntology());
358 			return prop.isFunctional(reasoner.getRootOntology());
364 			return prop.isInverseFunctional(reasoner.getRootOntology());
372 				reasoner.getInverseObjectProperties(fst);
383 				.isIrreflexive(reasoner.getRootOntology());
392 				reasoner.getDataPropertyValues(sub.asOWLNamedIndividual(), p);
402 				reasoner.getObjectPropertyValues(obj.asOWLNamedIndividual(), p);
412 				reasoner.getObjectPropertyValues(obj.asOWLNamedIndividual(), p);
421 				reasoner.getObjectPropertyDomains(prop, true);
437 				reasoner.getObjectPropertyRanges(prop, true);
445 				reasoner.getSubObjectProperties(sup, true);
460 			return prop.isReflexive(reasoner.getRootOntology());
466 			return prop.isSymmetric(reasoner.getRootOntology());
472 			return prop.isTransitive(reasoner.getRootOntology());
475 		throw new FaCTPlusPlusException("No reasoner found, sorry!");