A B C D E F G H I J L M N O P Q R S T U V W

A

AbstractNormalizeOWLAxiomVisitor - Class in org.semanticweb.more.visitors
 
AbstractNormalizeOWLAxiomVisitor() - Constructor for class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
AbstractNormalizeOWLClassExpressionVisitor - Class in org.semanticweb.more.visitors
 
AbstractNormalizeOWLClassExpressionVisitor() - Constructor for class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
AdaptedInferredOntologyGenerator - Class in org.semanticweb.more
Based on org.semanticweb.owlapi.util.InferredOntologyGenerator
AdaptedInferredOntologyGenerator(OWLReasoner, List<InferredAxiomGenerator<? extends OWLAxiom>>) - Constructor for class org.semanticweb.more.AdaptedInferredOntologyGenerator
 
AdaptedInferredOntologyGenerator(OWLReasoner) - Constructor for class org.semanticweb.more.AdaptedInferredOntologyGenerator
Default constructor.
add2SubCounter(OWLClassExpression) - Method in class org.semanticweb.more.RLrewriting.RLOntology
 
addAxiom2output(OWLAxiom) - Method in class org.semanticweb.more.RLrewriting.RLOntology
 
addsFewest(List<Set<OWLEntity>>, Set<OWLEntity>, int) - Method in class org.semanticweb.more.ListProcessor
 
AEO - Static variable in class org.semanticweb.more.RLrewriting.Utility
 
axiomInLfragment(OWLAxiom, int) - Method in class org.semanticweb.more.MOReReasoner
 

B

bean - Variable in class org.semanticweb.more.orechallenge.MOReReasonerWrapper
 
BottomLocalityChecker - Class in org.semanticweb.more
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)
BottomLocalityChecker(boolean) - Constructor for class org.semanticweb.more.BottomLocalityChecker
 
BottomLocalityChecker.TopChecker - Class in org.semanticweb.more
 
BottomLocalityChecker.TopChecker() - Constructor for class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
buildHierarchy(HierarchySearch.Relation<AtomicConcept>) - Method in class org.semanticweb.more.hermit.QuasiOrderClassificationForMORe
 

C

canMake() - Method in class org.semanticweb.more.LocalityInfo
 
canMakeTop - Variable in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
canMakeTop - Variable in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
check(OWLAxiom) - Method in class org.semanticweb.more.RLrewriting.RLChecker
 
checkRemainingSubsumtionsWithHermiT(Graph<AtomicConcept>, Graph<AtomicConcept>) - Method in class org.semanticweb.more.MOReRLrew
 
checkSub(OWLClassExpression) - Method in class org.semanticweb.more.RLrewriting.RLChecker
 
checkSuper(OWLClassExpression) - Method in class org.semanticweb.more.RLrewriting.RLChecker
 
classesInvisibleInL - Variable in class org.semanticweb.more.lsignature.LsignatureExtractor
 
classified - Variable in class org.semanticweb.more.MOReReasoner
 
classifiedWithRLrew - Variable in class org.semanticweb.more.MOReRLrew
 
classify() - Method in class org.semanticweb.more.orechallenge.MOReReasonerWrapper
Classify ontology (transitive closure)
classifyAtomicConcepts(Tableau, ClassificationProgressMonitor, AtomicConcept, AtomicConcept, Set<AtomicConcept>, boolean) - Method in class org.semanticweb.more.hermit.HermiTforMORe
 
classifyClasses() - Method in class org.semanticweb.more.MOReReasoner
 
classifyClasses() - Method in class org.semanticweb.more.MOReRLrew
 
Clause - Class in org.semanticweb.more.RLrewriting
 
Clause(RLOntology, DLClause) - Constructor for class org.semanticweb.more.RLrewriting.Clause
 
clausify() - Method in class org.semanticweb.more.RLrewriting.RLOntology
 
clearExpressions() - Method in class org.semanticweb.more.visitors.NormalizeOWLClassExpressionVisitor
 
clearIntermediateOntologies() - Method in class org.semanticweb.more.RLrewriting.RLrewOntology
 
clearStatus() - Method in class org.semanticweb.more.MOReReasoner
If ontology is reloaded then we should clear current status.
closeSystemOut() - Static method in class org.semanticweb.more.RLrewriting.Utility
 
CommandLine - Class in org.semanticweb.more.cli
 
CommandLine() - Constructor for class org.semanticweb.more.cli.CommandLine
 
compmodule_onto - Variable in class org.semanticweb.more.MOReReasoner
 
compModuleSize - Variable in class org.semanticweb.more.MOReReasoner
 
compSignature - Variable in class org.semanticweb.more.lsignature.LsignatureExtractor
 
compSignature - Variable in class org.semanticweb.more.MOReReasoner
 
computeUpperBoundClassification(OWLOntology) - Method in class org.semanticweb.more.MOReReasonerWithRLandMaterializationByStages
 
computeUpperBoundClassification() - Method in class org.semanticweb.more.MOReRLrew
 
computeUpperBoundClassification(OWLOntology) - Method in class org.semanticweb.more.MOReRLrew
 
configuration - Variable in class org.semanticweb.more.MOReReasoner
 
containsPosOccurrence(OWLClassExpression) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
countRoles(Set<OWLEntity>) - Method in class org.semanticweb.more.ListProcessor
 
createMoreReasoner(OWLOntology, boolean, OWLReasonerConfiguration) - Method in class org.semanticweb.more.MOReReasonerFactory
 
createMoreRLrewReasoner(OWLOntology, boolean, OWLReasonerConfiguration) - Method in class org.semanticweb.more.MOReRLrewReasonerFactory
 
createNonBufferingReasoner(OWLOntology) - Method in class org.semanticweb.more.MOReReasonerFactory
 
createNonBufferingReasoner(OWLOntology, OWLReasonerConfiguration) - Method in class org.semanticweb.more.MOReReasonerFactory
 
createNonBufferingReasoner(OWLOntology) - Method in class org.semanticweb.more.MOReRLrewReasonerFactory
 
createNonBufferingReasoner(OWLOntology, OWLReasonerConfiguration) - Method in class org.semanticweb.more.MOReRLrewReasonerFactory
 
createOWL2ReasonerInstance(OWLOntology, int) - Static method in class org.semanticweb.more.OWL2ReasonerManager
 
createReasoner(OWLOntology) - Method in class org.semanticweb.more.MOReReasonerFactory
 
createReasoner(OWLOntology, OWLReasonerConfiguration) - Method in class org.semanticweb.more.MOReReasonerFactory
 
createReasoner(OWLOntology) - Method in class org.semanticweb.more.MOReRLrewReasonerFactory
 
createReasoner(OWLOntology, OWLReasonerConfiguration) - Method in class org.semanticweb.more.MOReRLrewReasonerFactory
 
