public ElkEquivalentClassesAxiom getPremise( final ElkObject.Factory factory) { final List<ElkObjectOneOf> equivalent = new ArrayList<ElkObjectOneOf>( same_.size()); for (final ElkIndividual individual : same_) { equivalent.add(factory .getObjectOneOf(Collections.singletonList(individual))); } return factory.getEquivalentClassesAxiom(equivalent); }
public ElkEquivalentClassesAxiom getPremise( final ElkObject.Factory factory) { final List<ElkObjectOneOf> equivalent = new ArrayList<ElkObjectOneOf>( same_.size()); for (final ElkIndividual individual : same_) { equivalent.add(factory .getObjectOneOf(Collections.singletonList(individual))); } return factory.getEquivalentClassesAxiom(equivalent); }
public ElkEquivalentClassesAxiom getPremise( final ElkObject.Factory factory) { final List<ElkObjectOneOf> equivalent = new ArrayList<ElkObjectOneOf>( same_.size()); for (final ElkIndividual individual : same_) { equivalent.add(factory .getObjectOneOf(Collections.singletonList(individual))); } return factory.getEquivalentClassesAxiom(equivalent); }
@Override public ElkAxiom visit(final ElkClass cls) { return factory.getEquivalentClassesAxiom( new ArrayList<ElkClass>(Operations.getCollection( Operations.filter(equivalent, ElkClass.class), equivalent.size()))); }
@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 ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom( factory.getObjectHasValue(getProperty(), getValue()), factory.getObjectSomeValuesFrom(getProperty(), factory.getObjectOneOf( Collections.singletonList(getValue())))); }
@Override public ElkEquivalentClassesAxiom getEquivalentClassesAxiom( ElkClassExpression first, ElkClassExpression second, ElkClassExpression... other) { return filter(factory_.getEquivalentClassesAxiom(first, second, other)); }
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { List<ElkObjectOneOf> equivalent = new ArrayList<ElkObjectOneOf>( same_.size()); for (ElkIndividual individual : same_) { equivalent.add(factory .getObjectOneOf(Collections.singletonList(individual))); } return factory.getEquivalentClassesAxiom(equivalent); }
@Override public ElkEquivalentClassesAxiom getEquivalentClassesAxiom( List<? extends ElkClassExpression> equivalentClassExpressions) { return filter( factory_.getEquivalentClassesAxiom(equivalentClassExpressions)); }
@Override public void testEquivalence(List<? extends ElkClass> equivalent) throws Exception { try { TestUtils.provabilityTest(reasoner, ontology, factory_, factory_.getEquivalentClassesAxiom(equivalent)); } catch (ElkException e) { throw new ElkRuntimeException(e); } }
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom( factory.getObjectOneOf(getMembers()), factory.getObjectUnionOf(toDisjuncts(getMembers(), factory))); }
@Override public ElkEquivalentClassesAxiom getEquivalentClassesAxiom( List<? extends ElkClassExpression> equivalentClassExpressions) { return filter( factory_.getEquivalentClassesAxiom(equivalentClassExpressions)); }
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom(expressions_); }
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom( factory.getObjectOneOf(getMembers()), factory.getObjectUnionOf(toDisjuncts(getMembers(), factory))); }
@Override public ElkEquivalentClassesAxiom getEquivalentClassesAxiom( ElkClassExpression first, ElkClassExpression second, ElkClassExpression... other) { return filter(factory_.getEquivalentClassesAxiom(first, second, other)); }
final public ElkEquivalentClassesAxiom equivalentClasses() throws ParseException {List<ElkClassExpression> v; jj_consume_token(EQUIVALENT_CLASSES); jj_consume_token(OPEN_BRACKET); axiomAnnotations(); v = twoOrMoreClassExpressions(); jj_consume_token(CLOSE_BRACKET); {if ("" != null) return getElkObjectFactory().getEquivalentClassesAxiom(v);} throw new Error("Missing return statement in function"); }
@Override public ElkEquivalentClassesAxiom getConclusion(ElkObject.Factory factory) { return factory.getEquivalentClassesAxiom( factory.getObjectHasValue(getProperty(), getValue()), factory.getObjectSomeValuesFrom(getProperty(), factory.getObjectOneOf( Collections.singletonList(getValue())))); }
@Override public ElkEquivalentClassesAxiom getEquivalentClassesAxiom( List<? extends ElkClassExpression> equivalentClassExpressions) { return filter( factory_.getEquivalentClassesAxiom(equivalentClassExpressions)); }
@Override public ElkEquivalentClassesAxiom getEquivalentClassesAxiom( ElkClassExpression first, ElkClassExpression second, ElkClassExpression... other) { return filter(factory_.getEquivalentClassesAxiom(first, second, other)); }