org.semanticweb.owlapi.reasoner.structural

Class StructuralReasonerFactory

java.lang.Object

org.semanticweb.owlapi.reasoner.structural.StructuralReasonerFactory

All Implemented Interfaces:

OWLReasonerFactory

@MetaInfServices(value=org.semanticweb.owlapi.reasoner.OWLReasonerFactory.class)
public class StructuralReasonerFactory
extends Object
implements OWLReasonerFactory

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 25-Jan-2010

Constructor Summary

Constructors

Constructor and Description
StructuralReasonerFactory()

Method Summary

Methods

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StructuralReasonerFactory

public StructuralReasonerFactory()

Method Detail

getReasonerName

public String getReasonerName()

Specified by:

getReasonerName in interface OWLReasonerFactory

createNonBufferingReasoner

public OWLReasoner createNonBufferingReasoner(OWLOntology ontology)

Specified by:

createNonBufferingReasoner in interface OWLReasonerFactory

createReasoner

public OWLReasoner createReasoner(OWLOntology ontology)

Specified by:

createReasoner in interface OWLReasonerFactory

createNonBufferingReasoner

public OWLReasoner createNonBufferingReasoner(OWLOntology ontology,
                                     OWLReasonerConfiguration config)
                                       throws IllegalConfigurationException

Specified by:

createNonBufferingReasoner in interface OWLReasonerFactory

Throws:

IllegalConfigurationException

createReasoner

public OWLReasoner createReasoner(OWLOntology ontology,
                         OWLReasonerConfiguration config)
                           throws IllegalConfigurationException

Specified by:

createReasoner in interface OWLReasonerFactory

Throws:

IllegalConfigurationException

getSupportedProfiles

public Set<OWLProfile> getSupportedProfiles()

Specified by:

getSupportedProfiles in interface OWLReasonerFactory