org.semanticweb.owlapitools.decomposition

Class TopEquivalenceEvaluator

java.lang.Object

org.semanticweb.owlapitools.decomposition.SigAccessor

org.semanticweb.owlapitools.decomposition.TopEquivalenceEvaluator

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

public class TopEquivalenceEvaluator
extends SigAccessor
implements OWLObjectVisitor

check whether class expressions are equivalent to top wrt given locality class

Constructor Summary

Constructors

Constructor and Description
TopEquivalenceEvaluator(LocalityChecker l)

Method Summary

Modifier and Type	Method and Description
boolean	isTopEquivalent(OWLObject expr)
void	visit(OWLClass expr)
void	visit(OWLDataAllValuesFrom expr)
void	visit(OWLDataComplementOf node)
void	visit(OWLDataExactCardinality expr)
void	visit(OWLDataHasValue expr)
void	visit(OWLDataMaxCardinality expr)
void	visit(OWLDataMinCardinality expr)
void	visit(OWLDataOneOf node)
void	visit(OWLDataProperty expr)
void	visit(OWLDataSomeValuesFrom expr)
void	visit(OWLDatatype node)
void	visit(OWLDatatypeRestriction node)
void	visit(OWLLiteral node)
void	visit(OWLObjectAllValuesFrom expr)
void	visit(OWLObjectComplementOf expr)
void	visit(OWLObjectExactCardinality expr)
void	visit(OWLObjectHasSelf expr)
void	visit(OWLObjectHasValue expr)
void	visit(OWLObjectIntersectionOf expr)
void	visit(OWLObjectInverseOf expr)
void	visit(OWLObjectMaxCardinality expr)
void	visit(OWLObjectMinCardinality expr)
void	visit(OWLObjectOneOf expr)
void	visit(OWLObjectProperty expr)
void	visit(OWLObjectSomeValuesFrom expr)
void	visit(OWLObjectUnionOf expr)

Methods inherited from class org.semanticweb.owlapitools.decomposition.SigAccessor

isTopOrBuiltInDataType, 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.OWLDataVisitor

visit

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

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

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

doDefault, getDefaultReturnValue, handleDefault

Constructor Detail

TopEquivalenceEvaluator

public TopEquivalenceEvaluator(LocalityChecker l)

Parameters:

l - locality checker

Method Detail

isTopEquivalent

public boolean isTopEquivalent(OWLObject expr)

Parameters:

expr - expression to check

Returns:

true iff an EXPRession is equivalent to top wrt defined policy

visit

public void visit(OWLClass expr)

Specified by:

visit in interface OWLClassVisitorBase

visit

public void visit(OWLObjectComplementOf expr)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectIntersectionOf expr)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectUnionOf expr)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectOneOf expr)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectHasSelf expr)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectHasValue expr)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectSomeValuesFrom expr)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectAllValuesFrom expr)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectMinCardinality expr)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectMaxCardinality expr)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectExactCardinality expr)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataHasValue expr)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataSomeValuesFrom expr)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataAllValuesFrom expr)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataMinCardinality expr)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataMaxCardinality expr)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataExactCardinality expr)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectProperty expr)

Specified by:

visit in interface OWLPropertyEntityVisitorBase

visit

public void visit(OWLObjectInverseOf expr)

Specified by:

visit in interface OWLPropertyExpressionVisitor

visit

public void visit(OWLDataProperty expr)

Specified by:

visit in interface OWLPropertyEntityVisitorBase

visit

public void visit(OWLDatatype node)

Specified by:

visit in interface OWLDataEntityVisitorBase

visit

public void visit(OWLLiteral node)

Specified by:

visit in interface OWLLiteralVisitorBase

visit

public void visit(OWLDataComplementOf node)

Specified by:

visit in interface OWLDataRangeVisitor

visit

public void visit(OWLDatatypeRestriction node)

Specified by:

visit in interface OWLDataRangeVisitor

visit

public void visit(OWLDataOneOf node)

Specified by:

visit in interface OWLDataRangeVisitor