Uses of Class
uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleSubsumption

Packages that use AxiomDRoleSubsumption

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

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

Methods in uk.ac.manchester.cs.jfact.elf with parameters of type AxiomDRoleSubsumption

Modifier and Type	Method and Description
void	ELFAxiomChecker.visit(AxiomDRoleSubsumption axiom)

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

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

Modifier and Type	Method and Description
void	OntologyLoader.visit(AxiomDRoleSubsumption axiom)

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

Methods in uk.ac.manchester.cs.jfact.split with parameters of type AxiomDRoleSubsumption

Modifier and Type	Method and Description
void	TSignatureUpdater.visit(AxiomDRoleSubsumption axiom)
void	SyntacticLocalityChecker.visit(AxiomDRoleSubsumption axiom)
void	SemanticLocalityChecker.visit(AxiomDRoleSubsumption axiom)

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

Methods in uk.ac.manchester.cs.jfact.visitors with parameters of type AxiomDRoleSubsumption

Modifier and Type	Method and Description
A	DLAxiomVisitorExAdapter.visit(AxiomDRoleSubsumption axiom)
O	DLAxiomVisitorEx.visit(AxiomDRoleSubsumption axiom)
void	DLAxiomVisitorAdapter.visit(AxiomDRoleSubsumption axiom)
void	DLAxiomVisitor.visit(AxiomDRoleSubsumption axiom)