org.semanticweb.owl.explanation.impl.laconic

Class TriviallyBottomChecker

java.lang.Object

org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

All Implemented Interfaces:

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

public class TriviallyBottomChecker
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
TriviallyBottomChecker()

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

TriviallyBottomChecker

public TriviallyBottomChecker()

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>