@MetaInfServices(value=org.semanticweb.owlapi.reasoner.OWLReasonerFactory.class) public class StructuralReasonerFactory extends Object implements OWLReasonerFactory
| Constructor and Description |
|---|
StructuralReasonerFactory() |
| Modifier and Type | Method and Description |
|---|---|
OWLReasoner |
createNonBufferingReasoner(OWLOntology ontology) |
OWLReasoner |
createNonBufferingReasoner(OWLOntology ontology,
OWLReasonerConfiguration config) |
OWLReasoner |
createReasoner(OWLOntology ontology) |
OWLReasoner |
createReasoner(OWLOntology ontology,
OWLReasonerConfiguration config) |
String |
getReasonerName() |
Set<OWLProfile> |
getSupportedProfiles() |
public String getReasonerName()
getReasonerName in interface OWLReasonerFactorypublic OWLReasoner createNonBufferingReasoner(OWLOntology ontology)
createNonBufferingReasoner in interface OWLReasonerFactorypublic OWLReasoner createReasoner(OWLOntology ontology)
createReasoner in interface OWLReasonerFactorypublic OWLReasoner createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration config) throws IllegalConfigurationException
createNonBufferingReasoner in interface OWLReasonerFactoryIllegalConfigurationExceptionpublic OWLReasoner createReasoner(OWLOntology ontology, OWLReasonerConfiguration config) throws IllegalConfigurationException
createReasoner in interface OWLReasonerFactoryIllegalConfigurationExceptionpublic Set<OWLProfile> getSupportedProfiles()
getSupportedProfiles in interface OWLReasonerFactoryCopyright © 2013 CSIRO HRPPC. All Rights Reserved.