Uses of Interface
uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor

Packages that use DLAxiomVisitor

Package	Description
uk.ac.manchester.cs.jfact.elf
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.kernel.dl.axioms
uk.ac.manchester.cs.jfact.kernel.dl.interfaces
uk.ac.manchester.cs.jfact.split
uk.ac.manchester.cs.jfact.visitors

Uses of DLAxiomVisitor in uk.ac.manchester.cs.jfact.elf

Classes in uk.ac.manchester.cs.jfact.elf that implement DLAxiomVisitor

Modifier and Type	Class and Description
class	ELFAxiomChecker
class	ELFNormalizer

Uses of DLAxiomVisitor in uk.ac.manchester.cs.jfact.kernel

Classes in uk.ac.manchester.cs.jfact.kernel that implement DLAxiomVisitor

Modifier and Type	Class and Description
class	OntologyLoader

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type DLAxiomVisitor

Modifier and Type	Method and Description
void	Ontology.accept(DLAxiomVisitor visitor) accept method for the visitor pattern

Uses of DLAxiomVisitor in uk.ac.manchester.cs.jfact.kernel.dl.axioms

Methods in uk.ac.manchester.cs.jfact.kernel.dl.axioms with parameters of type DLAxiomVisitor

Modifier and Type	Method and Description
void	AxiomValueOfNot.accept(DLAxiomVisitor visitor)
void	AxiomValueOf.accept(DLAxiomVisitor visitor)
void	AxiomSameIndividuals.accept(DLAxiomVisitor visitor)
void	AxiomRoleTransitive.accept(DLAxiomVisitor visitor)
void	AxiomRoleSymmetric.accept(DLAxiomVisitor visitor)
void	AxiomRoleReflexive.accept(DLAxiomVisitor visitor)
void	AxiomRoleIrreflexive.accept(DLAxiomVisitor visitor)
void	AxiomRoleInverseFunctional.accept(DLAxiomVisitor visitor)
void	AxiomRoleInverse.accept(DLAxiomVisitor visitor)
void	AxiomRoleAsymmetric.accept(DLAxiomVisitor visitor)
void	AxiomRelatedToNot.accept(DLAxiomVisitor visitor)
void	AxiomRelatedTo.accept(DLAxiomVisitor visitor)
void	AxiomORoleSubsumption.accept(DLAxiomVisitor visitor)
void	AxiomORoleRange.accept(DLAxiomVisitor visitor)
void	AxiomORoleFunctional.accept(DLAxiomVisitor visitor)
void	AxiomORoleDomain.accept(DLAxiomVisitor visitor)
void	AxiomInstanceOf.accept(DLAxiomVisitor visitor)
void	AxiomFairnessConstraint.accept(DLAxiomVisitor visitor)
void	AxiomEquivalentORoles.accept(DLAxiomVisitor visitor)
void	AxiomEquivalentDRoles.accept(DLAxiomVisitor visitor)
void	AxiomEquivalentConcepts.accept(DLAxiomVisitor visitor)
void	AxiomDRoleSubsumption.accept(DLAxiomVisitor visitor)
void	AxiomDRoleRange.accept(DLAxiomVisitor visitor)
void	AxiomDRoleFunctional.accept(DLAxiomVisitor visitor)
void	AxiomDRoleDomain.accept(DLAxiomVisitor visitor)
void	AxiomDisjointUnion.accept(DLAxiomVisitor visitor)
void	AxiomDisjointORoles.accept(DLAxiomVisitor visitor)
void	AxiomDisjointDRoles.accept(DLAxiomVisitor visitor)
void	AxiomDisjointConcepts.accept(DLAxiomVisitor visitor)
void	AxiomDifferentIndividuals.accept(DLAxiomVisitor visitor)
void	AxiomDeclaration.accept(DLAxiomVisitor visitor)
void	AxiomConceptInclusion.accept(DLAxiomVisitor visitor)

Uses of DLAxiomVisitor in uk.ac.manchester.cs.jfact.kernel.dl.interfaces

Methods in uk.ac.manchester.cs.jfact.kernel.dl.interfaces with parameters of type DLAxiomVisitor

Modifier and Type	Method and Description
void	Axiom.accept(DLAxiomVisitor visitor) accept method for the visitor pattern

Uses of DLAxiomVisitor in uk.ac.manchester.cs.jfact.split

Classes in uk.ac.manchester.cs.jfact.split that implement DLAxiomVisitor

Modifier and Type	Class and Description
class	SemanticLocalityChecker semantic locality checker for DL axioms
class	SyntacticLocalityChecker syntactic locality checker for DL axioms
class	TSignatureUpdater update signature by adding the signature of a given axiom to it

Uses of DLAxiomVisitor in uk.ac.manchester.cs.jfact.visitors

Classes in uk.ac.manchester.cs.jfact.visitors that implement DLAxiomVisitor

Modifier and Type	Class and Description
class	DLAxiomVisitorAdapter