uk.ac.manchester.cs.jfact.split

Class SyntacticLocalityChecker

java.lang.Object

uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter

uk.ac.manchester.cs.jfact.split.SigAccessor

uk.ac.manchester.cs.jfact.split.SyntacticLocalityChecker

All Implemented Interfaces:

LocalityChecker, DLAxiomVisitor, DLExpressionVisitor

@PortedFrom(file="SyntacticLocalityChecker.h",
            name="SyntacticLocalityChecker")
public class SyntacticLocalityChecker
extends SigAccessor
implements DLAxiomVisitor, LocalityChecker

syntactic locality checker for DL axioms

Constructor Summary

Constructors

Constructor and Description
SyntacticLocalityChecker() init c'tor

Method Summary

Methods

Modifier and Type	Method and Description
TSignature	getSignature()
boolean	local(Axiom axiom)
void	preprocessOntology(Collection<Axiom> s) allow the checker to preprocess an ontology if necessary
void	setSignatureValue(TSignature Sig) set a new value of a signature (without changing a locality parameters)
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) there is no such axiom in OWL API, but I hope nobody would use Fairness here
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) as BotRole is irreflexive, the only local axiom is topEquivalent(R)
void	visit(AxiomRoleSymmetric axiom)
void	visit(AxiomRoleTransitive axiom)
void	visit(AxiomSameIndividuals axiom)
void	visit(AxiomValueOf axiom)
void	visit(AxiomValueOfNot axiom)
void	visitOntology(Ontology ontology) load ontology to a given KB

Methods inherited from class uk.ac.manchester.cs.jfact.split.SigAccessor

isTopOrBuiltInDataType, isTopOrBuiltInInfDataType, setSignature, topCLocal, topRLocal

Methods inherited from class uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Constructor Detail

SyntacticLocalityChecker

public SyntacticLocalityChecker()

init c'tor

Method Detail

getSignature

@Original
public TSignature getSignature()

Specified by:

getSignature in interface LocalityChecker

setSignatureValue

@Original
public void setSignatureValue(TSignature Sig)

set a new value of a signature (without changing a locality parameters)

Specified by:

setSignatureValue in interface LocalityChecker

local

@PortedFrom(file="SyntacticLocalityChecker.h",
            name="local")
public boolean local(Axiom axiom)

Specified by:

local in interface LocalityChecker

Returns:

true iff an AXIOM is local wrt defined policy

visitOntology

@Original
public void visitOntology(Ontology ontology)

load ontology to a given KB

Specified by:

visitOntology in interface DLAxiomVisitor

visit

public void visit(AxiomDeclaration axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomEquivalentConcepts axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomDisjointConcepts axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomDisjointUnion axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomEquivalentORoles axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomEquivalentDRoles axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomDisjointORoles axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomDisjointDRoles axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomSameIndividuals axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomDifferentIndividuals axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomFairnessConstraint axiom)

there is no such axiom in OWL API, but I hope nobody would use Fairness here

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomRoleInverse axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomORoleSubsumption axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomDRoleSubsumption axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomORoleDomain axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomDRoleDomain axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomORoleRange axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomDRoleRange axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomRoleTransitive axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomRoleReflexive axiom)

as BotRole is irreflexive, the only local axiom is topEquivalent(R)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomRoleIrreflexive axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomRoleSymmetric axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomRoleAsymmetric axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomORoleFunctional axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomDRoleFunctional axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomRoleInverseFunctional axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomConceptInclusion axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomInstanceOf axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomRelatedTo axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomRelatedToNot axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomValueOf axiom)

Specified by:

visit in interface DLAxiomVisitor

visit

public void visit(AxiomValueOfNot axiom)

Specified by:

visit in interface DLAxiomVisitor

preprocessOntology

@Original
public void preprocessOntology(Collection<Axiom> s)

Description copied from interface: LocalityChecker

allow the checker to preprocess an ontology if necessary

Specified by:

preprocessOntology in interface LocalityChecker