public class ExpressionMaterializingReasonerFactory extends Object implements OWLExtendedReasonerFactory<ExpressionMaterializingReasoner>
OWLReasonerFactory
for instantiating an
ExpressionMaterializingReasoner
.Constructor and Description |
---|
ExpressionMaterializingReasonerFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory factory) |
Modifier and Type | Method and Description |
---|---|
ExpressionMaterializingReasoner |
createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology) |
ExpressionMaterializingReasoner |
createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config) |
ExpressionMaterializingReasoner |
createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology) |
ExpressionMaterializingReasoner |
createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config) |
String |
getReasonerName() |
public ExpressionMaterializingReasonerFactory(org.semanticweb.owlapi.reasoner.OWLReasonerFactory factory)
public String getReasonerName()
getReasonerName
in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory
public ExpressionMaterializingReasoner createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
createNonBufferingReasoner
in interface OWLExtendedReasonerFactory<ExpressionMaterializingReasoner>
createNonBufferingReasoner
in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory
public ExpressionMaterializingReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
createReasoner
in interface OWLExtendedReasonerFactory<ExpressionMaterializingReasoner>
createReasoner
in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory
public ExpressionMaterializingReasoner createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config) throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException
createNonBufferingReasoner
in interface OWLExtendedReasonerFactory<ExpressionMaterializingReasoner>
createNonBufferingReasoner
in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory
org.semanticweb.owlapi.reasoner.IllegalConfigurationException
public ExpressionMaterializingReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config) throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException
createReasoner
in interface OWLExtendedReasonerFactory<ExpressionMaterializingReasoner>
createReasoner
in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory
org.semanticweb.owlapi.reasoner.IllegalConfigurationException
Copyright © 2015. All Rights Reserved.