@Override public ElkNegativeObjectPropertyAssertionAxiom getNegativeObjectPropertyAssertionAxiom( ElkObjectPropertyExpression property, ElkIndividual subject, ElkIndividual object) { return new ElkNegativeObjectPropertyAssertionAxiomImpl(property, subject, object); }
@Override public <O> O accept(ElkPropertyAssertionAxiomVisitor<O> visitor) { return accept((ElkNegativeObjectPropertyAssertionAxiomVisitor<O>) visitor); }
@Override public <O> O accept(ElkPropertyAssertionAxiomVisitor<O> visitor) { return accept((ElkNegativeObjectPropertyAssertionAxiomVisitor<O>) visitor); }
@Override public ElkNegativeObjectPropertyAssertionAxiom getNegativeObjectPropertyAssertionAxiom( ElkObjectPropertyExpression property, ElkIndividual subject, ElkIndividual object) { return new ElkNegativeObjectPropertyAssertionAxiomImpl(property, subject, object); }
@Override public <O> O accept(ElkPropertyAssertionAxiomVisitor<O> visitor) { return accept((ElkNegativeObjectPropertyAssertionAxiomVisitor<O>) visitor); }
@Override public ElkNegativeObjectPropertyAssertionAxiom getNegativeObjectPropertyAssertionAxiom( ElkObjectPropertyExpression property, ElkIndividual subject, ElkIndividual object) { return new ElkNegativeObjectPropertyAssertionAxiomImpl(property, subject, object); }