|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||