org.semanticweb.elk.owl.implementation
Class ElkClassAssertionAxiomImpl

java.lang.Object
  extended by org.semanticweb.elk.owl.implementation.ElkObjectImpl
      extended by org.semanticweb.elk.owl.implementation.ElkClassAssertionAxiomImpl
All Implemented Interfaces:
ElkAssertionAxiom, ElkAxiom, ElkClassAssertionAxiom, ElkObject

public class ElkClassAssertionAxiomImpl
extends ElkObjectImpl
implements ElkClassAssertionAxiom

ELK implementation of ElkClassAssertionAxiom.

Author:
Markus Kroetzsch

Field Summary
protected  ElkClassExpression classExpression
           
protected  ElkIndividual individual
           
 
Method Summary
<O> O
accept(ElkAssertionAxiomVisitor<O> visitor)
           
<O> O
accept(ElkAxiomVisitor<O> visitor)
           
<O> O
accept(ElkObjectVisitor<O> visitor)
           
 ElkClassExpression getClassExpression()
           
 ElkIndividual getIndividual()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

individual

protected final ElkIndividual individual

classExpression

protected final ElkClassExpression classExpression
Method Detail

getClassExpression

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

getIndividual

public ElkIndividual getIndividual()
Specified by:
getIndividual in interface ElkClassAssertionAxiom

accept

public <O> O accept(ElkAssertionAxiomVisitor<O> visitor)
Specified by:
accept in interface ElkAssertionAxiom

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


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