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

Packages that use AxiomFairnessConstraint

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

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

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

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

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

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

Modifier and Type	Method and Description
void	TSignatureUpdater.visit(AxiomFairnessConstraint axiom)
void	SemanticLocalityChecker.visit(AxiomFairnessConstraint axiom) there is no such axiom in OWL API, but I hope nobody would use Fairness here
void	GeneralSyntacticLocalityChecker.visit(AxiomFairnessConstraint axiom) FaCT++ extension: there is no such axiom in OWL API, but I hope nobody would use Fairness here

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

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

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