org.semanticweb.owlapitools.decomposition

Class BotEquivalenceEvaluator

java.lang.Object

org.semanticweb.owlapitools.decomposition.SigAccessor

org.semanticweb.owlapitools.decomposition.BotEquivalenceEvaluator

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 BotEquivalenceEvaluator
extends SigAccessor
implements OWLObjectVisitor

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

Constructor Summary

Constructors

Constructor and Description
BotEquivalenceEvaluator(LocalityChecker l)

Method Summary

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

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

BotEquivalenceEvaluator

public BotEquivalenceEvaluator(LocalityChecker l)

Parameters:

l - l

Method Detail

visit

public void visit(OWLClass expr)

Description copied from interface: OWLClassVisitorBase

visit OWLClass type

Specified by:

visit in interface OWLClassVisitorBase

Parameters:

expr - ce to visit

visit

public void visit(OWLObjectComplementOf expr)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectComplementOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

expr - ce to visit

visit

public void visit(OWLObjectIntersectionOf expr)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectIntersectionOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

expr - ce to visit

visit

public void visit(OWLObjectUnionOf expr)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectUnionOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

expr - ce to visit

visit

public void visit(OWLObjectOneOf expr)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectOneOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

expr - ce to visit

visit

public void visit(OWLObjectHasSelf expr)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectHasSelf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

expr - ce to visit

visit

public void visit(OWLObjectHasValue expr)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectHasValue type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

expr - ce to visit

visit

public void visit(OWLObjectSomeValuesFrom expr)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectSomeValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

expr - ce to visit

visit

public void visit(OWLObjectAllValuesFrom expr)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectAllValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

expr - ce to visit

visit

public void visit(OWLObjectMinCardinality expr)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectMinCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

expr - ce to visit

visit

public void visit(OWLObjectMaxCardinality expr)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectMaxCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

expr - ce to visit

visit

public void visit(OWLObjectExactCardinality expr)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectExactCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

expr - ce to visit

visit

public void visit(OWLDataHasValue expr)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataHasValue type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

expr - ce to visit

visit

public void visit(OWLDataSomeValuesFrom expr)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataSomeValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

expr - ce to visit

visit

public void visit(OWLDataAllValuesFrom expr)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataAllValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

expr - ce to visit

visit

public void visit(OWLDataMinCardinality expr)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataMinCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

expr - ce to visit

visit

public void visit(OWLDataMaxCardinality expr)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataMaxCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

expr - ce to visit

visit

public void visit(OWLDataExactCardinality expr)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataExactCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

expr - ce to visit

visit

public void visit(OWLObjectProperty expr)

Description copied from interface: OWLPropertyEntityVisitorBase

visit OWLObjectProperty type

Specified by:

visit in interface OWLPropertyEntityVisitorBase

Parameters:

expr - property to visit

visit

public void visit(OWLObjectInverseOf expr)

Description copied from interface: OWLPropertyExpressionVisitor

visit OWLObjectInverseOf type

Specified by:

visit in interface OWLPropertyExpressionVisitor

Parameters:

expr - property to visit

visit

public void visit(OWLDataProperty expr)

Description copied from interface: OWLPropertyEntityVisitorBase

visit OWLDataProperty type

Specified by:

visit in interface OWLPropertyEntityVisitorBase

Parameters:

expr - property to visit

visit

public void visit(OWLDatatype node)

Description copied from interface: OWLDataEntityVisitorBase

visit OWLDatatype type

Specified by:

visit in interface OWLDataEntityVisitorBase

Parameters:

node - node to visit

visit

public void visit(OWLLiteral node)

Description copied from interface: OWLLiteralVisitorBase

visit OWLLiteral type

Specified by:

visit in interface OWLLiteralVisitorBase

Parameters:

node - node to visit

visit

public void visit(OWLDataComplementOf node)

Description copied from interface: OWLDataRangeVisitor

visit OWLDataComplementOf type

Specified by:

visit in interface OWLDataRangeVisitor

Parameters:

node - node to visit

visit

public void visit(OWLDataOneOf node)

Description copied from interface: OWLDataRangeVisitor

visit OWLDataOneOf type

Specified by:

visit in interface OWLDataRangeVisitor

Parameters:

node - node to visit