openllet.owlapi

Class OpenlletReasonerFactory

java.lang.Object

openllet.owlapi.OpenlletReasonerFactory

All Implemented Interfaces:

org.semanticweb.owlapi.reasoner.OWLReasonerFactory

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

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor and Description
OpenlletReasonerFactory()

Method Summary

Modifier and Type	Method and Description
OpenlletReasoner	createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
OpenlletReasoner	createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
OpenlletReasoner	createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
OpenlletReasoner	createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
static OpenlletReasonerFactory	getInstance() Returns a static factory instance that can be used to create reasoners.
String	getReasonerName()
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

OpenlletReasonerFactory

public OpenlletReasonerFactory()

Method Detail

getInstance

public static OpenlletReasonerFactory getInstance()

Returns a static factory instance that can be used to create reasoners.

Returns:

a static factory instance

getReasonerName

public String getReasonerName()

Specified by:

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

toString

public String toString()

Overrides:

toString in class Object

createReasoner

public OpenlletReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

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

createReasoner

public OpenlletReasoner 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 OpenlletReasoner createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

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

createNonBufferingReasoner

public OpenlletReasoner 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