uk.ac.manchester.cs.jfact.visitors

Interface DLAxiomVisitor

All Known Implementing Classes:

DLAxiomVisitorAdapter, ELFAxiomChecker, ELFNormalizer, OntologyLoader, SemanticLocalityChecker, SyntacticLocalityChecker, TSignatureUpdater

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

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)
void	visitOntology(Ontology ontology)

Method Detail

visit

void visit(AxiomDeclaration axiom)

visit

void visit(AxiomEquivalentConcepts axiom)

visit

void visit(AxiomDisjointConcepts axiom)

visit

void visit(AxiomEquivalentORoles axiom)

visit

void visit(AxiomEquivalentDRoles axiom)

visit

void visit(AxiomDisjointORoles axiom)

visit

void visit(AxiomDisjointDRoles axiom)

visit

void visit(AxiomSameIndividuals axiom)

visit

void visit(AxiomDifferentIndividuals axiom)

visit

void visit(AxiomFairnessConstraint axiom)

visit

void visit(AxiomRoleInverse axiom)

visit

void visit(AxiomORoleSubsumption axiom)

visit

void visit(AxiomDRoleSubsumption axiom)

visit

void visit(AxiomORoleDomain axiom)

visit

void visit(AxiomDRoleDomain axiom)

visit

void visit(AxiomORoleRange axiom)

visit

void visit(AxiomDRoleRange axiom)

visit

void visit(AxiomRoleTransitive axiom)

visit

void visit(AxiomRoleReflexive axiom)

visit

void visit(AxiomRoleIrreflexive axiom)

visit

void visit(AxiomRoleSymmetric axiom)

visit

void visit(AxiomRoleAsymmetric axiom)

visit

void visit(AxiomORoleFunctional axiom)

visit

void visit(AxiomDRoleFunctional axiom)

visit

void visit(AxiomRoleInverseFunctional axiom)

visit

void visit(AxiomConceptInclusion axiom)

visit

void visit(AxiomInstanceOf axiom)

visit

void visit(AxiomRelatedTo axiom)

visit

void visit(AxiomRelatedToNot axiom)

visit

void visit(AxiomValueOf axiom)

visit

void visit(AxiomValueOfNot axiom)

visitOntology

@PortedFrom(file="tDLAxiom.h",
            name="visitOntology")
void visitOntology(Ontology ontology)

visit

void visit(AxiomDisjointUnion axiom)