org.semanticweb.elk.owl.implementation

Class ElkHasKeyAxiomImpl

java.lang.Object

org.semanticweb.elk.owl.implementation.ElkHasKeyAxiomImpl

All Implemented Interfaces:

ElkAxiom, ElkHasKeyAxiom, ElkObject

public class ElkHasKeyAxiomImpl
extends Object
implements ElkHasKeyAxiom

Implementation of ElkHasKeyAxiom

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Nested Class Summary

Nested classes/interfaces inherited from interface org.semanticweb.elk.owl.interfaces.ElkHasKeyAxiom

ElkHasKeyAxiom.Factory

Method Summary

Modifier and Type	Method and Description
<O> O	accept(ElkAxiomVisitor<O> visitor)
<O> O	accept(ElkHasKeyAxiomVisitor<O> visitor)
<O> O	accept(ElkObjectVisitor<O> visitor)
ElkClassExpression	getClassExpression()
List<? extends ElkDataPropertyExpression>	getDataPropertyExpressions()
List<? extends ElkObjectPropertyExpression>	getObjectPropertyExpressions()

Methods inherited from class java.lang.Object

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

Method Detail

getClassExpression

public ElkClassExpression getClassExpression()

Specified by:

getClassExpression in interface ElkHasKeyAxiom

getObjectPropertyExpressions

public List<? extends ElkObjectPropertyExpression> getObjectPropertyExpressions()

Specified by:

getObjectPropertyExpressions in interface ElkHasKeyAxiom

getDataPropertyExpressions

public List<? extends ElkDataPropertyExpression> getDataPropertyExpressions()

Specified by:

getDataPropertyExpressions in interface ElkHasKeyAxiom

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

accept

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

Specified by:

accept in interface ElkHasKeyAxiom