createReasoner() - Method in class org.semanticweb.more.orechallenge.MOReHermiTReasonerWrapper
Create a reasoner instance.
createReasoner(OWLOntology) - Method in class org.semanticweb.more.orechallenge.MOReHermiTReasonerWrapper
Create a reasoner instance.
createReasoner() - Method in class org.semanticweb.more.orechallenge.MORePelletReasonerWrapper
Create a reasoner instance.
createReasoner(OWLOntology) - Method in class org.semanticweb.more.orechallenge.MORePelletReasonerWrapper
Create a reasoner instance.
createReasoner() - Method in class org.semanticweb.more.orechallenge.MOReReasonerWrapper
 
createReasoner(OWLOntology) - Method in class org.semanticweb.more.orechallenge.MOReReasonerWrapper
 

D

dispose() - Method in class org.semanticweb.more.MOReReasoner
 
disposeUsedReasoners() - Method in class org.semanticweb.more.MOReReasoner
 

E

ELAxiomVisitor - Class in org.semanticweb.more.visitors
 
ELAxiomVisitor() - Constructor for class org.semanticweb.more.visitors.ELAxiomVisitor
 
ELAxiomVisitor.ELClassExpressionVisitor - Class in org.semanticweb.more.visitors
 
ELAxiomVisitor.ELClassExpressionVisitor() - Constructor for class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
ELKAxiomVisitor - Class in org.semanticweb.more.visitors
 
ELKAxiomVisitor() - Constructor for class org.semanticweb.more.visitors.ELKAxiomVisitor
 
ELKAxiomVisitor.ELKClassExpressionVisitor - Class in org.semanticweb.more.visitors
 
ELKAxiomVisitor.ELKClassExpressionVisitor() - Constructor for class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
ELKFRAGMENT - Static variable in class org.semanticweb.more.MOReReasoner
 
extractComplementModule() - Method in class org.semanticweb.more.MOReReasoner
 
extractComplementModuleOntology() - Method in class org.semanticweb.more.MOReRLrew
 

F

fillInferredAxioms(Set<OWLAxiom>) - Method in class org.semanticweb.more.AdaptedInferredOntologyGenerator
 
fillInferredAxioms(OWLOntologyManager, Set<OWLAxiom>) - Method in class org.semanticweb.more.AdaptedInferredOntologyGenerator
 
fillOntology(OWLOntologyManager, OWLOntology) - Method in class org.semanticweb.more.AdaptedInferredOntologyGenerator
Reused from InferredOntologyGenerator
finalize() - Method in class org.semanticweb.more.MOReReasoner
 
findGlobalEntities() - Method in class org.semanticweb.more.lsignature.ImprovedLsignatureExtractor
 
findLsignature(OWLOntology, LsignatureExtractor.Fragment) - Method in class org.semanticweb.more.lsignature.ImprovedLsignatureExtractor
 
findLsignature(OWLOntology, LsignatureExtractor.Fragment) - Method in class org.semanticweb.more.lsignature.LessGreedyImprovedLsignatureExtractor
 
findLsignature(OWLOntology, LsignatureExtractor.Fragment) - Method in class org.semanticweb.more.lsignature.LsignatureExtractor
 
findLsignature() - Method in class org.semanticweb.more.MOReReasoner
 
flush() - Method in class org.semanticweb.more.MOReReasoner
 
flushChangesIfRequired() - Method in class org.semanticweb.more.MOReReasoner
 
flushSystemOut() - Static method in class org.semanticweb.more.RLrewriting.Utility
 
FLY - Static variable in class org.semanticweb.more.RLrewriting.Utility
 
fragment - Variable in class org.semanticweb.more.lsignature.LsignatureExtractor
 

G

getAllCombinations(List<List<Set<OWLEntity>>>, boolean) - Method in class org.semanticweb.more.ListProcessor
 
getBestCombination(List<Set<OWLEntity>>, List<Set<OWLEntity>>, int) - Method in class org.semanticweb.more.ListProcessor
 
getBottomClassNode() - Method in class org.semanticweb.more.MOReReasoner
 
getBottomDataPropertyNode() - Method in class org.semanticweb.more.MOReReasoner
 
getBottomObjectPropertyNode() - Method in class org.semanticweb.more.MOReReasoner
 
getBufferingMode() - Method in class org.semanticweb.more.MOReReasoner
 
getClassesInvisibleInL() - Method in class org.semanticweb.more.lsignature.LsignatureExtractor
 
getCompModuleSize() - Method in class org.semanticweb.more.MOReReasoner
 
getCompSignature() - Method in class org.semanticweb.more.lsignature.LsignatureExtractor
 
getCurrentReasonerName(int) - Static method in class org.semanticweb.more.OWL2ReasonerManager
 
getDataPropertyDomains(OWLDataProperty, boolean) - Method in class org.semanticweb.more.MOReReasoner
 
getDataPropertyValues(OWLNamedIndividual, OWLDataProperty) - Method in class org.semanticweb.more.MOReReasoner
 
getDifferentIndividuals(OWLNamedIndividual) - Method in class org.semanticweb.more.MOReReasoner
 
getDisjointClasses(OWLClassExpression) - Method in class org.semanticweb.more.MOReReasoner
 
getDisjointDataProperties(OWLDataPropertyExpression) - Method in class org.semanticweb.more.MOReReasoner
 
getDisjointObjectProperties(OWLObjectPropertyExpression) - Method in class org.semanticweb.more.MOReReasoner
 
getDisjunctionApprox0(Set<OWLClassExpression>) - Method in class org.semanticweb.more.RLrewriting.RLOntology
 
getEquivalentClasses(OWLClassExpression) - Method in class org.semanticweb.more.MOReReasoner
 
getEquivalentClasses(OWLClassExpression) - Method in class org.semanticweb.more.MOReRLrew
 
getEquivalentDataProperties(OWLDataProperty) - Method in class org.semanticweb.more.MOReReasoner
 
getEquivalentObjectProperties(OWLObjectPropertyExpression) - Method in class org.semanticweb.more.MOReReasoner
 
getFragmentVisitor() - Method in class org.semanticweb.more.lsignature.LsignatureExtractor
 
getFreshEntityPolicy() - Method in class org.semanticweb.more.MOReReasoner
 
getIndividualNodeSetPolicy() - Method in class org.semanticweb.more.MOReReasoner
 
getInstances(OWLClassExpression, boolean) - Method in class org.semanticweb.more.MOReReasoner
 
getIntermediateOntology() - Method in class org.semanticweb.more.RLrewriting.RLOntology
 
getInverseObjectProperties(OWLObjectPropertyExpression) - Method in class org.semanticweb.more.MOReReasoner
 
getIRIRewirtenOntology() - Method in class org.semanticweb.more.RLrewriting.RLrewOntology
 
getIsEL() - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
getKnownSubsumptionsGraphForCompModule() - Method in class org.semanticweb.more.MOReRLrew
 
getLsignature() - Method in class org.semanticweb.more.lsignature.LsignatureExtractor
 
getLsignature() - Method in class org.semanticweb.more.MOReReasoner
 
getLsignatureModule() - Method in class org.semanticweb.more.lsignature.LsignatureExtractor
 
getMinimalCombination(List<List<Set<OWLEntity>>>, int) - Method in class org.semanticweb.more.ListProcessor
 
