public class JcelReasonerFactory extends Object implements org.semanticweb.owlapi.reasoner.OWLReasonerFactory
Constructor and Description |
---|
JcelReasonerFactory() |
Modifier and Type | Method and Description |
---|---|
JcelReasoner |
createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology) |
JcelReasoner |
createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration) |
JcelReasoner |
createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology) |
JcelReasoner |
createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration) |
String |
getReasonerName() |
public JcelReasoner createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
createNonBufferingReasoner
in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory
public JcelReasoner createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration) throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException
createNonBufferingReasoner
in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory
org.semanticweb.owlapi.reasoner.IllegalConfigurationException
public JcelReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
createReasoner
in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory
public JcelReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration configuration) throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException
createReasoner
in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory
org.semanticweb.owlapi.reasoner.IllegalConfigurationException
public String getReasonerName()
getReasonerName
in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.