|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.clarkparsia.modularity.PelletIncremantalReasonerFactory
public class PelletIncremantalReasonerFactory
Title:
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| 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 |
|---|
public PelletIncremantalReasonerFactory()
| Method Detail |
|---|
public static PelletIncremantalReasonerFactory getInstance()
public java.lang.String getReasonerName()
getReasonerName in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactorypublic java.lang.String toString()
toString in class java.lang.Object
public IncrementalClassifier createReasoner(java.io.InputStream is)
throws java.io.IOException
java.io.IOException
public IncrementalClassifier createReasoner(java.io.InputStream is,
org.semanticweb.owlapi.model.OWLOntology ontology)
throws java.io.IOException
java.io.IOExceptionpublic IncrementalClassifier createReasoner(PelletReasoner reasoner)
public IncrementalClassifier createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
createReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory
public IncrementalClassifier createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
ModuleExtractor moduleExtractor)
public IncrementalClassifier createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException
createReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactoryorg.semanticweb.owlapi.reasoner.IllegalConfigurationExceptionpublic IncrementalClassifier createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
createNonBufferingReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactory
public IncrementalClassifier createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
throws org.semanticweb.owlapi.reasoner.IllegalConfigurationException
createNonBufferingReasoner in interface org.semanticweb.owlapi.reasoner.OWLReasonerFactoryorg.semanticweb.owlapi.reasoner.IllegalConfigurationException
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||