getNormalizedAxioms() - Method in class org.semanticweb.more.visitors.NormalizeOWLAxiomVisitor
 
getNormalizedExpressions() - Method in class org.semanticweb.more.visitors.NormalizeOWLClassExpressionVisitor
 
getObjectPropertyDomains(OWLObjectPropertyExpression, boolean) - Method in class org.semanticweb.more.MOReReasoner
 
getObjectPropertyRanges(OWLObjectPropertyExpression, boolean) - Method in class org.semanticweb.more.MOReReasoner
 
getObjectPropertyValues(OWLNamedIndividual, OWLObjectPropertyExpression) - Method in class org.semanticweb.more.MOReReasoner
 
getOutputOntology() - Method in class org.semanticweb.more.RLrewriting.RLOntology
 
getOWLOntologyManager() - Method in class org.semanticweb.more.RLrewriting.RLOntology
 
getPendingAxiomAdditions() - Method in class org.semanticweb.more.MOReReasoner
 
getPendingAxiomRemovals() - Method in class org.semanticweb.more.MOReReasoner
 
getPendingChanges() - Method in class org.semanticweb.more.MOReReasoner
 
getPrecomputableInferenceTypes() - Method in class org.semanticweb.more.MOReReasoner
 
getReasonerName() - Method in class org.semanticweb.more.MOReReasoner
 
getReasonerName() - Method in class org.semanticweb.more.MOReReasonerFactory
 
getReasonerName() - Method in class org.semanticweb.more.MOReRLrewReasonerFactory
 
getReasonerVersion() - Method in class org.semanticweb.more.MOReReasoner
 
getReasonerVersionStr() - Method in class org.semanticweb.more.MOReReasoner
 
getRootOntology() - Method in class org.semanticweb.more.MOReReasoner
 
getSameIndividuals(OWLNamedIndividual) - Method in class org.semanticweb.more.MOReReasoner
 
getSimplifiedConjunction(Set<OWLClassExpression>) - Method in class org.semanticweb.more.RLrewriting.RLOntology
 
getSolutions() - Method in class org.semanticweb.more.LocalityInfo
 
getSubClasses(OWLClassExpression, boolean) - Method in class org.semanticweb.more.MOReReasoner
 
getSubClasses(OWLClassExpression, boolean) - Method in class org.semanticweb.more.MOReRLrew
 
getSubClasses() - Method in class org.semanticweb.more.RLrewriting.Clause
 
getSubDataProperties(OWLDataProperty, boolean) - Method in class org.semanticweb.more.MOReReasoner
 
getSubObjectProperties(OWLObjectPropertyExpression, boolean) - Method in class org.semanticweb.more.MOReReasoner
 
getSuperClasses(OWLClassExpression, boolean) - Method in class org.semanticweb.more.MOReReasoner
 
getSuperClasses(OWLClassExpression, boolean) - Method in class org.semanticweb.more.MOReRLrew
 
getSuperClasses() - Method in class org.semanticweb.more.RLrewriting.Clause
 
getSuperDataProperties(OWLDataProperty, boolean) - Method in class org.semanticweb.more.MOReReasoner
 
getSuperObjectProperties(OWLObjectPropertyExpression, boolean) - Method in class org.semanticweb.more.MOReReasoner
 
getTimeOut() - Method in class org.semanticweb.more.MOReReasoner
 
getTopClassNode() - Method in class org.semanticweb.more.MOReReasoner
 
getTopDataPropertyNode() - Method in class org.semanticweb.more.MOReReasoner
 
getTopObjectPropertyNode() - Method in class org.semanticweb.more.MOReReasoner
 
getTypes(OWLNamedIndividual, boolean) - Method in class org.semanticweb.more.MOReReasoner
 
getUnsatisfiableClasses() - Method in class org.semanticweb.more.MOReReasoner
 
getUnsatisfiableClasses() - Method in class org.semanticweb.more.MOReRLrew
 
globalEntities - Variable in class org.semanticweb.more.lsignature.ImprovedLsignatureExtractor
 

H

HERMIT - Static variable in class org.semanticweb.more.OWL2ReasonerManager
 
HermiTforMORe - Class in org.semanticweb.more.hermit
 
HermiTforMORe(OWLOntology, Graph<AtomicConcept>, Graph<AtomicConcept>) - Constructor for class org.semanticweb.more.hermit.HermiTforMORe
 
HornSHIFAxiomVisitor - Class in org.semanticweb.more.visitors
 
HornSHIFAxiomVisitor() - Constructor for class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
HornSHIFAxiomVisitor.PosOccurrenceVisitor - Class in org.semanticweb.more.visitors
 
HornSHIFAxiomVisitor.PosOccurrenceVisitor(String) - Constructor for class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 

I

ImprovedBottomLocalityChecker - Class in org.semanticweb.more.lsignature
 
ImprovedBottomLocalityChecker() - Constructor for class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
ImprovedBottomLocalityChecker.TopChecker - Class in org.semanticweb.more.lsignature
 
ImprovedBottomLocalityChecker.TopChecker() - Constructor for class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
ImprovedLsignatureExtractor - Class in org.semanticweb.more.lsignature
 
ImprovedLsignatureExtractor() - Constructor for class org.semanticweb.more.lsignature.ImprovedLsignatureExtractor
 
includeLostSignature() - Method in class org.semanticweb.more.MOReReasoner
When filtering ontology some signature entities may be lost if they are not referenced in any Tbox or RBox axiom
info() - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
info() - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
initialiseLsignature() - Method in class org.semanticweb.more.lsignature.ImprovedLsignatureExtractor
 
initialiseLsignature() - Method in class org.semanticweb.more.lsignature.LessGreedyImprovedLsignatureExtractor
 
initialiseLsignature() - Method in class org.semanticweb.more.lsignature.LsignatureExtractor
 
InputVerifier - Class in org.semanticweb.more.orechallenge
 
InputVerifier() - Constructor for class org.semanticweb.more.orechallenge.InputVerifier
 
interrupt() - Method in class org.semanticweb.more.MOReReasoner
 
interrupt() - Method in class org.semanticweb.more.MOReRLrew
 
iri_compmodule_ontology - Variable in class org.semanticweb.more.MOReReasoner
 
iri_lmodule_ontology - Variable in class org.semanticweb.more.MOReReasoner
 
iri_merged_class_ontology - Variable in class org.semanticweb.more.MOReRLrew
 
iri_str_working_ontology - Variable in class org.semanticweb.more.MOReReasoner
 
is() - Method in class org.semanticweb.more.LocalityInfo
 
isBottomClass(OWLClassExpression) - Method in class org.semanticweb.more.BottomLocalityChecker
 
isBottomClass(OWLClassExpression) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
isBuffered - Variable in class org.semanticweb.more.MOReReasoner
 
isBufferingMode() - Method in class org.semanticweb.more.MOReReasoner
 
isConsistent() - Method in class org.semanticweb.more.MOReReasoner
 
isConsistent() - Method in class org.semanticweb.more.MOReRLrew
 
