uk.ac.manchester.cs.jfact

Class JFactFactory

java.lang.Object

uk.ac.manchester.cs.jfact.JFactFactory

All Implemented Interfaces:

org.semanticweb.owlapi.reasoner.OWLReasonerFactory

public class JFactFactory
extends Object
implements org.semanticweb.owlapi.reasoner.OWLReasonerFactory

Constructor Summary

Constructors

Constructor and Description
JFactFactory()

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

JFactFactory

public JFactFactory()

Method Detail

getReasonerName

public String getReasonerName()

Specified by:

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

Specified by:

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

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

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