Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
Copyright © 2013. All Rights Reserved.