isEL() - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
isEntailed(OWLAxiom) - Method in class org.semanticweb.more.MOReReasoner
 
isEntailed(Set<? extends OWLAxiom>) - Method in class org.semanticweb.more.MOReReasoner
 
isEntailmentCheckingSupported(AxiomType<?>) - Method in class org.semanticweb.more.MOReReasoner
 
isFullyEL(Set<OWLAxiom>) - Method in class org.semanticweb.more.MOReReasoner
 
isHornSHIF() - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
isInFragment() - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
isInFragment() - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
isInFragment() - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
isInFragment() - Method in interface org.semanticweb.more.visitors.OWLFragmentVisitor
 
isLeftSideNormalization() - Method in class org.semanticweb.more.visitors.NormalizeOWLClassExpressionVisitor
 
isLocalAxiom(OWLAxiom, Set<OWLEntity>) - Method in class org.semanticweb.more.BottomLocalityChecker
 
isLocalAxiom(OWLAxiom, Set<OWLEntity>, Set<OWLEntity>) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
isMonitorUp - Variable in class org.semanticweb.more.MOReReasoner
 
isParseable(String) - Method in class org.semanticweb.more.orechallenge.InputVerifier
 
isPrecomputed(InferenceType) - Method in class org.semanticweb.more.MOReReasoner
 
isRightSideNormalization() - Method in class org.semanticweb.more.visitors.NormalizeOWLClassExpressionVisitor
 
isRL() - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
isSatisfiable(OWLClassExpression) - Method in class org.semanticweb.more.MOReReasoner
 
isSatisfiable(OWLClassExpression) - Method in class org.semanticweb.more.orechallenge.MOReReasonerWrapper
Check if given concept is satisfiable.
isSatisfiable2(OWLClassExpression) - Method in class org.semanticweb.more.orechallenge.MOReReasonerWrapper
Satisfiability implemented in Reasoner.
isSHIF(OWLClassExpression) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
isSupportedByELK() - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
isTop - Variable in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
isTop - Variable in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
isTopClass(OWLClassExpression) - Method in class org.semanticweb.more.BottomLocalityChecker
 
isTopClass(OWLClassExpression) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
isValidConceptName(String) - Method in class org.semanticweb.more.orechallenge.InputVerifier
 
isValidOperation(String) - Method in class org.semanticweb.more.orechallenge.InputVerifier
 
isValidSubClassExpression(OWLClassExpression) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 

J

JFACT - Static variable in class org.semanticweb.more.OWL2ReasonerManager
 

L

LessGreedyImprovedLsignatureExtractor - Class in org.semanticweb.more.lsignature
 
LessGreedyImprovedLsignatureExtractor() - Constructor for class org.semanticweb.more.lsignature.LessGreedyImprovedLsignatureExtractor
 
lFragment - Variable in class org.semanticweb.more.MOReReasoner
 
ListProcessor - Class in org.semanticweb.more
 
ListProcessor() - Constructor for class org.semanticweb.more.ListProcessor
 
lmodule_onto - Variable in class org.semanticweb.more.MOReReasoner
We need to keep them to remove them from reasoner before reclassifying This can be avoided if incremental functionalities are implemented
lModuleAxioms - Variable in class org.semanticweb.more.MOReReasoner
 
loadOntology() - Method in class org.semanticweb.more.MOReReasoner
 
loadOntology(String) - Static method in class org.semanticweb.more.RLrewriting.Utility
 
localityChecker - Variable in class org.semanticweb.more.lsignature.LsignatureExtractor
 
LocalityInfo - Class in org.semanticweb.more
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.
LocalityInfo(boolean, boolean, List<Set<OWLEntity>>) - Constructor for class org.semanticweb.more.LocalityInfo
this method does...
locChecker - Variable in class org.semanticweb.more.lsignature.ImprovedLsignatureExtractor
 
LogOutput - Class in org.semanticweb.more.io
 
LogOutput() - Constructor for class org.semanticweb.more.io.LogOutput
 
lReasoner - Variable in class org.semanticweb.more.MOReReasoner
 
lSignature - Variable in class org.semanticweb.more.lsignature.LsignatureExtractor
 
lSignature - Variable in class org.semanticweb.more.MOReReasoner
 
LsignatureExtractor - Class in org.semanticweb.more.lsignature
 
LsignatureExtractor(boolean) - Constructor for class org.semanticweb.more.lsignature.LsignatureExtractor
 
LsignatureExtractor() - Constructor for class org.semanticweb.more.lsignature.LsignatureExtractor
 
LsignatureExtractor.Fragment - Enum in org.semanticweb.more.lsignature
 
lSignatureModule - Variable in class org.semanticweb.more.lsignature.LsignatureExtractor
 
LUBM - Static variable in class org.semanticweb.more.RLrewriting.Utility
 

M

m_known - Static variable in class org.semanticweb.more.hermit.HermiTforMORe
 
m_poss - Static variable in class org.semanticweb.more.hermit.HermiTforMORe
 
main(String[]) - Static method in class org.semanticweb.more.cli.CommandLine
 
main(String[]) - Static method in class org.semanticweb.more.cli.MORe_cli
 
main(String[]) - Static method in class org.semanticweb.more.MOReRLrew
 
main(String[]) - Static method in class org.semanticweb.more.orechallenge.InputVerifier
 
main(String[]) - Static method in class org.semanticweb.more.orechallenge.MOReHermiTReasonerWrapper
 
main(String[]) - Static method in class org.semanticweb.more.orechallenge.MORePelletReasonerWrapper
 
main_method(String[], int) - Static method in class org.semanticweb.more.orechallenge.MOReReasonerWrapper
 
manager - Variable in class org.semanticweb.more.MOReReasoner
 
merged_class_ontology - Variable in class org.semanticweb.more.MOReRLrew
 
mergedReasoner - Variable in class org.semanticweb.more.MOReRLrew
 
moduleExtractor - Variable in class org.semanticweb.more.lsignature.LessGreedyImprovedLsignatureExtractor
 
MORe_cli - Class in org.semanticweb.more.cli
 
MORe_cli() - Constructor for class org.semanticweb.more.cli.MORe_cli
 
MOReHermiTReasonerWrapper - Class in org.semanticweb.more.orechallenge
 
MOReHermiTReasonerWrapper(OWLOntology) - Constructor for class org.semanticweb.more.orechallenge.MOReHermiTReasonerWrapper
 
MORePelletReasonerWrapper - Class in org.semanticweb.more.orechallenge
 
MORePelletReasonerWrapper(OWLOntology) - Constructor for class org.semanticweb.more.orechallenge.MORePelletReasonerWrapper
 
MOReReasoner - Class in org.semanticweb.more
 
MOReReasoner(OWLOntology, boolean, boolean, OWLReasonerConfiguration) - Constructor for class org.semanticweb.more.MOReReasoner
 
MOReReasoner(OWLOntology, int) - Constructor for class org.semanticweb.more.MOReReasoner
 
