@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { List<ElkClassExpression> superClasses = new ArrayList<ElkClassExpression>( superPositions_.size()); for (int pos : superPositions_) { superClasses.add(subClasses_.get(pos)); } return factory.getSubClassOfAxiom( factory.getObjectIntersectionOf(subClasses_), factory.getObjectIntersectionOf(superClasses)); }
@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) { 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.getObjectIntersectionOf(conjuncts_), conjuncts_.get(conjunctPos_)); }
@Override public ElkObjectIntersectionOf getObjectIntersectionOf( ElkClassExpression first, ElkClassExpression second, ElkClassExpression... other) { return filter(factory_.getObjectIntersectionOf(first, second, other)); }
@Override public final ElkClassExpression toElkExpression(ElkObject.Factory factory) { ElkClassExpression filler = getMainFillerMatch(factory); if (getRangeMatches().isEmpty()) { return filler; } // else return factory.getObjectIntersectionOf(getFillerMatches(factory)); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getOwlThing(), factory.getObjectIntersectionOf( Collections.<ElkClassExpression> emptyList())); }
@Override public ElkObjectIntersectionOf getObjectIntersectionOf( List<? extends ElkClassExpression> members) { return filter(factory_.getObjectIntersectionOf(members)); }
@Override public final ElkClassExpression toElkExpression(ElkObject.Factory factory) { ElkClassExpression filler = getMainFillerMatch(factory); if (getRangeMatches().isEmpty()) { return filler; } // else return factory.getObjectIntersectionOf(getFillerMatches(factory)); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectIntersectionOf(expressions_.get(firstPos_), expressions_.get(secondPos_)), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getOwlThing(), factory.getObjectIntersectionOf( Collections.<ElkClassExpression> emptyList())); }
@Override public ElkObjectIntersectionOf getObjectIntersectionOf( List<? extends ElkClassExpression> members) { return filter(factory_.getObjectIntersectionOf(members)); }
@Override public ElkObjectIntersectionOf getObjectIntersectionOf( List<? extends ElkClassExpression> members) { return filter(factory_.getObjectIntersectionOf(members)); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectIntersectionOf(expression_, factory.getObjectComplementOf(expression_)), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectIntersectionOf(expression_, factory.getObjectComplementOf(expression_)), factory.getOwlNothing()); }
@Override public ElkObjectIntersectionOf getObjectIntersectionOf( ElkClassExpression first, ElkClassExpression second, ElkClassExpression... other) { return filter(factory_.getObjectIntersectionOf(first, second, other)); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getOwlThing(), factory.getObjectIntersectionOf( Collections.<ElkClassExpression> emptyList())); }
@Override public final ElkClassExpression toElkExpression(ElkObject.Factory factory) { ElkClassExpression filler = getMainFillerMatch(factory); if (getRangeMatches().isEmpty()) { return filler; } // else return factory.getObjectIntersectionOf(getFillerMatches(factory)); }
@Override public ElkObjectIntersectionOf getObjectIntersectionOf( ElkClassExpression first, ElkClassExpression second, ElkClassExpression... other) { return filter(factory_.getObjectIntersectionOf(first, second, other)); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectIntersectionOf(conjuncts_), conjuncts_.get(conjunctPos_)); }