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

Packages that use DLAxiomVisitor

Package	Description
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.kernel.dl.axioms

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 ontology loader

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	AxiomDRoleRange.accept(DLAxiomVisitor visitor)
void	AxiomORoleSubsumption.accept(DLAxiomVisitor visitor)
void	AxiomRelatedToNot.accept(DLAxiomVisitor visitor)
void	AxiomRoleInverseFunctional.accept(DLAxiomVisitor visitor)
abstract void	AxiomImpl.accept(DLAxiomVisitor visitor) accept method for the visitor pattern
void	AxiomDRoleDomain.accept(DLAxiomVisitor visitor)
void	AxiomValueOfNot.accept(DLAxiomVisitor visitor)
void	AxiomRoleTransitive.accept(DLAxiomVisitor visitor)
void	AxiomDisjointConcepts.accept(DLAxiomVisitor visitor)
void	AxiomEquivalentConcepts.accept(DLAxiomVisitor visitor)
void	AxiomEquivalentDRoles.accept(DLAxiomVisitor visitor)
void	AxiomDRoleSubsumption.accept(DLAxiomVisitor visitor)
void	AxiomORoleDomain.accept(DLAxiomVisitor visitor)
void	AxiomRoleIrreflexive.accept(DLAxiomVisitor visitor)
void	AxiomRoleReflexive.accept(DLAxiomVisitor visitor)
void	AxiomFairnessConstraint.accept(DLAxiomVisitor visitor)
void	AxiomEquivalentORoles.accept(DLAxiomVisitor visitor)
void	AxiomInstanceOf.accept(DLAxiomVisitor visitor)
void	AxiomDeclaration.accept(DLAxiomVisitor visitor)
void	AxiomORoleRange.accept(DLAxiomVisitor visitor)
void	AxiomRelatedTo.accept(DLAxiomVisitor visitor)
void	AxiomRoleSymmetric.accept(DLAxiomVisitor visitor)
void	AxiomRoleAsymmetric.accept(DLAxiomVisitor visitor)
void	AxiomRoleInverse.accept(DLAxiomVisitor visitor)
void	AxiomDisjointUnion.accept(DLAxiomVisitor visitor)
void	AxiomSameIndividuals.accept(DLAxiomVisitor visitor)
void	AxiomValueOf.accept(DLAxiomVisitor visitor)
void	AxiomDRoleFunctional.accept(DLAxiomVisitor visitor)
void	AxiomDifferentIndividuals.accept(DLAxiomVisitor visitor)
void	AxiomORoleFunctional.accept(DLAxiomVisitor visitor)
void	AxiomDisjointORoles.accept(DLAxiomVisitor visitor)
void	AxiomConceptInclusion.accept(DLAxiomVisitor visitor)
void	AxiomDisjointDRoles.accept(DLAxiomVisitor visitor)