@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(classExpressions_.get(0), factory.getObjectSomeValuesFrom(transitiveProperty_, classExpressions_.get(classExpressions_.size() - 1))); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(classExpressions_.get(0), factory.getObjectSomeValuesFrom(superProperty_, classExpressions_.get(classExpressions_.size() - 1))); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { List<ElkClassExpression> newFillers = new ArrayList<ElkClassExpression>( ranges_.size() + 1); newFillers.add(filler_); newFillers.addAll(ranges_); return factory.getSubClassOfAxiom( factory.getObjectSomeValuesFrom(property_, filler_), factory.getObjectSomeValuesFrom(property_, factory.getObjectIntersectionOf(newFillers))); }
@Override public ElkSubClassOfAxiom getConclusion(final ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectSomeValuesFrom( factory.getOwlBottomObjectProperty(), factory.getOwlThing()), factory.getOwlNothing()); }
public ElkSubClassOfAxiom getPremise(final ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectOneOf(subject_), factory.getObjectSomeValuesFrom(property_, factory.getObjectOneOf(object_))); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory .getSubClassOfAxiom( factory.getObjectSomeValuesFrom(getProperty(), factory.getOwlNothing()), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { List<ElkClassExpression> newFillers = new ArrayList<ElkClassExpression>( ranges_.size() + 1); newFillers.add(filler_); newFillers.addAll(ranges_); return factory.getSubClassOfAxiom( factory.getObjectSomeValuesFrom(property_, filler_), factory.getObjectSomeValuesFrom(property_, factory.getObjectIntersectionOf(newFillers))); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectSomeValuesFrom( property_, factory.getOwlThing()), domain_); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectSomeValuesFrom(subProperty_, filler_), factory.getObjectSomeValuesFrom(superProperty_, filler_)); }
public ElkSubClassOfAxiom getPremise(final ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectOneOf(subject_), factory.getObjectSomeValuesFrom(property_, factory.getObjectOneOf(object_))); }
@Override public ElkObjectSomeValuesFrom getObjectSomeValuesFrom( ElkObjectPropertyExpression property, ElkClassExpression filler) { return filter(factory_.getObjectSomeValuesFrom(property, filler)); }
public ElkSubClassOfAxiom getExistentialPremise(int index, ElkObject.Factory factory) { if (index < 0 || index >= getExistentialPremiseCount()) { throw new IndexOutOfBoundsException( "No existential premise with index: " + index); } // else return factory.getSubClassOfAxiom(classExpressions_.get(index), factory.getObjectSomeValuesFrom(transitiveProperty_, classExpressions_.get(index + 1))); }
final public ElkObjectSomeValuesFrom objectSomeValuesFrom() throws ParseException {ElkObjectPropertyExpression x; ElkClassExpression y; jj_consume_token(OBJECT_SOME_VALUES_FROM); jj_consume_token(OPEN_BRACKET); x = objectPropertyExpression(); y = classExpression(); jj_consume_token(CLOSE_BRACKET); {if ("" != null) return getElkObjectFactory().getObjectSomeValuesFrom(x, y);} throw new Error("Missing return statement in function"); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { List<ElkClassExpression> newFillers = new ArrayList<ElkClassExpression>( ranges_.size() + 1); newFillers.add(filler_); newFillers.addAll(ranges_); return factory.getSubClassOfAxiom( factory.getObjectSomeValuesFrom(property_, filler_), factory.getObjectSomeValuesFrom(property_, factory.getObjectIntersectionOf(newFillers))); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory .getSubClassOfAxiom( factory.getObjectSomeValuesFrom(getProperty(), factory.getOwlNothing()), factory.getOwlNothing()); }
@Override public ElkObjectSomeValuesFrom getObjectSomeValuesFrom( ElkObjectPropertyExpression property, ElkClassExpression filler) { return filter(factory_.getObjectSomeValuesFrom(property, filler)); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getObjectOneOf(subject_), factory.getObjectSomeValuesFrom(property_, factory.getObjectOneOf(object_))); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectSomeValuesFrom(subProperty_, filler_), factory.getObjectSomeValuesFrom(superProperty_, filler_)); }
public ElkSubClassOfAxiom getExistentialPremise(int index, ElkObject.Factory factory) { if (index < 0 || index >= getExistentialPremiseCount()) { throw new IndexOutOfBoundsException( "No existential premise with index: " + index); } // else return factory.getSubClassOfAxiom(classExpressions_.get(index), factory.getObjectSomeValuesFrom(transitiveProperty_, classExpressions_.get(index + 1))); }
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom( factory.getObjectHasValue(getProperty(), getValue()), factory.getObjectSomeValuesFrom(getProperty(), factory.getObjectOneOf( Collections.singletonList(getValue())))); }