org.semanticweb.owlapitools.decomposition

Class SyntacticLocalityChecker

java.lang.Object

org.semanticweb.owlapitools.decomposition.SyntacticLocalityChecker

All Implemented Interfaces:

OWLAnnotationAxiomVisitor, OWLAxiomVisitor, OWLLogicalAxiomVisitor, OWLVisitorBase, SWRLRuleVisitorBase, LocalityChecker

public class SyntacticLocalityChecker
extends Object
implements OWLAxiomVisitor, LocalityChecker

syntactic locality checker for DL axioms

Constructor Summary

Constructors

Constructor and Description
SyntacticLocalityChecker() Fresh checker.

Method Summary

Modifier and Type	Method and Description
Signature	getSignature()
boolean	isBotEquivalent(OWLObject expr)
boolean	isTopEquivalent(OWLObject expr)
boolean	local(OWLAxiom axiom)
void	preprocessOntology(Collection<AxiomWrapper> s) Allow the checker to preprocess an ontology if necessary
void	setSignatureValue(Signature sig) set a new value of a signature (without changing a locality parameters)
void	visit(OWLAnnotationAssertionAxiom axiom) visit OWLAnnotationAssertionAxiom type
void	visit(OWLAnnotationPropertyDomainAxiom axiom) visit OWLAnnotationPropertyDomainAxiom type
void	visit(OWLAnnotationPropertyRangeAxiom axiom) visit OWLAnnotationPropertyRangeAxiom type
void	visit(OWLAsymmetricObjectPropertyAxiom axiom) visit OWLAsymmetricObjectPropertyAxiom type
void	visit(OWLClassAssertionAxiom axiom) visit OWLClassAssertionAxiom type
void	visit(OWLDataPropertyAssertionAxiom axiom) visit OWLDataPropertyAssertionAxiom type
void	visit(OWLDataPropertyDomainAxiom axiom) visit OWLDataPropertyDomainAxiom type
void	visit(OWLDataPropertyRangeAxiom axiom) visit OWLDataPropertyRangeAxiom type
void	visit(OWLDatatypeDefinitionAxiom axiom)
void	visit(OWLDeclarationAxiom axiom)
void	visit(OWLDifferentIndividualsAxiom axiom) visit OWLDifferentIndividualsAxiom type
void	visit(OWLDisjointClassesAxiom axiom) visit OWLDisjointClassesAxiom type
void	visit(OWLDisjointDataPropertiesAxiom axiom) visit OWLDisjointDataPropertiesAxiom type
void	visit(OWLDisjointObjectPropertiesAxiom axiom) visit OWLDisjointObjectPropertiesAxiom type
void	visit(OWLDisjointUnionAxiom axiom) visit OWLDisjointUnionAxiom type
void	visit(OWLEquivalentClassesAxiom axiom) visit OWLEquivalentClassesAxiom type
void	visit(OWLEquivalentDataPropertiesAxiom axiom) visit OWLEquivalentDataPropertiesAxiom type
void	visit(OWLEquivalentObjectPropertiesAxiom axiom) visit OWLEquivalentObjectPropertiesAxiom type
void	visit(OWLFunctionalDataPropertyAxiom axiom) visit OWLFunctionalDataPropertyAxiom type
void	visit(OWLFunctionalObjectPropertyAxiom axiom) visit OWLFunctionalObjectPropertyAxiom type
void	visit(OWLHasKeyAxiom axiom) visit OWLHasKeyAxiom type
void	visit(OWLInverseFunctionalObjectPropertyAxiom axiom) visit OWLInverseFunctionalObjectPropertyAxiom type
void	visit(OWLInverseObjectPropertiesAxiom axiom) visit OWLInverseObjectPropertiesAxiom type
void	visit(OWLIrreflexiveObjectPropertyAxiom axiom) visit OWLIrreflexiveObjectPropertyAxiom type
void	visit(OWLNegativeDataPropertyAssertionAxiom axiom) visit OWLNegativeDataPropertyAssertionAxiom type
void	visit(OWLNegativeObjectPropertyAssertionAxiom axiom) visit OWLNegativeObjectPropertyAssertionAxiom type
void	visit(OWLObjectPropertyAssertionAxiom axiom) visit OWLObjectPropertyAssertionAxiom type
void	visit(OWLObjectPropertyDomainAxiom axiom) visit OWLObjectPropertyDomainAxiom type
void	visit(OWLObjectPropertyRangeAxiom axiom) visit OWLObjectPropertyRangeAxiom type
void	visit(OWLReflexiveObjectPropertyAxiom axiom) as BotRole is irreflexive, the only local axiom is topEquivalent(R)
void	visit(OWLSameIndividualAxiom axiom) visit OWLSameIndividualAxiom type
void	visit(OWLSubAnnotationPropertyOfAxiom axiom) visit OWLSubAnnotationPropertyOfAxiom type
void	visit(OWLSubClassOfAxiom axiom) visit OWLSubClassOfAxiom type
void	visit(OWLSubDataPropertyOfAxiom axiom) visit OWLSubDataPropertyOfAxiom type
void	visit(OWLSubObjectPropertyOfAxiom axiom) visit OWLSubObjectPropertyOfAxiom type
void	visit(OWLSubPropertyChainOfAxiom axiom) visit OWLSubPropertyChainOfAxiom type
void	visit(OWLSymmetricObjectPropertyAxiom axiom) visit OWLSymmetricObjectPropertyAxiom type
void	visit(OWLTransitiveObjectPropertyAxiom axiom) visit OWLTransitiveObjectPropertyAxiom type
void	visit(SWRLRule rule) visit SWRLRule type

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.owlapi.model.OWLVisitorBase

