org.semanticweb.elk.owl.implementation

Class ElkSubClassOfAxiomImpl

java.lang.Object

org.semanticweb.elk.owl.implementation.ElkObjectImpl

org.semanticweb.elk.owl.implementation.ElkSubClassOfAxiomImpl

All Implemented Interfaces:

ElkAxiom, ElkClassAxiom, ElkObject, ElkSubClassOfAxiom

public class ElkSubClassOfAxiomImpl
extends ElkObjectImpl
implements ElkSubClassOfAxiom

Corresponds to a Subclass Axiom in the OWL 2 specification.

Author:

Yevgeny Kazakov

Field Summary

Fields

Modifier and Type	Field and Description
protected ElkClassExpression	subClassExpression
protected ElkClassExpression	superClassExpression

Method Summary

Methods

Modifier and Type	Method and Description
<O> O	accept(ElkAxiomVisitor<O> visitor)
<O> O	accept(ElkClassAxiomVisitor<O> visitor)
<O> O	accept(ElkObjectVisitor<O> visitor)
ElkClassExpression	getSubClassExpression()
ElkClassExpression	getSuperClassExpression()

Methods inherited from class java.lang.Object

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

Field Detail

subClassExpression

protected final ElkClassExpression subClassExpression

superClassExpression

protected final ElkClassExpression superClassExpression

Method Detail

getSubClassExpression

public ElkClassExpression getSubClassExpression()

Specified by:

getSubClassExpression in interface ElkSubClassOfAxiom

getSuperClassExpression

public ElkClassExpression getSuperClassExpression()

Specified by:

getSuperClassExpression in interface ElkSubClassOfAxiom

accept

public <O> O accept(ElkClassAxiomVisitor<O> visitor)

Specified by:

accept in interface ElkClassAxiom

accept

public <O> O accept(ElkAxiomVisitor<O> visitor)

Specified by:

accept in interface ElkAxiom

accept

public <O> O accept(ElkObjectVisitor<O> visitor)

Specified by:

accept in interface ElkObject