T - the type of the wrapped OWLHasKeyAxiompublic class ElkHasKeyAxiomWrap<T extends org.semanticweb.owlapi.model.OWLHasKeyAxiom> extends ElkAxiomWrap<T> implements ElkHasKeyAxiom
converter, owlObject| Constructor and Description |
|---|
ElkHasKeyAxiomWrap(T owlAxiom) |
| Modifier and Type | Method and Description |
|---|---|
<O> O |
accept(ElkAxiomVisitor<O> visitor) |
<O> O |
accept(ElkObjectVisitor<O> visitor) |
ElkClassExpression |
getClassExpression() |
Set<ElkDataPropertyExpression> |
getDataPropertyExpressions() |
Set<ElkObjectPropertyExpression> |
getObjectPropertyExpressions() |
hashCodepublic ElkHasKeyAxiomWrap(T owlAxiom)
public <O> O accept(ElkAxiomVisitor<O> visitor)
accept in interface ElkAxiomaccept in class ElkAxiomWrap<T extends org.semanticweb.owlapi.model.OWLHasKeyAxiom>public <O> O accept(ElkObjectVisitor<O> visitor)
accept in interface ElkObjectaccept in class ElkAxiomWrap<T extends org.semanticweb.owlapi.model.OWLHasKeyAxiom>public ElkClassExpression getClassExpression()
getClassExpression in interface ElkHasKeyAxiompublic Set<ElkObjectPropertyExpression> getObjectPropertyExpressions()
getObjectPropertyExpressions in interface ElkHasKeyAxiompublic Set<ElkDataPropertyExpression> getDataPropertyExpressions()
getDataPropertyExpressions in interface ElkHasKeyAxiomCopyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.