uk.ac.manchester.cs.jfact.visitors

Interface DLAxiomVisitor

All Known Implementing Classes:

OntologyLoader

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

axiom visitor

Method Summary

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

Method Detail

doDefault

default void doDefault(org.semanticweb.owlapitools.decomposition.AxiomWrapper a)

Parameters:

a - parameter

visit

default void visit(AxiomDeclaration axiom)

Parameters:

axiom - AxiomDeclaration axiom to visit

visit

default void visit(AxiomEquivalentConcepts axiom)

Parameters:

axiom - AxiomEquivalentConcepts axiom to visit

visit

default void visit(AxiomDisjointConcepts axiom)

Parameters:

axiom - AxiomDisjointConcepts axiom to visit

visit

default void visit(AxiomEquivalentORoles axiom)

Parameters:

axiom - AxiomEquivalentORoles axiom to visit

visit

default void visit(AxiomEquivalentDRoles axiom)

Parameters:

axiom - AxiomEquivalentDRoles axiom to visit

visit

default void visit(AxiomDisjointORoles axiom)

Parameters:

axiom - AxiomDisjointORoles axiom to visit

visit

default void visit(AxiomDisjointDRoles axiom)

Parameters:

axiom - AxiomDisjointDRoles axiom to visit

visit

default void visit(AxiomSameIndividuals axiom)

Parameters:

axiom - AxiomSameIndividuals axiom to visit

visit

default void visit(AxiomDifferentIndividuals axiom)

Parameters:

axiom - AxiomDifferentIndividuals axiom to visit

visit

default void visit(AxiomFairnessConstraint axiom)

Parameters:

axiom - AxiomFairnessConstraint axiom to visit

visit

default void visit(AxiomRoleInverse axiom)

Parameters:

axiom - AxiomRoleInverse axiom to visit

visit

default void visit(AxiomORoleSubsumption axiom)

Parameters:

axiom - AxiomORoleSubsumption axiom to visit

visit

default void visit(AxiomDRoleSubsumption axiom)

Parameters:

axiom - AxiomDRoleSubsumption axiom to visit

visit

default void visit(AxiomORoleDomain axiom)

Parameters:

axiom - AxiomORoleDomain axiom to visit

visit

default void visit(AxiomDRoleDomain axiom)

Parameters:

axiom - AxiomDRoleDomain axiom to visit

visit

default void visit(AxiomORoleRange axiom)

Parameters:

axiom - AxiomORoleRange axiom to visit

visit

default void visit(AxiomDRoleRange axiom)

Parameters:

axiom - AxiomDRoleRange axiom to visit

visit

default void visit(AxiomRoleTransitive axiom)

Parameters:

axiom - AxiomRoleTransitive axiom to visit

visit

default void visit(AxiomRoleReflexive axiom)

Parameters:

axiom - AxiomRoleReflexive axiom to visit

visit

default void visit(AxiomRoleIrreflexive axiom)

Parameters:

axiom - AxiomRoleIrreflexive axiom to visit

visit

default void visit(AxiomRoleSymmetric axiom)

Parameters:

axiom - AxiomRoleSymmetric axiom to visit

visit

default void visit(AxiomRoleAsymmetric axiom)

Parameters:

axiom - AxiomRoleAsymmetric axiom to visit

visit

default void visit(AxiomORoleFunctional axiom)

Parameters:

axiom - AxiomORoleFunctional axiom to visit

visit

default void visit(AxiomDRoleFunctional axiom)

Parameters:

axiom - AxiomDRoleFunctional axiom to visit

visit

default void visit(AxiomRoleInverseFunctional axiom)

Parameters:

axiom - AxiomRoleInverseFunctional axiom to visit

visit

default void visit(AxiomConceptInclusion axiom)

Parameters:

axiom - AxiomConceptInclusion axiom to visit

visit

default void visit(AxiomInstanceOf axiom)

Parameters:

axiom - AxiomInstanceOf axiom to visit

visit

default void visit(AxiomRelatedTo axiom)

Parameters:

axiom - AxiomRelatedTo axiom to visit

visit

default void visit(AxiomRelatedToNot axiom)

Parameters:

axiom - AxiomRelatedToNot axiom to visit

visit

default void visit(AxiomValueOf axiom)

Parameters:

axiom - AxiomValueOf axiom to visit

visit

default void visit(AxiomValueOfNot axiom)

Parameters:

axiom - AxiomValueOfNot axiom to visit

visit

default void visit(AxiomDisjointUnion axiom)

Parameters:

axiom - AxiomDisjointUnion axiom to visit