org.semanticweb.owlapitools.decomposition

Class SigAccessor

java.lang.Object

org.semanticweb.owlapitools.decomposition.SigAccessor

All Implemented Interfaces:

OWLAnnotationAxiomVisitor, OWLAnnotationObjectVisitor, OWLAnnotationValueVisitor, OWLAnonymousIndividualVisitorBase, OWLAxiomVisitor, OWLClassExpressionVisitor, OWLClassVisitorBase, OWLDataEntityVisitorBase, OWLDataRangeVisitor, OWLDataVisitor, OWLEntityVisitor, OWLIndividualEntityVisitorBase, OWLIndividualVisitor, OWLLiteralVisitorBase, OWLLogicalAxiomVisitor, OWLNamedObjectVisitor, OWLObjectVisitor, OWLPropertyEntityVisitorBase, OWLPropertyExpressionVisitor, OWLVisitorBase, SWRLObjectVisitor, SWRLRuleVisitorBase

Direct Known Subclasses:

BotEquivalenceEvaluator, TopEquivalenceEvaluator

public class SigAccessor
extends Object
implements OWLObjectVisitor

helper class to set signature and locality class

Constructor Summary

Constructors

Constructor and Description
SigAccessor(LocalityChecker c)

Method Summary

Modifier and Type	Method and Description
boolean	isTopOrBuiltInDataType(OWLDataRange expr)
boolean	topRLocal()

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, visit

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

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 interface org.semanticweb.owlapi.model.SWRLRuleVisitorBase

visit

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

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

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

visit

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

visit, visit, visit, visit, visit

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

visit

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

visit

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

visit

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

visit

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

visit

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

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

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

visit

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

visit

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

visit, visit, visit

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

visit

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

doDefault, getDefaultReturnValue, handleDefault

Constructor Detail

SigAccessor

public SigAccessor(LocalityChecker c)

Parameters:

c - locality checker

Method Detail

isTopOrBuiltInDataType

public boolean isTopOrBuiltInDataType(OWLDataRange expr)

Parameters:

expr - data range to check

Returns:

true iff EXPR is a top datatype or a built-in datatype;

topRLocal

public boolean topRLocal()

Returns:

true iff roles are treated as TOPs