|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
AdaptedInferredOntologyGenerator | Based on org.semanticweb.owlapi.util.InferredOntologyGenerator |
BottomLocalityChecker | Based on the codes from Ernesto Jiménez, this axiom visitor checks whether an axiom is bottom-local wrt a given external signature and, if the answer is negative, provides several sets of symbols that could be removed from this external signature in order to make it local (if such sets exist) |
ListProcessor | |
LocalityInfo | We use this class to gather information about some axiom or class found in some method so that we can return the whole lot of information at once. |
MOReReasoner | |
MOReReasonerFactory | Factory for the OWLAPI reasoner implementation of the MORe reasoner. |
MOReReasonerWithRLandMaterializationByStages | |
MOReRLrew | |
MOReRLrewReasonerFactory | Factory for the OWLAPI reasoner implementation of the MORe RLrew reasoner. |
OWL2ReasonerManager | Access to an OWL 2 reasoner. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |