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

java.lang.Object
- org.semanticweb.owlapitools.decomposition.SemanticLocalityChecker

All Implemented Interfaces:

OWLAnnotationAxiomVisitor, OWLAxiomVisitor, OWLLogicalAxiomVisitor, OWLVisitorBase, SWRLRuleVisitorBase, LocalityChecker
```
public class SemanticLocalityChecker
extends Object
implements OWLAxiomVisitor, LocalityChecker
```
semantic locality checker for DL axioms

Constructor Summary

Constructors
Constructor and Description
`SemanticLocalityChecker(OWLReasoner r)` init c'tor
`SemanticLocalityChecker(OWLReasonerFactory f, OWLOntologyManager m)` 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> axioms)` 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(OWLAsymmetricObjectPropertyAxiom axiom)`
`void`	`visit(OWLClassAssertionAxiom axiom)` for top locality, this might be local
`void`	`visit(OWLDataPropertyAssertionAxiom axiom)` R(i,v) holds if {i} [= \ER.{v}
`void`	`visit(OWLDataPropertyDomainAxiom axiom)`
`void`	`visit(OWLDataPropertyRangeAxiom 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(OWLInverseFunctionalObjectPropertyAxiom axiom)`
`void`	`visit(OWLInverseObjectPropertiesAxiom axiom)`
`void`	`visit(OWLIrreflexiveObjectPropertyAxiom axiom)`
`void`	`visit(OWLNegativeDataPropertyAssertionAxiom axiom)`
`void`	`visit(OWLNegativeObjectPropertyAssertionAxiom axiom)` !R(i,j) holds if {i} [= \AR.!{j}=!\ER.{j}
`void`	`visit(OWLObjectPropertyAssertionAxiom axiom)` R(i,j) holds if {i} [= \ER.{j}
`void`	`visit(OWLObjectPropertyDomainAxiom axiom)` Domain(R) = C is tautology iff ER.Top [= C
`void`	`visit(OWLObjectPropertyRangeAxiom axiom)` Range(R) = C is tautology iff ER.~C is unsatisfiable
`void`	`visit(OWLReflexiveObjectPropertyAxiom axiom)`
`void`	`visit(OWLSameIndividualAxiom 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)`

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiomVisitor
visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor
visit, visit, visit, visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor
visit

Methods inherited from interface org.semanticweb.owlapi.model.SWRLRuleVisitorBase
visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLVisitorBase
doDefault, getDefaultReturnValue, handleDefault

- Constructor Detail
  - SemanticLocalityChecker
```
public SemanticLocalityChecker(OWLReasonerFactory f,
                               OWLOntologyManager m)
```
    init c'tor
    
    Parameters:
    
    f - reasoner factory
    
    m - manager
  - SemanticLocalityChecker
```
public SemanticLocalityChecker(OWLReasoner r)
```
    init c'tor
    
    Parameters:
    
    r - reasoner
- Method Detail
  - 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 if axiom is local
  - preprocessOntology
```
public void preprocessOntology(Collection<AxiomWrapper> axioms)
```
    Description copied from interface: LocalityChecker
    
    allow the checker to preprocess an ontology if necessary
    
    Specified by:
    
    preprocessOntology in interface LocalityChecker
    
    Parameters:
    
    axioms - collection of axioms
  - 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(OWLSubPropertyChainOfAxiom 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)
```
    Domain(R) = C is tautology iff ER.Top [= C
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLDataPropertyDomainAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLObjectPropertyRangeAxiom axiom)
```
    Range(R) = C is tautology iff ER.~C is unsatisfiable
    
    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)
```
    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)
```
    for top locality, this might be local
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLObjectPropertyAssertionAxiom axiom)
```
    R(i,j) holds if {i} [= \ER.{j}
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom)
```
    !R(i,j) holds if {i} [= \AR.!{j}=!\ER.{j}
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLDataPropertyAssertionAxiom axiom)
```
    R(i,v) holds if {i} [= \ER.{v}
    
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - visit
```
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom)
```
    Specified by:
    
    visit in interface OWLLogicalAxiomVisitor
  - isTopEquivalent
```
public boolean isTopEquivalent(OWLObject expr)
```
    Specified by:
    
    isTopEquivalent in interface LocalityChecker
    
    Parameters:
    
    expr - expression to evaluate
    
    Returns:
    
    true if expr is top equivalent
  - isBotEquivalent
```
public boolean isBotEquivalent(OWLObject expr)
```
    Specified by:
    
    isBotEquivalent in interface LocalityChecker
    
    Parameters:
    
    expr - expression to evaluate
    
    Returns:
    
    true if expr is bottom equivalent

Class SemanticLocalityChecker

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

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

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

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

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

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

Constructor Detail

SemanticLocalityChecker

SemanticLocalityChecker

Method Detail

getSignature

setSignatureValue

local

preprocessOntology

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

isTopEquivalent

isBotEquivalent