org.semanticweb.owl.explanation.impl.laconic

Class TriviallyTopChecker

java.lang.Object

org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

All Implemented Interfaces:

org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

public class TriviallyTopChecker
extends Object
implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 15-Sep-2008

Constructor Summary

Constructors

Constructor and Description
TriviallyTopChecker()

Method Summary

Methods

Modifier and Type	Method and Description
Boolean	visit(org.semanticweb.owlapi.model.OWLClass desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLDataHasValue desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLDataMinCardinality desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLObjectComplementOf desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLObjectHasSelf desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLObjectHasValue desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLObjectOneOf desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom desc)
Boolean	visit(org.semanticweb.owlapi.model.OWLObjectUnionOf desc)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TriviallyTopChecker

public TriviallyTopChecker()

Method Detail

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLClass desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLObjectUnionOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLObjectComplementOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLObjectHasValue desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLObjectHasSelf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLObjectOneOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLDataHasValue desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLDataMinCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>

visit

public Boolean visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Boolean>