org.semanticweb.elk.owl.implementation
Class ElkDisjointUnionAxiomImpl

java.lang.Object
  org.semanticweb.elk.owl.implementation.ElkObjectImpl
      org.semanticweb.elk.owl.implementation.ElkObjectListObject<ElkClassExpression>
          org.semanticweb.elk.owl.implementation.ElkClassExpressionListObject
              org.semanticweb.elk.owl.implementation.ElkDisjointUnionAxiomImpl

All Implemented Interfaces:

ElkAxiom, ElkClassAxiom, ElkDisjointUnionAxiom, ElkObject

public class ElkDisjointUnionAxiomImpl
extends ElkClassExpressionListObject
implements ElkDisjointUnionAxiom

Corresponds to an Disjoint Union of Class Expressions Axiom in the OWL 2 specification.

Author:

Markus Kroetzsch

Field Summary

protected ElkClass

definedClass

Fields inherited from class org.semanticweb.elk.owl.implementation.ElkObjectListObject

elkObjects

Method Summary

<O> O	accept(ElkAxiomVisitor<O> visitor)
<O> O	accept(ElkClassAxiomVisitor<O> visitor)
<O> O	accept(ElkObjectVisitor<O> visitor)
ElkClass	getDefinedClass()

Methods inherited from class org.semanticweb.elk.owl.implementation.ElkClassExpressionListObject

getClassExpressions

Methods inherited from class org.semanticweb.elk.owl.implementation.ElkObjectListObject

varArgsToList, varArgsToList

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.elk.owl.interfaces.ElkDisjointUnionAxiom

getClassExpressions

Field Detail

definedClass

protected final ElkClass definedClass

Method Detail

getDefinedClass

public ElkClass getDefinedClass()

Specified by:

getDefinedClass in interface ElkDisjointUnionAxiom

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