uk.ac.manchester.cs.jfact.elf

Class ELFAxiomChecker

java.lang.Object

uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorAdapter

uk.ac.manchester.cs.jfact.elf.ELFAxiomChecker

All Implemented Interfaces:

DLAxiomVisitor

@PortedFrom(file="ELFAxiomChecker.h",
            name="ELFAxiomChecker")
public class ELFAxiomChecker
extends DLAxiomVisitorAdapter

Constructor Summary

Constructors

Constructor and Description
ELFAxiomChecker()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	value()
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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ELFAxiomChecker

public ELFAxiomChecker()

Method Detail

visit

public void visit(AxiomDeclaration axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomEquivalentConcepts axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomDisjointConcepts axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomDisjointUnion axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomEquivalentORoles axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomEquivalentDRoles axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomDisjointORoles axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomDisjointDRoles axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomSameIndividuals axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomDifferentIndividuals axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomFairnessConstraint axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomRoleInverse axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomORoleSubsumption axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomDRoleSubsumption axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomORoleDomain axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomDRoleDomain axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomORoleRange axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomDRoleRange axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomRoleTransitive axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomRoleReflexive axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomRoleIrreflexive axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomRoleSymmetric axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomRoleAsymmetric axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomORoleFunctional axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomDRoleFunctional axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomRoleInverseFunctional axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomConceptInclusion axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomInstanceOf axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomRelatedTo axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomRelatedToNot axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomValueOf axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomValueOfNot axiom)

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visitOntology

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

Specified by:

visitOntology in interface DLAxiomVisitor

Overrides:

visitOntology in class DLAxiomVisitorAdapter

value

@PortedFrom(file="ELFAxiomChecker.h",
            name="value")
public boolean value()