MOReReasoner(OWLOntology, boolean, OWLReasonerConfiguration) - Constructor for class org.semanticweb.more.MOReReasoner
 
MOReReasoner(OWLOntology) - Constructor for class org.semanticweb.more.MOReReasoner
 
MOReReasoner.OntologyChangeListener - Class in org.semanticweb.more
 
MOReReasoner.OntologyChangeListener() - Constructor for class org.semanticweb.more.MOReReasoner.OntologyChangeListener
 
MOReReasonerFactory - Class in org.semanticweb.more
Factory for the OWLAPI reasoner implementation of the MORe reasoner.
MOReReasonerFactory(int) - Constructor for class org.semanticweb.more.MOReReasonerFactory
 
MOReReasonerWithRLandMaterializationByStages - Class in org.semanticweb.more
 
MOReReasonerWithRLandMaterializationByStages(OWLOntology) - Constructor for class org.semanticweb.more.MOReReasonerWithRLandMaterializationByStages
 
MOReReasonerWrapper - Class in org.semanticweb.more.orechallenge
 
MOReReasonerWrapper(OWLOntology) - Constructor for class org.semanticweb.more.orechallenge.MOReReasonerWrapper
Constructor for a simple reasoner wrapper
MOReRLrew - Class in org.semanticweb.more
 
MOReRLrew(OWLOntology) - Constructor for class org.semanticweb.more.MOReRLrew
 
MOReRLrew(OWLOntology, boolean, OWLReasonerConfiguration) - Constructor for class org.semanticweb.more.MOReRLrew
 
MOReRLrew(OWLOntology, boolean, boolean, OWLReasonerConfiguration) - Constructor for class org.semanticweb.more.MOReRLrew
 
MOReRLrewReasonerFactory - Class in org.semanticweb.more
Factory for the OWLAPI reasoner implementation of the MORe RLrew reasoner.
MOReRLrewReasonerFactory() - Constructor for class org.semanticweb.more.MOReRLrewReasonerFactory
 

N

nELaxioms() - Method in class org.semanticweb.more.MOReReasoner
 
nELKaxioms() - Method in class org.semanticweb.more.MOReReasoner
 
nonFragmentAxiomsStillNonLocal - Variable in class org.semanticweb.more.lsignature.LessGreedyImprovedLsignatureExtractor
 
normalizeAxioms - Variable in class org.semanticweb.more.MOReReasoner
 
NormalizeOWLAxiomVisitor - Class in org.semanticweb.more.visitors
 
NormalizeOWLAxiomVisitor(OWLDataFactory) - Constructor for class org.semanticweb.more.visitors.NormalizeOWLAxiomVisitor
 
NormalizeOWLClassExpressionVisitor - Class in org.semanticweb.more.visitors
 
NormalizeOWLClassExpressionVisitor(OWLDataFactory) - Constructor for class org.semanticweb.more.visitors.NormalizeOWLClassExpressionVisitor
 
notYetClassified - Variable in class org.semanticweb.more.MOReReasoner
 

O

ont - Variable in class org.semanticweb.more.orechallenge.MOReReasonerWrapper
 
ontologiesChanged(List<? extends OWLOntologyChange>) - Method in class org.semanticweb.more.MOReReasoner.OntologyChangeListener
 
ontology - Variable in class org.semanticweb.more.lsignature.LsignatureExtractor
 
ontology - Variable in class org.semanticweb.more.MOReReasoner
Working ontology
org.semanticweb.more - package org.semanticweb.more
 
org.semanticweb.more.cli - package org.semanticweb.more.cli
 
org.semanticweb.more.hermit - package org.semanticweb.more.hermit
 
org.semanticweb.more.io - package org.semanticweb.more.io
 
org.semanticweb.more.lsignature - package org.semanticweb.more.lsignature
 
org.semanticweb.more.orechallenge - package org.semanticweb.more.orechallenge
 
org.semanticweb.more.RLrewriting - package org.semanticweb.more.RLrewriting
 
org.semanticweb.more.visitors - package org.semanticweb.more.visitors
 
OWL2EL - Static variable in class org.semanticweb.more.MOReReasoner
 
owl2reasoner - Variable in class org.semanticweb.more.MOReReasoner
 
OWL2REASONERID - Variable in class org.semanticweb.more.MOReReasoner
 
OWL2ReasonerManager - Class in org.semanticweb.more
Access to an OWL 2 reasoner.
OWL2ReasonerManager() - Constructor for class org.semanticweb.more.OWL2ReasonerManager
 
OWLFragmentVisitor - Interface in org.semanticweb.more.visitors
 

P

PELLET - Static variable in class org.semanticweb.more.OWL2ReasonerManager
 
pendingChanges_root_ontology - Variable in class org.semanticweb.more.MOReReasoner
Changes if incremental classification
precomputeInferences(InferenceType...) - Method in class org.semanticweb.more.MOReReasoner
 
print(double) - Static method in class org.semanticweb.more.io.LogOutput
 
print(int) - Static method in class org.semanticweb.more.io.LogOutput
 
print(String) - Static method in class org.semanticweb.more.io.LogOutput
 
printAlways(String) - Static method in class org.semanticweb.more.io.LogOutput
 
printAxiomsNotInFragment - Variable in class org.semanticweb.more.lsignature.LsignatureExtractor
 
printError(String) - Static method in class org.semanticweb.more.io.LogOutput
 
printHierarchy(File) - Method in class org.semanticweb.more.MOReReasoner
 
printHierarchy(File) - Method in class org.semanticweb.more.MOReRLrew
 
printNotSupported(String) - Static method in class org.semanticweb.more.io.LogOutput
 
printStatsAboutInputOntology() - Method in class org.semanticweb.more.MOReReasoner
 
processInputOntology() - Method in class org.semanticweb.more.MOReReasoner
 

Q

QuasiOrderClassificationForMORe - Class in org.semanticweb.more.hermit
 
QuasiOrderClassificationForMORe(Tableau, ClassificationProgressMonitor, AtomicConcept, AtomicConcept, Set<AtomicConcept>, Graph<AtomicConcept>, Graph<AtomicConcept>) - Constructor for class org.semanticweb.more.hermit.QuasiOrderClassificationForMORe
 

R

reasoner_name - Static variable in class org.semanticweb.more.OWL2ReasonerManager
 
redirectSystemOut() - Static method in class org.semanticweb.more.RLrewriting.Utility
 
reduceLsignature() - Method in class org.semanticweb.more.lsignature.ImprovedLsignatureExtractor
 
reduceLsignature() - Method in class org.semanticweb.more.lsignature.LessGreedyImprovedLsignatureExtractor
 
reduceLsignature() - Method in class org.semanticweb.more.lsignature.LsignatureExtractor
 
refineCompModule(Graph<AtomicConcept>) - Method in class org.semanticweb.more.MOReRLrew
 
resetStructures() - Method in class org.semanticweb.more.visitors.NormalizeOWLAxiomVisitor
 
resetValues() - Method in class org.semanticweb.more.lsignature.LsignatureExtractor
 
