Searched defs:reasoner (Results 1 - 2 of 2) sorted by relevance

/hets/OWL2/java/de/unibremen/informatik/FactProver/
H A DFactProver.java78 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; field in class:FactProver
98 this.reasoner = new FaCTPlusPlusReasoner(ontology,
126 NodeSet<OWLNamedIndividual> ind = reasoner
135 reasoner.getTypes(indi.asOWLNamedIndividual(), true);
144 Set<OWLLiteral> litset = reasoner
157 reasoner
[all...]
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jar ... .model.OWLOntology, org.semanticweb.owlapi.reasoner.OWLReasonerFactory, org.semanticweb.owlapi.reasoner. ...

Completed in 14 milliseconds