@Override public ElkHasKeyAxiom getHasKeyAxiom(ElkClassExpression object, List<? extends ElkObjectPropertyExpression> objectPropertyKeys, List<? extends ElkDataPropertyExpression> dataPropertyKeys) { return new ElkHasKeyAxiomImpl(object, objectPropertyKeys, dataPropertyKeys); }
@Override public <O> O accept(ElkObjectVisitor<O> visitor) { return accept((ElkHasKeyAxiomVisitor<O>) visitor); }
@Override public <O> O accept(ElkAxiomVisitor<O> visitor) { return accept((ElkHasKeyAxiomVisitor<O>) visitor); }
@Override public ElkHasKeyAxiom getHasKeyAxiom(ElkClassExpression object, List<? extends ElkObjectPropertyExpression> objectPropertyKeys, List<? extends ElkDataPropertyExpression> dataPropertyKeys) { return new ElkHasKeyAxiomImpl(object, objectPropertyKeys, dataPropertyKeys); }
@Override public <O> O accept(ElkAxiomVisitor<O> visitor) { return accept((ElkHasKeyAxiomVisitor<O>) visitor); }
@Override public ElkHasKeyAxiom getHasKeyAxiom(ElkClassExpression object, List<? extends ElkObjectPropertyExpression> objectPropertyKeys, List<? extends ElkDataPropertyExpression> dataPropertyKeys) { return new ElkHasKeyAxiomImpl(object, objectPropertyKeys, dataPropertyKeys); }
@Override public <O> O accept(ElkAxiomVisitor<O> visitor) { return accept((ElkHasKeyAxiomVisitor<O>) visitor); }
@Override public <O> O accept(ElkObjectVisitor<O> visitor) { return accept((ElkHasKeyAxiomVisitor<O>) visitor); }
@Override public <O> O accept(ElkObjectVisitor<O> visitor) { return accept((ElkHasKeyAxiomVisitor<O>) visitor); }