com.clarkparsia.modularity

Class IncremantalReasonerFactory

java.lang.Object

com.clarkparsia.modularity.IncremantalReasonerFactory

All Implemented Interfaces:

org.semanticweb.owlapi.reasoner.OWLReasonerFactory

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

Title:

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor and Description
IncremantalReasonerFactory()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

IncremantalReasonerFactory

public IncremantalReasonerFactory()

Method Detail

getInstance

public static IncremantalReasonerFactory 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 IncrementalReasoner createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)

Specified by:

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

createReasoner

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

Specified by:

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

createNonBufferingReasoner

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