public ElkSubObjectPropertyOfAxiom getLastPremise( ElkObject.Factory factory) { return factory.getSubObjectPropertyOfAxiom( subChain_.size() == 1 ? subChain_.get(0) : factory.getObjectPropertyChain(subChain_), superProperty_); }
public ElkSubObjectPropertyOfAxiom getLastPremise( ElkObject.Factory factory) { return factory.getSubObjectPropertyOfAxiom( subChain_.size() == 1 ? subChain_.get(0) : factory.getObjectPropertyChain(subChain_), superProperty_); }
public ElkSubObjectPropertyOfAxiom getLastPremise( ElkObject.Factory factory) { return factory.getSubObjectPropertyOfAxiom( subChain_.size() == 1 ? subChain_.get(0) : factory.getObjectPropertyChain(subChain_), superProperty_); }
ElkObjectProperty rr = factory.getObjectProperty(new ElkFullIri("http://example.org/RR")); ElkObjectProperty t = factory.getObjectProperty(new ElkFullIri("http://example.org/T")); ElkSubObjectPropertyExpression sshh = factory.getObjectPropertyChain(Arrays.asList(ss, hh)); ElkSubObjectPropertyExpression rrsshh = factory.getObjectPropertyChain(Arrays.asList(rr, ss, hh)); final IndexedPropertyChain sshhIndexed = ReasonerStateAccessor.transform(reasoner, sshh); final IndexedPropertyChain sIndexed = ReasonerStateAccessor.transform(reasoner, s);
.add(toDelete) .add(objectFactory.getSubObjectPropertyOfAxiom(objectFactory .getObjectPropertyChain(Arrays.asList(r, r)), r));
@Override public ElkPropertyInclusionHierarchy visit( ElkObjectPropertyChain expression) { int chainSize = expression .getObjectPropertyExpressions().size(); return inferenceFactory_ .getElkPropertyInclusionHierarchy( elkFactory_.getObjectPropertyChain( getObjectProperties("R", chainSize)), getObjectProperties("S", hierarchySize)); } });
@Override public ElkPropertyInclusionHierarchy visit( ElkObjectPropertyChain expression) { int chainSize = expression .getObjectPropertyExpressions().size(); return inferenceFactory_ .getElkPropertyInclusionHierarchy( elkFactory_.getObjectPropertyChain( getObjectProperties("R", chainSize)), getObjectProperties("S", hierarchySize)); } });
@Override public ElkPropertyInclusionHierarchy visit( ElkObjectPropertyChain expression) { int chainSize = expression .getObjectPropertyExpressions().size(); return inferenceFactory_ .getElkPropertyInclusionHierarchy( elkFactory_.getObjectPropertyChain( getObjectProperties("R", chainSize)), getObjectProperties("S", hierarchySize)); } });
@Override public ElkObjectPropertyChain getObjectPropertyChain( List<? extends ElkObjectPropertyExpression> properties) { return filter( factory_.getObjectPropertyChain(properties)); }
@Override public ElkObjectPropertyChain getObjectPropertyChain( List<? extends ElkObjectPropertyExpression> properties) { return filter( factory_.getObjectPropertyChain(properties)); }
@Override public ElkSubObjectPropertyOfAxiom getConclusion( ElkObject.Factory factory) { return factory .getSubObjectPropertyOfAxiom( factory.getObjectPropertyChain( Arrays.asList(property_, property_)), property_); }
@Override public ElkObjectPropertyChain getObjectPropertyChain( List<? extends ElkObjectPropertyExpression> properties) { return filter( factory_.getObjectPropertyChain(properties)); }
@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( factory.getObjectPropertyChain( Arrays.asList(property_, property_)), property_); }
final public ElkObjectPropertyChain propertyExpressionChain() throws ParseException {List<ElkObjectPropertyExpression> v; jj_consume_token(OBJECT_PROPERTY_CHAIN); jj_consume_token(OPEN_BRACKET); v = twoOrMoreObjectPropertyExpressions(); jj_consume_token(CLOSE_BRACKET); {if ("" != null) return getElkObjectFactory().getObjectPropertyChain(v);} throw new Error("Missing return statement in function"); }