SyntacticLocalityChecker (OWLAPI :: Atomic Decomposition and Explanation 5.0.1 API)

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()
init c'tor

Constructors
Constructor and Description
`SyntacticLocalityChecker()` init c'tor

Method Summary

All Methods Instance Methods Concrete Methods
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)`
`void`	`visit(OWLAnnotationPropertyDomainAxiom axiom)`
`void`	`visit(OWLAnnotationPropertyRangeAxiom axiom)`
`void`	`visit(OWLAsymmetricObjectPropertyAxiom axiom)`
`void`	`visit(OWLClassAssertionAxiom axiom)`
`void`	`visit(OWLDataPropertyAssertionAxiom axiom)`
`void`	`visit(OWLDataPropertyDomainAxiom axiom)`
`void`	`visit(OWLDataPropertyRangeAxiom axiom)`
`void`	`visit(OWLDatatypeDefinitionAxiom axiom)`
`void`	`visit(OWLDeclarationAxiom axiom)`
`void`	`visit(OWLDifferentIndividualsAxiom axiom)`
`void`	`visit(OWLDisjointClassesAxiom axiom)`
`void`	`visit(OWLDisjointDataPropertiesAxiom axiom)`
`void`	`visit(OWLDisjointObjectPropertiesAxiom axiom)`
`void`	`visit(OWLDisjointUnionAxiom axiom)`
`void`	`visit(OWLEquivalentClassesAxiom axiom)`
`void`	`visit(OWLEquivalentDataPropertiesAxiom axiom)`
`void`	`visit(OWLEquivalentObjectPropertiesAxiom axiom)`
`void`	`visit(OWLFunctionalDataPropertyAxiom axiom)`
`void`	`visit(OWLFunctionalObjectPropertyAxiom axiom)`
`void`	`visit(OWLHasKeyAxiom axiom)`
`void`	`visit(OWLInverseFunctionalObjectPropertyAxiom axiom)`
`void`	`visit(OWLInverseObjectPropertiesAxiom axiom)`
`void`	`visit(OWLIrreflexiveObjectPropertyAxiom axiom)`
`void`	`visit(OWLNegativeDataPropertyAssertionAxiom axiom)`
`void`	`visit(OWLNegativeObjectPropertyAssertionAxiom axiom)`
`void`	`visit(OWLObjectPropertyAssertionAxiom axiom)`
`void`	`visit(OWLObjectPropertyDomainAxiom axiom)`
`void`	`visit(OWLObjectPropertyRangeAxiom axiom)`
`void`	`visit(OWLReflexiveObjectPropertyAxiom axiom)` as BotRole is irreflexive, the only local axiom is topEquivalent(R)
`void`	`visit(OWLSameIndividualAxiom axiom)`
`void`	`visit(OWLSubAnnotationPropertyOfAxiom axiom)`
`void`	`visit(OWLSubClassOfAxiom axiom)`
`void`	`visit(OWLSubDataPropertyOfAxiom axiom)`
`void`	`visit(OWLSubObjectPropertyOfAxiom axiom)`
`void`	`visit(OWLSubPropertyChainOfAxiom axiom)`
`void`	`visit(OWLSymmetricObjectPropertyAxiom axiom)`
`void`	`visit(OWLTransitiveObjectPropertyAxiom axiom)`
`void`	`visit(SWRLRule rule)`

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()
```
    init c'tor
- 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
  - visit
```
public void visit(OWLEquivalentClassesAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLDisjointClassesAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLDisjointUnionAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLEquivalentObjectPropertiesAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLEquivalentDataPropertiesAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLDisjointObjectPropertiesAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLDisjointDataPropertiesAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLSameIndividualAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLDifferentIndividualsAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLInverseObjectPropertiesAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLSubObjectPropertyOfAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLSubDataPropertyOfAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLObjectPropertyDomainAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLDataPropertyDomainAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLObjectPropertyRangeAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLDataPropertyRangeAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLTransitiveObjectPropertyAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLReflexiveObjectPropertyAxiom axiom)
```
    as BotRole is irreflexive, the only local axiom is topEquivalent(R)
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLIrreflexiveObjectPropertyAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLSymmetricObjectPropertyAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLAsymmetricObjectPropertyAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLFunctionalObjectPropertyAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLFunctionalDataPropertyAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLSubClassOfAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLClassAssertionAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLObjectPropertyAssertionAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLDataPropertyAssertionAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - 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)
```
    Specified by:
    
    visit in interface OWLAnnotationAxiomVisitor
  - visit
```
public void visit(OWLSubAnnotationPropertyOfAxiom axiom)
```
    Specified by:
    
    visit in interface OWLAnnotationAxiomVisitor
  - visit
```
public void visit(OWLAnnotationPropertyDomainAxiom axiom)
```
    Specified by:
    
    visit in interface OWLAnnotationAxiomVisitor
  - visit
```
public void visit(OWLAnnotationPropertyRangeAxiom axiom)
```
    Specified by:
    
    visit in interface OWLAnnotationAxiomVisitor
  - visit
```
public void visit(OWLSubPropertyChainOfAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLHasKeyAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLDatatypeDefinitionAxiom axiom)
```
    Specified by:
    
    visit in interface OWLAxiomVisitor
  - visit
```
public void visit(SWRLRule rule)
```
    Specified by:
    
    visit in interface SWRLRuleVisitorBase

Class SyntacticLocalityChecker

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

SyntacticLocalityChecker

Method Detail

isTopEquivalent

isBotEquivalent

getSignature

setSignatureValue

local

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

preprocessOntology

visit

visit

visit

visit

visit

visit

visit

visit