org.semanticweb.elk.owlapi.wrapper
Class ElkTransitiveObjectPropertyAxiomWrap<T extends org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom>

java.lang.Object
  extended by org.semanticweb.elk.owlapi.wrapper.ElkObjectWrap<T>
      extended by org.semanticweb.elk.owlapi.wrapper.ElkAxiomWrap<T>
          extended by org.semanticweb.elk.owlapi.wrapper.ElkObjectPropertyAxiomWrap<T>
              extended by org.semanticweb.elk.owlapi.wrapper.ElkTransitiveObjectPropertyAxiomWrap<T>
Type Parameters:
T - the type of the wrapped object
All Implemented Interfaces:
ElkAxiom, ElkObject, ElkObjectPropertyAxiom, ElkPropertyAxiom<ElkObjectPropertyExpression>, ElkTransitiveObjectPropertyAxiom

public class ElkTransitiveObjectPropertyAxiomWrap<T extends org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom>
extends ElkObjectPropertyAxiomWrap<T>
implements ElkTransitiveObjectPropertyAxiom

Implements the ElkTransitiveObjectPropertyAxiom interface by wrapping instances of OWLTransitiveObjectPropertyAxiom

Author:
Yevgeny Kazakov

Field Summary
 
Fields inherited from class org.semanticweb.elk.owlapi.wrapper.ElkObjectWrap
converter, owlObject
 
Constructor Summary
ElkTransitiveObjectPropertyAxiomWrap(T owlTransitiveObjectPropertyAxiom)
           
 
Method Summary
<O> O
accept(ElkObjectPropertyAxiomVisitor<O> visitor)
           
 ElkObjectPropertyExpression getProperty()
           
 
Methods inherited from class org.semanticweb.elk.owlapi.wrapper.ElkObjectPropertyAxiomWrap
accept
 
Methods inherited from class org.semanticweb.elk.owlapi.wrapper.ElkAxiomWrap
accept
 
Methods inherited from class org.semanticweb.elk.owlapi.wrapper.ElkObjectWrap
hashCode
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.semanticweb.elk.owl.interfaces.ElkAxiom
accept
 
Methods inherited from interface org.semanticweb.elk.owl.interfaces.ElkObject
accept
 

Constructor Detail

ElkTransitiveObjectPropertyAxiomWrap

public ElkTransitiveObjectPropertyAxiomWrap(T owlTransitiveObjectPropertyAxiom)
Method Detail

getProperty

public ElkObjectPropertyExpression getProperty()
Specified by:
getProperty in interface ElkPropertyAxiom<ElkObjectPropertyExpression>

accept

public <O> O accept(ElkObjectPropertyAxiomVisitor<O> visitor)
Specified by:
accept in interface ElkObjectPropertyAxiom
Specified by:
accept in class ElkObjectPropertyAxiomWrap<T extends org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom>


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