RLAxiomVisitor - Class in org.semanticweb.more.visitors
 
RLAxiomVisitor() - Constructor for class org.semanticweb.more.visitors.RLAxiomVisitor
 
RLAxiomVisitor.RLSubClassExpressionVisitor - Class in org.semanticweb.more.visitors
 
RLAxiomVisitor.RLSubClassExpressionVisitor() - Constructor for class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
RLChecker - Class in org.semanticweb.more.RLrewriting
 
RLChecker() - Constructor for class org.semanticweb.more.RLrewriting.RLChecker
 
RLOntology - Class in org.semanticweb.more.RLrewriting
 
RLOntology() - Constructor for class org.semanticweb.more.RLrewriting.RLOntology
 
RLOntology(String, String, boolean) - Constructor for class org.semanticweb.more.RLrewriting.RLOntology
 
RLrewOntology - Class in org.semanticweb.more.RLrewriting
This class extends RLOntology so that the intermediate ontologies are not stored
RLrewOntology(OWLOntologyManager, OWLOntology, boolean) - Constructor for class org.semanticweb.more.RLrewriting.RLrewOntology
 
root_ontology - Variable in class org.semanticweb.more.MOReReasoner
Original ontology
root_ontologyChangeListener - Variable in class org.semanticweb.more.MOReReasoner
Listener to track ontology changes (Very important for Protege plugin)

S

save(OWLOntology) - Method in class org.semanticweb.more.RLrewriting.RLOntology
 
seperate() - Method in class org.semanticweb.more.RLrewriting.RLOntology
 
seperateEquality(Set<Atom>, Set<Atom>, Set<Variable>) - Method in class org.semanticweb.more.RLrewriting.Clause
 
seperateEquality4Clause(Set<Atom>, Set<Atom>, Set<Variable>) - Method in class org.semanticweb.more.RLrewriting.Clause
 
serializeClassificationResults(Set<? extends OWLAxiom>, OWLOntologyManager, String) - Static method in class org.semanticweb.more.cli.MORe_cli
Serialize classifiation results as an OWL file
serializeClassificationResults(Set<? extends OWLAxiom>, OWLOntologyManager, String) - Method in class org.semanticweb.more.orechallenge.MOReReasonerWrapper
Serialize classifiation results as an OWL file
serializeString(String, String) - Method in class org.semanticweb.more.orechallenge.MOReReasonerWrapper
Serialize the specified string to the given file
setExternalSignature(Set<OWLEntity>) - Method in class org.semanticweb.more.BottomLocalityChecker
 
setLeftSideNormalization() - Method in class org.semanticweb.more.visitors.NormalizeOWLClassExpressionVisitor
 
setReasoner(int) - Method in class org.semanticweb.more.MOReReasoner
 
setRightSideNormalization() - Method in class org.semanticweb.more.visitors.NormalizeOWLClassExpressionVisitor
 
SHIFClassExpressionVisitor - Class in org.semanticweb.more.visitors
 
SHIFClassExpressionVisitor() - Constructor for class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
showOutpuLog(boolean) - Static method in class org.semanticweb.more.io.LogOutput
 
showOutpuLogAlways(boolean) - Static method in class org.semanticweb.more.io.LogOutput
 
simplify() - Method in class org.semanticweb.more.RLrewriting.RLOntology
 
simplify(String) - Method in class org.semanticweb.more.RLrewriting.RLOntology
 
simplifyABox() - Method in class org.semanticweb.more.RLrewriting.RLOntology
 
solutions - Variable in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
solutions - Variable in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
sparql2expression(String, String) - Static method in class org.semanticweb.more.RLrewriting.Utility
 
statisticsOriginalOntology(OWLOntology) - Method in class org.semanticweb.more.MOReReasoner
 
subCounter - Variable in class org.semanticweb.more.RLrewriting.RLOntology
 

T

timeForELK - Variable in class org.semanticweb.more.MOReRLrew
 
timeForELKMerged - Variable in class org.semanticweb.more.MOReRLrew
 
timeForHermiT - Variable in class org.semanticweb.more.MOReRLrew
 
timeForLsignature - Variable in class org.semanticweb.more.MOReRLrew
 
timeForMaterialization - Variable in class org.semanticweb.more.MOReRLrew
 
timeForMergedOnto - Variable in class org.semanticweb.more.MOReRLrew
 
timeForRLrewriting - Variable in class org.semanticweb.more.MOReRLrew
 
toSet(Atom[]) - Static method in class org.semanticweb.more.RLrewriting.Utility
 
toString() - Method in class org.semanticweb.more.RLrewriting.Clause
 
transform() - Method in class org.semanticweb.more.RLrewriting.RLOntology
 
transform(OWLClassExpression) - Method in class org.semanticweb.more.RLrewriting.RLOntology
 
transform() - Method in class org.semanticweb.more.RLrewriting.RLrewOntology
 
turnHierarchyIntoAxioms(OWLReasoner) - Method in class org.semanticweb.more.MOReReasoner
 

U

unloadOntologyFragmentsFromManager() - Method in class org.semanticweb.more.MOReReasoner
Unload from manager the subontologies given to hermit and lreasoner Dispose reasoners as well
unloadOntologyFragmentsFromManager() - Method in class org.semanticweb.more.MOReRLrew
We also unload the merged ontlogy from classification
UOBM - Static variable in class org.semanticweb.more.RLrewriting.Utility
 
updateSubsumptionsUsingLeafNodeStrategy(double) - Method in class org.semanticweb.more.hermit.QuasiOrderClassificationForMORe
 
Utility - Class in org.semanticweb.more.RLrewriting
 
Utility() - Constructor for class org.semanticweb.more.RLrewriting.Utility
 

V

valueOf(String) - Static method in enum org.semanticweb.more.lsignature.LsignatureExtractor.Fragment
Returns the enum constant of this type with the specified name.
values() - Static method in enum org.semanticweb.more.lsignature.LsignatureExtractor.Fragment
Returns an array containing the constants of this enum type, in the order they are declared.
visit(OWLClass) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLObjectIntersectionOf) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLObjectUnionOf) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLObjectComplementOf) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLObjectOneOf) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLDataOneOf) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLObjectAllValuesFrom) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLDataAllValuesFrom) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLObjectSomeValuesFrom) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLDataSomeValuesFrom) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLObjectHasSelf) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLObjectHasValue) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLDataHasValue) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLObjectMinCardinality) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLDataMinCardinality) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLObjectMaxCardinality) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLDataMaxCardinality) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLObjectExactCardinality) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLDataExactCardinality) - Method in class org.semanticweb.more.BottomLocalityChecker.TopChecker
 
