org.semanticweb.owl.explanation.impl.laconic

Class BetaGenerator

java.lang.Object

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

org.semanticweb.owl.explanation.impl.laconic.BetaGenerator

All Implemented Interfaces:

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

public class BetaGenerator
extends BaseDescriptionGenerator

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

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
protected Set<org.semanticweb.owlapi.model.OWLClassExpression>	compute(org.semanticweb.owlapi.model.OWLClassExpression description)
protected org.semanticweb.owlapi.model.OWLDataRange	getDataLimit()
protected org.semanticweb.owlapi.model.OWLClass	getLimit()
Set<org.semanticweb.owlapi.model.OWLClassExpression>	visit(org.semanticweb.owlapi.model.OWLClass 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.OWLObjectComplementOf 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.OWLObjectMaxCardinality desc)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality desc)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	visit(org.semanticweb.owlapi.model.OWLObjectUnionOf desc)

Methods inherited from class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

computeBeta, computeTau, getDataFactory, isNothing, isThing, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Constructor Detail

BetaGenerator

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

Method Detail

visit

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

visit

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

compute

protected Set<org.semanticweb.owlapi.model.OWLClassExpression> compute(org.semanticweb.owlapi.model.OWLClassExpression description)

visit

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

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

Overrides:

visit in class BaseDescriptionGenerator

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

Overrides:

visit in class BaseDescriptionGenerator

visit

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

getLimit

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

Specified by:

getLimit in class BaseDescriptionGenerator

getDataLimit

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

Specified by:

getDataLimit in class BaseDescriptionGenerator

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

Overrides:

visit in class BaseDescriptionGenerator