org.semanticweb.owlapi.reasoner.structural

Class StructuralReasonerFactory

java.lang.Object

org.semanticweb.owlapi.reasoner.structural.StructuralReasonerFactory

All Implemented Interfaces:

org.semanticweb.owlapi.reasoner.OWLReasonerFactory

public class StructuralReasonerFactory
extends Object
implements org.semanticweb.owlapi.reasoner.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
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 config)
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()

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 org.semanticweb.owlapi.reasoner.OWLReasonerFactory

createNonBufferingReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

createNonBufferingReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

createReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

createReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

createNonBufferingReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
                                                                     org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
                                                                       throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException

Specified by:

createNonBufferingReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

Throws:

org.semanticweb.owlapi.reasoner.IllegalConfigurationException

createReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
                                                         org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
                                                           throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException

Specified by:

createReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

Throws:

org.semanticweb.owlapi.reasoner.IllegalConfigurationException