public class ReasonerFactory extends Object implements org.semanticweb.owlapi.reasoner.OWLReasonerFactory
| Constructor and Description |
|---|
ReasonerFactory() |
| Modifier and Type | Method and Description |
|---|---|
org.semanticweb.owlapi.reasoner.OWLReasoner |
createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology) |
org.semanticweb.owlapi.reasoner.OWLReasoner |
createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration owlAPIConfiguration) |
org.semanticweb.owlapi.reasoner.OWLReasoner |
createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology) |
org.semanticweb.owlapi.reasoner.OWLReasoner |
createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config) |
String |
getReasonerName() |
public String getReasonerName()
getReasonerName in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactorypublic org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
createReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactorypublic org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
createReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactorypublic org.semanticweb.owlapi.reasoner.OWLReasoner createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
createNonBufferingReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactorypublic org.semanticweb.owlapi.reasoner.OWLReasoner createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration owlAPIConfiguration)
createNonBufferingReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactoryCopyright © 2017. All Rights Reserved.