visit(OWLSubClassOfAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLDisjointClassesAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLEquivalentClassesAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLDisjointUnionAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLSubObjectPropertyOfAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLSubDataPropertyOfAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLEquivalentObjectPropertiesAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLEquivalentDataPropertiesAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLDisjointDataPropertiesAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLDisjointObjectPropertiesAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLFunctionalDataPropertyAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLInverseFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLInverseObjectPropertiesAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLIrreflexiveObjectPropertyAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLAsymmetricObjectPropertyAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLReflexiveObjectPropertyAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLSymmetricObjectPropertyAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLTransitiveObjectPropertyAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLObjectPropertyDomainAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLDataPropertyDomainAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLObjectPropertyRangeAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLDataPropertyRangeAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLSubPropertyChainOfAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLDeclarationAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(SWRLRule) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLHasKeyAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLDatatypeDefinitionAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLClassAssertionAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLNegativeDataPropertyAssertionAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLObjectPropertyAssertionAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLDataPropertyAssertionAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLSameIndividualAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLDifferentIndividualsAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLAnnotationAssertionAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLSubAnnotationPropertyOfAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLAnnotationPropertyDomainAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLAnnotationPropertyRangeAxiom) - Method in class org.semanticweb.more.BottomLocalityChecker
 
visit(OWLClass) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLObjectIntersectionOf) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLObjectUnionOf) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLObjectComplementOf) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLObjectOneOf) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLDataOneOf) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLObjectAllValuesFrom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLDataAllValuesFrom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLObjectSomeValuesFrom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLDataSomeValuesFrom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLObjectHasSelf) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLObjectHasValue) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLDataHasValue) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLObjectMinCardinality) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLDataMinCardinality) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLObjectMaxCardinality) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLDataMaxCardinality) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLObjectExactCardinality) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLDataExactCardinality) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker.TopChecker
 
visit(OWLSubClassOfAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLDisjointClassesAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLEquivalentClassesAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLDisjointUnionAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLSubObjectPropertyOfAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLSubDataPropertyOfAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLEquivalentObjectPropertiesAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLEquivalentDataPropertiesAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLDisjointDataPropertiesAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLDisjointObjectPropertiesAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLFunctionalDataPropertyAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLInverseFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLInverseObjectPropertiesAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLIrreflexiveObjectPropertyAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLAsymmetricObjectPropertyAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLReflexiveObjectPropertyAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLSymmetricObjectPropertyAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLTransitiveObjectPropertyAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLObjectPropertyDomainAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLDataPropertyDomainAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLObjectPropertyRangeAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLDataPropertyRangeAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLSubPropertyChainOfAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLDeclarationAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(SWRLRule) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLHasKeyAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLDatatypeDefinitionAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLClassAssertionAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLNegativeDataPropertyAssertionAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLObjectPropertyAssertionAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLDataPropertyAssertionAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLSameIndividualAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLDifferentIndividualsAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLAnnotationAssertionAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLSubAnnotationPropertyOfAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLAnnotationPropertyDomainAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLAnnotationPropertyRangeAxiom) - Method in class org.semanticweb.more.lsignature.ImprovedBottomLocalityChecker
 
visit(OWLSubClassOfAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLEquivalentClassesAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLDisjointClassesAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLInverseFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLObjectPropertyRangeAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLDataPropertyRangeAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLDataPropertyDomainAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLObjectPropertyDomainAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLAnnotationAssertionAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLSubAnnotationPropertyOfAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLAnnotationPropertyDomainAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLAnnotationPropertyRangeAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLDeclarationAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLAsymmetricObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLReflexiveObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLEquivalentObjectPropertiesAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLNegativeDataPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLDifferentIndividualsAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLDisjointDataPropertiesAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLDisjointObjectPropertiesAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLObjectPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLSubObjectPropertyOfAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLDisjointUnionAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLSymmetricObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLFunctionalDataPropertyAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLEquivalentDataPropertiesAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLClassAssertionAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLDataPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLTransitiveObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLIrreflexiveObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLSubDataPropertyOfAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLSameIndividualAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLSubPropertyChainOfAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLInverseObjectPropertiesAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLHasKeyAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLDatatypeDefinitionAxiom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(SWRLRule) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLAxiomVisitor
 
visit(OWLObjectIntersectionOf) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLObjectMinCardinality) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLDataMinCardinality) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLObjectUnionOf) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLClass) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLObjectSomeValuesFrom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLDataSomeValuesFrom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLObjectComplementOf) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLObjectAllValuesFrom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLObjectHasValue) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLObjectExactCardinality) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLObjectMaxCardinality) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLObjectHasSelf) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLObjectOneOf) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLDataAllValuesFrom) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLDataHasValue) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLDataExactCardinality) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLDataMaxCardinality) - Method in class org.semanticweb.more.visitors.AbstractNormalizeOWLClassExpressionVisitor
 
visit(OWLClass) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLObjectSomeValuesFrom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLDataSomeValuesFrom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLDataHasValue) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLObjectHasValue) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLObjectHasSelf) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLObjectOneOf) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLDataOneOf) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLObjectIntersectionOf) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLDataIntersectionOf) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLObjectUnionOf) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLObjectComplementOf) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLObjectAllValuesFrom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLObjectMinCardinality) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLObjectExactCardinality) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLObjectMaxCardinality) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLDataAllValuesFrom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLDataMinCardinality) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLDataExactCardinality) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLDataMaxCardinality) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor.ELClassExpressionVisitor
 
visit(OWLSubClassOfAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLEquivalentClassesAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLDisjointClassesAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLSubObjectPropertyOfAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLSubPropertyChainOfAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLSubDataPropertyOfAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLEquivalentObjectPropertiesAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLEquivalentDataPropertiesAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLTransitiveObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLReflexiveObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLObjectPropertyDomainAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLDataPropertyDomainAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLObjectPropertyRangeAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLDataPropertyRangeAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLFunctionalDataPropertyAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLHasKeyAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLDeclarationAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLAsymmetricObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLDisjointDataPropertiesAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLDisjointObjectPropertiesAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLDisjointUnionAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLSymmetricObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLIrreflexiveObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLInverseFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLInverseObjectPropertiesAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLDatatypeDefinitionAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(SWRLRule) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLAnnotationAssertionAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLSubAnnotationPropertyOfAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLAnnotationPropertyDomainAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLAnnotationPropertyRangeAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLClassAssertionAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLObjectPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLDataPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLNegativeDataPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLSameIndividualAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLDifferentIndividualsAxiom) - Method in class org.semanticweb.more.visitors.ELAxiomVisitor
 
visit(OWLClass) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLObjectSomeValuesFrom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLDataSomeValuesFrom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLDataHasValue) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLObjectHasValue) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLObjectHasSelf) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLObjectOneOf) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLDataOneOf) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLObjectIntersectionOf) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLDataIntersectionOf) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLObjectUnionOf) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLObjectComplementOf) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLObjectAllValuesFrom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLObjectMinCardinality) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLObjectExactCardinality) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLObjectMaxCardinality) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLDataAllValuesFrom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLDataMinCardinality) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLDataExactCardinality) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLDataMaxCardinality) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor.ELKClassExpressionVisitor
 
