@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(disjuncts_.get(disjunctPos_), factory.getObjectUnionOf(disjuncts_)); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(disjuncts_.get(disjunctPos_), factory.getObjectUnionOf(disjuncts_)); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectUnionOf(Collections.singletonList(disjunct_)), disjunct_); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectUnionOf(Collections.singletonList(disjunct_)), disjunct_); }
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom(defined_, factory.getObjectUnionOf(disjoint_)); }
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom(defined_, factory.getObjectUnionOf(disjoint_)); }
@Override public ElkObjectUnionOf getObjectUnionOf( List<? extends ElkClassExpression> members) { return filter(factory_.getObjectUnionOf(members)); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(disjuncts_.get(disjunctPos_), factory.getObjectUnionOf(disjuncts_)); }
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom( factory.getObjectOneOf(getMembers()), factory.getObjectUnionOf(toDisjuncts(getMembers(), factory))); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectUnionOf( Collections.<ElkClassExpression> emptyList()), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectUnionOf( Collections.<ElkClassExpression> emptyList()), factory.getOwlNothing()); }
@Override public ElkObjectUnionOf getObjectUnionOf( List<? extends ElkClassExpression> members) { return filter(factory_.getObjectUnionOf(members)); }
@Override public ElkObjectUnionOf getObjectUnionOf( ElkClassExpression first, ElkClassExpression second, ElkClassExpression... other) { return filter(factory_.getObjectUnionOf(first, second, other)); }
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom( factory.getObjectOneOf(getMembers()), factory.getObjectUnionOf(toDisjuncts(getMembers(), factory))); }
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom(defined_, factory.getObjectUnionOf(disjoint_)); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectUnionOf( Collections.<ElkClassExpression> emptyList()), factory.getOwlNothing()); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom( factory.getObjectUnionOf(Collections.singletonList(disjunct_)), disjunct_); }
@Override public ElkObjectUnionOf getObjectUnionOf( List<? extends ElkClassExpression> members) { return filter(factory_.getObjectUnionOf(members)); }
@Override public ElkObjectUnionOf getObjectUnionOf( ElkClassExpression first, ElkClassExpression second, ElkClassExpression... other) { return filter(factory_.getObjectUnionOf(first, second, other)); }
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom( factory.getObjectOneOf(getMembers()), factory.getObjectUnionOf(toDisjuncts(getMembers(), factory))); }