org.semanticweb.elk.owl.implementation
Class ElkHasKeyAxiomImpl

java.lang.Object
  extended by 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

Method Summary
<O> O
accept(ElkAxiomVisitor<O> visitor)
           
<O> O
accept(ElkObjectVisitor<O> visitor)
           
 ElkClassExpression getClassExpression()
           
 Set<ElkDataPropertyExpression> getDataPropertyExpressions()
           
 Set<ElkObjectPropertyExpression> getObjectPropertyExpressions()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

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

getClassExpression

public ElkClassExpression getClassExpression()
Specified by:
getClassExpression in interface ElkHasKeyAxiom

getObjectPropertyExpressions

public Set<ElkObjectPropertyExpression> getObjectPropertyExpressions()
Specified by:
getObjectPropertyExpressions in interface ElkHasKeyAxiom

getDataPropertyExpressions

public Set<ElkDataPropertyExpression> getDataPropertyExpressions()
Specified by:
getDataPropertyExpressions in interface ElkHasKeyAxiom


Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.