|
||||||||||
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.OWLReasonerFactory
public 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.IOException
public 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.OWLReasonerFactory
org.semanticweb.owlapi.reasoner.IllegalConfigurationException
public 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.OWLReasonerFactory
org.semanticweb.owlapi.reasoner.IllegalConfigurationException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |