Uses of Class
com.clarkparsia.pellet.owlapiv3.PelletReasoner

Packages that use PelletReasoner
com.clarkparsia.modularity   
com.clarkparsia.pellet.owlapiv3   
 

Uses of PelletReasoner in com.clarkparsia.modularity
 

Methods in com.clarkparsia.modularity that return PelletReasoner
 PelletReasoner IncrementalClassifier.getReasoner()
          Get the underlying reasoner
 

Methods in com.clarkparsia.modularity with parameters of type PelletReasoner
static Taxonomy<org.semanticweb.owlapi.model.OWLClass> IncrementalClassifier.buildClassHierarchy(PelletReasoner reasoner)
          Build the class hierarchy based on the results from the reasoner
 IncrementalClassifier PelletIncremantalReasonerFactory.createReasoner(PelletReasoner reasoner)
           
 

Constructors in com.clarkparsia.modularity with parameters of type PelletReasoner
IncrementalClassifier(PelletReasoner reasoner)
           
IncrementalClassifier(PelletReasoner reasoner, ModuleExtractor extractor)
           
 

Uses of PelletReasoner in com.clarkparsia.pellet.owlapiv3
 

Methods in com.clarkparsia.pellet.owlapiv3 that return PelletReasoner
 PelletReasoner PelletReasonerFactory.createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
          
 PelletReasoner PelletReasonerFactory.createNonBufferingReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
          
 PelletReasoner PelletReasonerFactory.createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology)
          
 PelletReasoner PelletReasonerFactory.createReasoner(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration config)
          
 PelletReasoner OWLAPILoader.getReasoner()
          Returns the reasoner created by this loader.
 

Constructors in com.clarkparsia.pellet.owlapiv3 with parameters of type PelletReasoner
AxiomConverter(PelletReasoner reasoner)
           
EntailmentChecker(PelletReasoner reasoner)
           
EntailmentQueryVisitor(PelletReasoner reasoner)
           
 



Copyright © 2004 Evren Sirin. All Rights Reserved.