uk.ac.manchester.cs.jfact.visitors

Interface DLAxiomVisitor

All Known Implementing Classes:

DLAxiomVisitorAdapter, ExtendedSyntacticLocalityChecker, GeneralSyntacticLocalityChecker, OntologyLoader, SemanticLocalityChecker, SyntacticLocalityChecker, TSignatureUpdater

@PortedFrom(file="tDLAxiom.h",
            name="DLAxiomVisitor")
public interface DLAxiomVisitor

axiom visitor

Method Summary

Methods

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

Method Detail

visit

void visit(AxiomDeclaration axiom)

Parameters:

axiom - AxiomDeclaration axiom to visit

visit

void visit(AxiomEquivalentConcepts axiom)

Parameters:

axiom - AxiomEquivalentConcepts axiom to visit

visit

void visit(AxiomDisjointConcepts axiom)

Parameters:

axiom - AxiomDisjointConcepts axiom to visit

visit

void visit(AxiomEquivalentORoles axiom)

Parameters:

axiom - AxiomEquivalentORoles axiom to visit

visit

void visit(AxiomEquivalentDRoles axiom)

Parameters:

axiom - AxiomEquivalentDRoles axiom to visit

visit

void visit(AxiomDisjointORoles axiom)

Parameters:

axiom - AxiomDisjointORoles axiom to visit

visit

void visit(AxiomDisjointDRoles axiom)

Parameters:

axiom - AxiomDisjointDRoles axiom to visit

visit

void visit(AxiomSameIndividuals axiom)

Parameters:

axiom - AxiomSameIndividuals axiom to visit

visit

void visit(AxiomDifferentIndividuals axiom)

Parameters:

axiom - AxiomDifferentIndividuals axiom to visit

visit

void visit(AxiomFairnessConstraint axiom)

Parameters:

axiom - AxiomFairnessConstraint axiom to visit

visit

void visit(AxiomRoleInverse axiom)

Parameters:

axiom - AxiomRoleInverse axiom to visit

visit

void visit(AxiomORoleSubsumption axiom)

Parameters:

axiom - AxiomORoleSubsumption axiom to visit

visit

void visit(AxiomDRoleSubsumption axiom)

Parameters:

axiom - AxiomDRoleSubsumption axiom to visit

visit

void visit(AxiomORoleDomain axiom)

Parameters:

axiom - AxiomORoleDomain axiom to visit

visit

void visit(AxiomDRoleDomain axiom)

Parameters:

axiom - AxiomDRoleDomain axiom to visit

visit

void visit(AxiomORoleRange axiom)

Parameters:

axiom - AxiomORoleRange axiom to visit

visit

void visit(AxiomDRoleRange axiom)

Parameters:

axiom - AxiomDRoleRange axiom to visit

visit

void visit(AxiomRoleTransitive axiom)

Parameters:

axiom - AxiomRoleTransitive axiom to visit

visit

void visit(AxiomRoleReflexive axiom)

Parameters:

axiom - AxiomRoleReflexive axiom to visit

visit

void visit(AxiomRoleIrreflexive axiom)

Parameters:

axiom - AxiomRoleIrreflexive axiom to visit

visit

void visit(AxiomRoleSymmetric axiom)

Parameters:

axiom - AxiomRoleSymmetric axiom to visit

visit

void visit(AxiomRoleAsymmetric axiom)

Parameters:

axiom - AxiomRoleAsymmetric axiom to visit

visit

void visit(AxiomORoleFunctional axiom)

Parameters:

axiom - AxiomORoleFunctional axiom to visit

visit

void visit(AxiomDRoleFunctional axiom)

Parameters:

axiom - AxiomDRoleFunctional axiom to visit

visit

void visit(AxiomRoleInverseFunctional axiom)

Parameters:

axiom - AxiomRoleInverseFunctional axiom to visit

visit

void visit(AxiomConceptInclusion axiom)

Parameters:

axiom - AxiomConceptInclusion axiom to visit

visit

void visit(AxiomInstanceOf axiom)

Parameters:

axiom - AxiomInstanceOf axiom to visit

visit

void visit(AxiomRelatedTo axiom)

Parameters:

axiom - AxiomRelatedTo axiom to visit

visit

void visit(AxiomRelatedToNot axiom)

Parameters:

axiom - AxiomRelatedToNot axiom to visit

visit

void visit(AxiomValueOf axiom)

Parameters:

axiom - AxiomValueOf axiom to visit

visit

void visit(AxiomValueOfNot axiom)

Parameters:

axiom - AxiomValueOfNot axiom to visit

visit

void visit(AxiomDisjointUnion axiom)

Parameters:

axiom - AxiomDisjointUnion axiom to visit