@Override public ElkSubObjectPropertyOfAxiom getConclusion( ElkObject.Factory factory) { return factory.getSubObjectPropertyOfAxiom(expressions_.get(subPos_), expressions_.get(superPos_)); }
@Override public ElkSubObjectPropertyOfAxiom getConclusion( ElkObject.Factory factory) { return factory.getSubObjectPropertyOfAxiom(expressions_.get(subPos_), expressions_.get(superPos_)); }
@Override public ElkSubObjectPropertyOfAxiom getConclusion( ElkObject.Factory factory) { return factory.getSubObjectPropertyOfAxiom(expressions_.get(subPos_), expressions_.get(superPos_)); }
@Override public ElkSubObjectPropertyOfAxiom getConclusion( ElkObject.Factory factory) { return factory.getSubObjectPropertyOfAxiom(subExpression_, expressions_.get(expressions_.size() - 1)); }
@Override public ElkSubObjectPropertyOfAxiom getConclusion( ElkObject.Factory factory) { return factory .getSubObjectPropertyOfAxiom( factory.getObjectPropertyChain( Arrays.asList(property_, property_)), property_); }
@Override public ElkSubObjectPropertyOfAxiom getConclusion( ElkObject.Factory factory) { return factory.getSubObjectPropertyOfAxiom(subExpression_, expressions_.get(expressions_.size() - 1)); }
public ElkSubObjectPropertyOfAxiom getFirstPremise( ElkObject.Factory factory) { return factory.getSubObjectPropertyOfAxiom(subProperty_, superProperty_); }
@Override public ElkSubObjectPropertyOfAxiom getConclusion( ElkObject.Factory factory) { return factory.getSubObjectPropertyOfAxiom(expression_, expression_); }
@Override public ElkSubObjectPropertyOfAxiom getSubObjectPropertyOfAxiom( ElkSubObjectPropertyExpression subProperty, ElkObjectPropertyExpression superProperty) { return filter(factory_.getSubObjectPropertyOfAxiom( subProperty, superProperty)); }
public ElkSubObjectPropertyOfAxiom getFirstPremise( ElkObject.Factory factory) { return factory.getSubObjectPropertyOfAxiom(subProperty_, superProperty_); }
@Override public ElkSubObjectPropertyOfAxiom getSubObjectPropertyOfAxiom( ElkSubObjectPropertyExpression subProperty, ElkObjectPropertyExpression superProperty) { return filter(factory_.getSubObjectPropertyOfAxiom( subProperty, superProperty)); }
@Override public ElkSubObjectPropertyOfAxiom getConclusion( ElkObject.Factory factory) { return factory .getSubObjectPropertyOfAxiom( factory.getObjectPropertyChain( Arrays.asList(property_, property_)), property_); }
public ElkSubObjectPropertyOfAxiom getFirstPremise( ElkObject.Factory factory) { return factory.getSubObjectPropertyOfAxiom(subProperty_, superProperty_); }
@Override public ElkAxiom visit(final ElkObjectProperty prop) { if (superEntity instanceof ElkObjectProperty) { return factory.getSubObjectPropertyOfAxiom(prop, (ElkObjectProperty) superEntity); } else { return defaultVisit(prop); } }
public ElkSubObjectPropertyOfAxiom getLastPremise( ElkObject.Factory factory) { return factory.getSubObjectPropertyOfAxiom( subChain_.size() == 1 ? subChain_.get(0) : factory.getObjectPropertyChain(subChain_), superProperty_); }
@Override public ElkSubObjectPropertyOfAxiom getConclusion( ElkObject.Factory factory) { return factory.getSubObjectPropertyOfAxiom(expression_, expression_); }
@Override public ElkSubObjectPropertyOfAxiom getConclusion( ElkObject.Factory factory) { return factory.getSubObjectPropertyOfAxiom(expression_, expression_); }
@Override public ElkSubObjectPropertyOfAxiom getConclusion( ElkObject.Factory factory) { return factory .getSubObjectPropertyOfAxiom( factory.getObjectPropertyChain( Arrays.asList(property_, property_)), property_); }
public ElkSubObjectPropertyOfAxiom getLastPremise( ElkObject.Factory factory) { return factory.getSubObjectPropertyOfAxiom( subChain_.size() == 1 ? subChain_.get(0) : factory.getObjectPropertyChain(subChain_), superProperty_); }
@Override public ElkAxiom visit(final ElkObjectProperty prop) { if (superEntity instanceof ElkObjectProperty) { return factory.getSubObjectPropertyOfAxiom(prop, (ElkObjectProperty) superEntity); } else { return defaultVisit(prop); } }