Uses of Class
org.mindswap.pellet.owlapi.Reasoner

Packages that use Reasoner
com.clarkparsia.modularity   
org.mindswap.pellet.owlapi   
 

Uses of Reasoner in com.clarkparsia.modularity
 

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

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

Constructors in com.clarkparsia.modularity with parameters of type Reasoner
IncrementalClassifier(org.semanticweb.owl.model.OWLOntologyManager manager, Reasoner reasoner, ModuleExtractor extractor)
           
 

Uses of Reasoner in org.mindswap.pellet.owlapi
 

Methods in org.mindswap.pellet.owlapi that return Reasoner
 Reasoner PelletReasonerFactory.createReasoner(org.semanticweb.owl.model.OWLOntologyManager manager)
           
 Reasoner OWLAPILoader.getReasoner()
           
 

Constructors in org.mindswap.pellet.owlapi with parameters of type Reasoner
EntailmentChecker(Reasoner reasoner)
           
 



Copyright © 2004 Evren Sirin. All Rights Reserved.