AbstractNormalizeOWLAxiomVisitor
AbstractNormalizeOWLClassExpressionVisitor
AdaptedInferredOntologyGenerator
BottomLocalityChecker
Clause
CommandLine
ELAxiomVisitor
ELKAxiomVisitor
HermiTforMORe
HornSHIFAxiomVisitor
ImprovedBottomLocalityChecker
ImprovedLsignatureExtractor
InputVerifier
LessGreedyImprovedLsignatureExtractor
ListProcessor
LocalityInfo
LogOutput
LsignatureExtractor
LsignatureExtractor.Fragment
MORe_cli
MOReHermiTReasonerWrapper
MORePelletReasonerWrapper
MOReReasoner
MOReReasonerFactory
MOReReasonerWithRLandMaterializationByStages
MOReReasonerWrapper
MOReRLrew
MOReRLrewReasonerFactory
NormalizeOWLAxiomVisitor
NormalizeOWLClassExpressionVisitor
OWL2ReasonerManager
OWLFragmentVisitor
QuasiOrderClassificationForMORe
RLAxiomVisitor
RLChecker
RLOntology
RLrewOntology
SHIFClassExpressionVisitor
Utility
|