doDefault, getDefaultReturnValue, handleDefault

Constructor Detail

SyntacticLocalityChecker

public SyntacticLocalityChecker()

Fresh checker.

Method Detail

isTopEquivalent

public boolean isTopEquivalent(OWLObject expr)

Specified by:

isTopEquivalent in interface LocalityChecker

Parameters:

expr - expression to evaluate

Returns:

true iff EXPR is top equivalent

isBotEquivalent

public boolean isBotEquivalent(OWLObject expr)

Specified by:

isBotEquivalent in interface LocalityChecker

Parameters:

expr - expression to evaluate

Returns:

true iff EXPR is bottom equivalent

getSignature

public Signature getSignature()

Specified by:

getSignature in interface LocalityChecker

Returns:

signature being used

setSignatureValue

public void setSignatureValue(Signature sig)

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

Specified by:

setSignatureValue in interface LocalityChecker

Parameters:

sig - signature to use

local

public boolean local(OWLAxiom axiom)

Specified by:

local in interface LocalityChecker

Parameters:

axiom - axiom to check

Returns:

true iff an AXIOM is local wrt defined policy

visit

public void visit(OWLDeclarationAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLEquivalentClassesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLEquivalentClassesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDisjointClassesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDisjointClassesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDisjointUnionAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDisjointUnionAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLEquivalentObjectPropertiesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLEquivalentObjectPropertiesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLEquivalentDataPropertiesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLEquivalentDataPropertiesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDisjointObjectPropertiesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDisjointObjectPropertiesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDisjointDataPropertiesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDisjointDataPropertiesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLSameIndividualAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSameIndividualAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDifferentIndividualsAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDifferentIndividualsAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLInverseObjectPropertiesAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLInverseObjectPropertiesAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLSubObjectPropertyOfAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSubObjectPropertyOfAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLSubDataPropertyOfAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSubDataPropertyOfAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLObjectPropertyDomainAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLObjectPropertyDomainAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDataPropertyDomainAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDataPropertyDomainAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLObjectPropertyRangeAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLObjectPropertyRangeAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDataPropertyRangeAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDataPropertyRangeAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLTransitiveObjectPropertyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLTransitiveObjectPropertyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLReflexiveObjectPropertyAxiom axiom)

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

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLIrreflexiveObjectPropertyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLIrreflexiveObjectPropertyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLSymmetricObjectPropertyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSymmetricObjectPropertyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLAsymmetricObjectPropertyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLAsymmetricObjectPropertyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLFunctionalObjectPropertyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLFunctionalObjectPropertyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLFunctionalDataPropertyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLFunctionalDataPropertyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLInverseFunctionalObjectPropertyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLSubClassOfAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSubClassOfAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLClassAssertionAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLClassAssertionAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLObjectPropertyAssertionAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLObjectPropertyAssertionAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLNegativeObjectPropertyAssertionAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDataPropertyAssertionAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLDataPropertyAssertionAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLNegativeDataPropertyAssertionAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLNegativeDataPropertyAssertionAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

preprocessOntology

public void preprocessOntology(Collection<AxiomWrapper> s)

Description copied from interface: LocalityChecker

Allow the checker to preprocess an ontology if necessary

Specified by:

preprocessOntology in interface LocalityChecker

Parameters:

s - collection of axioms

visit

public void visit(OWLAnnotationAssertionAxiom axiom)

Description copied from interface: OWLAnnotationAxiomVisitor

visit OWLAnnotationAssertionAxiom type

Specified by:

visit in interface OWLAnnotationAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLSubAnnotationPropertyOfAxiom axiom)

Description copied from interface: OWLAnnotationAxiomVisitor

visit OWLSubAnnotationPropertyOfAxiom type

Specified by:

visit in interface OWLAnnotationAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLAnnotationPropertyDomainAxiom axiom)

Description copied from interface: OWLAnnotationAxiomVisitor

visit OWLAnnotationPropertyDomainAxiom type

Specified by:

visit in interface OWLAnnotationAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLAnnotationPropertyRangeAxiom axiom)

Description copied from interface: OWLAnnotationAxiomVisitor

visit OWLAnnotationPropertyRangeAxiom type

Specified by:

visit in interface OWLAnnotationAxiomVisitor

Parameters:

axiom - object to visit

visit

public void visit(OWLSubPropertyChainOfAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLSubPropertyChainOfAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLHasKeyAxiom axiom)

Description copied from interface: OWLLogicalAxiomVisitor

visit OWLHasKeyAxiom type

Specified by:

visit in interface OWLLogicalAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(OWLDatatypeDefinitionAxiom axiom)

Specified by:

visit in interface OWLAxiomVisitor

Parameters:

axiom - axiom to visit

visit

public void visit(SWRLRule rule)

Description copied from interface: SWRLRuleVisitorBase

visit SWRLRule type

Specified by:

visit in interface SWRLRuleVisitorBase

Parameters:

rule - node to visit