T - the type of the wrapped objectpublic class ElkTransitiveObjectPropertyAxiomWrap<T extends org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom> extends ElkObjectPropertyAxiomWrap<T> implements ElkTransitiveObjectPropertyAxiom
ElkTransitiveObjectPropertyAxiom interface by wrapping
instances of OWLTransitiveObjectPropertyAxiomconverter, owlObject| Constructor and Description |
|---|
ElkTransitiveObjectPropertyAxiomWrap(T owlTransitiveObjectPropertyAxiom) |
| Modifier and Type | Method and Description |
|---|---|
<O> O |
accept(ElkObjectPropertyAxiomVisitor<O> visitor) |
ElkObjectPropertyExpression |
getProperty() |
acceptaccepthashCodepublic ElkTransitiveObjectPropertyAxiomWrap(T owlTransitiveObjectPropertyAxiom)
public ElkObjectPropertyExpression getProperty()
getProperty in interface ElkPropertyAxiom<ElkObjectPropertyExpression>public <O> O accept(ElkObjectPropertyAxiomVisitor<O> visitor)
accept in interface ElkObjectPropertyAxiomaccept in class ElkObjectPropertyAxiomWrap<T extends org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom>Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.