visit(OWLSubClassOfAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLEquivalentClassesAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLDisjointClassesAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLSubObjectPropertyOfAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLSubPropertyChainOfAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLSubDataPropertyOfAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLEquivalentObjectPropertiesAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLEquivalentDataPropertiesAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLTransitiveObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLReflexiveObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLObjectPropertyDomainAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLDataPropertyDomainAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLObjectPropertyRangeAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLDataPropertyRangeAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLFunctionalDataPropertyAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLHasKeyAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLDeclarationAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLAsymmetricObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLDisjointDataPropertiesAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLDisjointObjectPropertiesAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLDisjointUnionAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLSymmetricObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLIrreflexiveObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLInverseFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLInverseObjectPropertiesAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLDatatypeDefinitionAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(SWRLRule) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLAnnotationAssertionAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLSubAnnotationPropertyOfAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLAnnotationPropertyDomainAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLAnnotationPropertyRangeAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLClassAssertionAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLObjectPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLDataPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLNegativeDataPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLSameIndividualAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLDifferentIndividualsAxiom) - Method in class org.semanticweb.more.visitors.ELKAxiomVisitor
 
visit(OWLClass) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLObjectIntersectionOf) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLObjectUnionOf) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLObjectComplementOf) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLObjectSomeValuesFrom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLObjectAllValuesFrom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLObjectHasValue) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLObjectMinCardinality) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLObjectExactCardinality) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLObjectMaxCardinality) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLObjectHasSelf) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLObjectOneOf) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLDataSomeValuesFrom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLDataAllValuesFrom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLDataHasValue) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLDataMinCardinality) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLDataExactCardinality) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLDataMaxCardinality) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor.PosOccurrenceVisitor
 
visit(OWLSubClassOfAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLEquivalentClassesAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLDisjointClassesAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLSubObjectPropertyOfAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLSubPropertyChainOfAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLSubDataPropertyOfAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLEquivalentObjectPropertiesAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLEquivalentDataPropertiesAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLTransitiveObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLReflexiveObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLObjectPropertyDomainAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLDataPropertyDomainAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLObjectPropertyRangeAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLDataPropertyRangeAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLFunctionalDataPropertyAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLHasKeyAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLDeclarationAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLInverseObjectPropertiesAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLAsymmetricObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLDisjointDataPropertiesAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLDisjointObjectPropertiesAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLDisjointUnionAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLSymmetricObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLIrreflexiveObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLInverseFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLDatatypeDefinitionAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(SWRLRule) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLAnnotationAssertionAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLSubAnnotationPropertyOfAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLAnnotationPropertyDomainAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLAnnotationPropertyRangeAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLClassAssertionAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLObjectPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLDataPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLNegativeDataPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLSameIndividualAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLDifferentIndividualsAxiom) - Method in class org.semanticweb.more.visitors.HornSHIFAxiomVisitor
 
visit(OWLSubClassOfAxiom) - Method in class org.semanticweb.more.visitors.NormalizeOWLAxiomVisitor
 
visit(OWLEquivalentClassesAxiom) - Method in class org.semanticweb.more.visitors.NormalizeOWLAxiomVisitor
 
visit(OWLDisjointClassesAxiom) - Method in class org.semanticweb.more.visitors.NormalizeOWLAxiomVisitor
 
visit(OWLInverseFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.NormalizeOWLAxiomVisitor
 
visit(OWLObjectPropertyRangeAxiom) - Method in class org.semanticweb.more.visitors.NormalizeOWLAxiomVisitor
 
visit(OWLDataPropertyRangeAxiom) - Method in class org.semanticweb.more.visitors.NormalizeOWLAxiomVisitor
 
visit(OWLObjectPropertyDomainAxiom) - Method in class org.semanticweb.more.visitors.NormalizeOWLAxiomVisitor
 
visit(OWLDataPropertyDomainAxiom) - Method in class org.semanticweb.more.visitors.NormalizeOWLAxiomVisitor
 
visit(OWLObjectIntersectionOf) - Method in class org.semanticweb.more.visitors.NormalizeOWLClassExpressionVisitor
 
visit(OWLObjectUnionOf) - Method in class org.semanticweb.more.visitors.NormalizeOWLClassExpressionVisitor
 
visit(OWLObjectMinCardinality) - Method in class org.semanticweb.more.visitors.NormalizeOWLClassExpressionVisitor
 
visit(OWLDataMinCardinality) - Method in class org.semanticweb.more.visitors.NormalizeOWLClassExpressionVisitor
 
visit(OWLClass) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLObjectIntersectionOf) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLObjectUnionOf) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLObjectSomeValuesFrom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLObjectHasValue) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLObjectOneOf) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLDataHasValue) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLObjectComplementOf) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLObjectAllValuesFrom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLObjectMinCardinality) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLObjectExactCardinality) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLObjectMaxCardinality) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLObjectHasSelf) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLDataSomeValuesFrom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLDataAllValuesFrom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLDataMinCardinality) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLDataExactCardinality) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLDataMaxCardinality) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor.RLSubClassExpressionVisitor
 
visit(OWLSubClassOfAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLEquivalentClassesAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLDisjointClassesAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLDisjointUnionAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLSubObjectPropertyOfAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLSubPropertyChainOfAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLEquivalentObjectPropertiesAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLDisjointObjectPropertiesAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLInverseObjectPropertiesAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLObjectPropertyDomainAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLObjectPropertyRangeAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLInverseFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLReflexiveObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLIrreflexiveObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLSymmetricObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLAsymmetricObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLTransitiveObjectPropertyAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLSubDataPropertyOfAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLEquivalentDataPropertiesAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLDisjointDataPropertiesAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLDataPropertyDomainAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLDataPropertyRangeAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLFunctionalDataPropertyAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLHasKeyAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLDeclarationAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLDatatypeDefinitionAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(SWRLRule) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLAnnotationAssertionAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLSubAnnotationPropertyOfAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLAnnotationPropertyDomainAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLAnnotationPropertyRangeAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLClassAssertionAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLObjectPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLDataPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLNegativeDataPropertyAssertionAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLSameIndividualAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLDifferentIndividualsAxiom) - Method in class org.semanticweb.more.visitors.RLAxiomVisitor
 
visit(OWLClass) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLObjectSomeValuesFrom) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLDataSomeValuesFrom) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLDataHasValue) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLObjectHasValue) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLObjectHasSelf) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLObjectOneOf) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLDataOneOf) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLObjectIntersectionOf) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLDataIntersectionOf) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLObjectUnionOf) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLObjectComplementOf) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLObjectAllValuesFrom) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLObjectMinCardinality) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLObjectExactCardinality) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLObjectMaxCardinality) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLDataAllValuesFrom) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLDataMinCardinality) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLDataExactCardinality) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 
visit(OWLDataMaxCardinality) - Method in class org.semanticweb.more.visitors.SHIFClassExpressionVisitor
 

W

wasAxiomProcessed() - Method in class org.semanticweb.more.visitors.NormalizeOWLAxiomVisitor
 
WINE - Static variable in class org.semanticweb.more.RLrewriting.Utility
 

A B C D E F G H I J L M N O P Q R S T U V W

Copyright © 2013. All Rights Reserved.