com.clarkparsia.modularity
Class PelletIncremantalReasonerFactory

java.lang.Object
  extended by com.clarkparsia.modularity.PelletIncremantalReasonerFactory
All Implemented Interfaces:
org.semanticweb.owlapi.reasoner.OWLReasonerFactory

public class PelletIncremantalReasonerFactory
extends java.lang.Object
implements org.semanticweb.owlapi.reasoner.OWLReasonerFactory

Title:

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Constructor Summary
PelletIncremantalReasonerFactory()
           
 
Method Summary
 IncrementalClassifier createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
          
 IncrementalClassifier createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
          
 IncrementalClassifier createReasoner(java.io.InputStream is)
           
 IncrementalClassifier createReasoner(java.io.InputStream is, org.semanticweb.owlapi.model.OWLOntology ontology)
           
 IncrementalClassifier createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
          
 IncrementalClassifier createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, ModuleExtractor moduleExtractor)
           
 IncrementalClassifier createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
          
 IncrementalClassifier createReasoner(PelletReasoner reasoner)
           
static PelletIncremantalReasonerFactory getInstance()
          Returns a static factory instance that can be used to create reasoners.
 java.lang.String getReasonerName()
          
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PelletIncremantalReasonerFactory

public PelletIncremantalReasonerFactory()
Method Detail

getInstance

public static PelletIncremantalReasonerFactory getInstance()
Returns a static factory instance that can be used to create reasoners.

Returns:
a static factory instance

getReasonerName

public java.lang.String getReasonerName()

Specified by:
getReasonerName in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

createReasoner

public IncrementalClassifier createReasoner(java.io.InputStream is)
                                     throws java.io.IOException
Throws:
java.io.IOException

createReasoner

public IncrementalClassifier createReasoner(java.io.InputStream is,
                                            org.semanticweb.owlapi.model.OWLOntology ontology)
                                     throws java.io.IOException
Throws:
java.io.IOException

createReasoner

public IncrementalClassifier createReasoner(PelletReasoner reasoner)

createReasoner

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

Specified by:
createReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

createReasoner

public IncrementalClassifier createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
                                            ModuleExtractor moduleExtractor)

createReasoner

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

Specified by:
createNonBufferingReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory

createNonBufferingReasoner

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


Copyright © 2004 Evren Sirin. All Rights Reserved.