org.semanticweb.owl.explanation.impl.laconic

Class BaseDescriptionGenerator

java.lang.Object

org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

All Implemented Interfaces:

org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Set<org.semanticweb.owlapi.model.OWLClassExpression>>

Direct Known Subclasses:

BetaGenerator, TauGenerator

public abstract class BaseDescriptionGenerator
extends Object
implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Set<org.semanticweb.owlapi.model.OWLClassExpression>>

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

Constructor Summary

Constructors

Constructor and Description
BaseDescriptionGenerator(org.semanticweb.owlapi.model.OWLDataFactory factory)

Method Summary

Methods

Modifier and Type	Method and Description
Set<org.semanticweb.owlapi.model.OWLClassExpression>	computeBeta(org.semanticweb.owlapi.model.OWLClassExpression desc)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	computeTau(org.semanticweb.owlapi.model.OWLClassExpression desc)
org.semanticweb.owlapi.model.OWLDataFactory	getDataFactory()
protected abstract org.semanticweb.owlapi.model.OWLDataRange	getDataLimit()
protected abstract org.semanticweb.owlapi.model.OWLClass	getLimit()
boolean	isNothing(org.semanticweb.owlapi.model.OWLClassExpression description)
boolean	isThing(org.semanticweb.owlapi.model.OWLClassExpression description)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom desc)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	visit(org.semanticweb.owlapi.model.OWLDataHasValue desc)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality desc)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	visit(org.semanticweb.owlapi.model.OWLDataMinCardinality desc)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom desc)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom desc)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality desc)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	visit(org.semanticweb.owlapi.model.OWLObjectHasSelf desc)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	visit(org.semanticweb.owlapi.model.OWLObjectHasValue desc)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf desc)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	visit(org.semanticweb.owlapi.model.OWLObjectOneOf desc)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom desc)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	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

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

visit, visit, visit, visit

Constructor Detail

BaseDescriptionGenerator

public BaseDescriptionGenerator(org.semanticweb.owlapi.model.OWLDataFactory factory)

Method Detail

isThing

public boolean isThing(org.semanticweb.owlapi.model.OWLClassExpression description)

isNothing

public boolean isNothing(org.semanticweb.owlapi.model.OWLClassExpression description)

getDataFactory

public org.semanticweb.owlapi.model.OWLDataFactory getDataFactory()

computeTau

public Set<org.semanticweb.owlapi.model.OWLClassExpression> computeTau(org.semanticweb.owlapi.model.OWLClassExpression desc)

computeBeta

public Set<org.semanticweb.owlapi.model.OWLClassExpression> computeBeta(org.semanticweb.owlapi.model.OWLClassExpression desc)

visit

public Set<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Set<org.semanticweb.owlapi.model.OWLClassExpression>>

visit

public Set<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLObjectUnionOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Set<org.semanticweb.owlapi.model.OWLClassExpression>>

visit

public Set<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Set<org.semanticweb.owlapi.model.OWLClassExpression>>

visit

public Set<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Set<org.semanticweb.owlapi.model.OWLClassExpression>>

visit

public Set<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLObjectHasValue desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Set<org.semanticweb.owlapi.model.OWLClassExpression>>

visit

public Set<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Set<org.semanticweb.owlapi.model.OWLClassExpression>>

visit

public Set<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLObjectHasSelf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Set<org.semanticweb.owlapi.model.OWLClassExpression>>

visit

public Set<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLObjectOneOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Set<org.semanticweb.owlapi.model.OWLClassExpression>>

getLimit

protected abstract org.semanticweb.owlapi.model.OWLClass getLimit()

getDataLimit

protected abstract org.semanticweb.owlapi.model.OWLDataRange getDataLimit()

visit

public Set<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Set<org.semanticweb.owlapi.model.OWLClassExpression>>

visit

public Set<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Set<org.semanticweb.owlapi.model.OWLClassExpression>>

visit

public Set<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLDataHasValue desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Set<org.semanticweb.owlapi.model.OWLClassExpression>>

visit

public Set<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLDataMinCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Set<org.semanticweb.owlapi.model.OWLClassExpression>>

visit

public Set<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Set<org.semanticweb.owlapi.model.OWLClassExpression>>

visit

public Set<org.semanticweb.owlapi.model.OWLClassExpression> visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<Set<org.semanticweb.owlapi.model.OWLClassExpression>>