Searched refs:reasoner (Results 1 - 6 of 6) sorted by relevance

/hets/OWL2/java/lib/
H A Duk.ac.manchester.cs.owl.factplusplus-P5.0-v1.6.3.1.jarMETA-INF/ META-INF/MANIFEST.MF lib/ lib/native/ lib/native/32bit/ lib/native/32 ...
H A Dowlapi-osgidistribution-3.5.2.jar ... .model.OWLOntology, org.semanticweb.owlapi.reasoner.OWLReasonerFactory, org.semanticweb.owlapi.reasoner. ...
/hets/OWL2/java/de/unibremen/informatik/Fact/
H A DFact.java8 import org.semanticweb.owlapi.reasoner.OWLReasoner;
24 OWLReasoner reasoner = f.createReasoner(ontology);
25 Boolean cons = reasoner.isConsistent();
/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/doc/
H A DUserGuide.tex640 Pellet & OWL 2 reasoner & \url{http://clarkparsia.com/pellet/} \\\hline
1868 Pellet is a popular open-source \DL-reasoner for \SROIQ, which is the logic
1876 Fact++ is a \DL-reasoner for \SROIQ, which is the logic underlying OWL 2, written in
H A DUserGuideCommonLogic.tex551 Pellet & OWL reasoner & \url{http://clarkparsia.com/pellet/} \\\hline

Completed in 27 milliseconds