@Override public ElkAxiom visit(final ElkNamedIndividual ind) { return factory.getSameIndividualAxiom( new ArrayList<ElkNamedIndividual>( Operations.getCollection( Operations.filter(equivalent, ElkNamedIndividual.class), equivalent.size()))); }
@Override public ElkAxiom visit(final ElkNamedIndividual ind) { return factory.getSameIndividualAxiom( new ArrayList<ElkNamedIndividual>( Operations.getCollection( Operations.filter(equivalent, ElkNamedIndividual.class), equivalent.size()))); }
@Override public ElkAxiom visit(final ElkNamedIndividual ind) { return factory.getSameIndividualAxiom( new ArrayList<ElkNamedIndividual>( Operations.getCollection( Operations.filter(equivalent, ElkNamedIndividual.class), equivalent.size()))); }
protected static void printIndividualAxioms(ElkNamedIndividual individual, ArrayList<ElkNamedIndividual> orderedSameIndividuals, TreeSet<ElkClass> orderedDirectClasses, ElkObject.Factory objectFactory, Writer writer) throws IOException { if (orderedSameIndividuals.size() > 1) { ElkSameIndividualAxiom axiom = objectFactory .getSameIndividualAxiom(orderedSameIndividuals); OwlFunctionalStylePrinter.append(writer, axiom, true); writer.append('\n'); } for (ElkClass clazz : orderedDirectClasses) { ElkClassAssertionAxiom axiom = objectFactory .getClassAssertionAxiom(clazz, individual); OwlFunctionalStylePrinter.append(writer, axiom, true); writer.append('\n'); } } }
public ElkSameIndividualAxiom getPremise(ElkObject.Factory factory) { return factory.getSameIndividualAxiom(same_); }
public ElkSameIndividualAxiom getPremise(ElkObject.Factory factory) { return factory.getSameIndividualAxiom(same_); }
public ElkSameIndividualAxiom getPremise(ElkObject.Factory factory) { return factory.getSameIndividualAxiom(same_); }
@Override public ElkSameIndividualAxiom getConclusion( final ElkObject.Factory factory) { return factory.getSameIndividualAxiom(same_); }
@Override public ElkSameIndividualAxiom getSameIndividualAxiom( List<? extends ElkIndividual> individuals) { return filter(factory_.getSameIndividualAxiom(individuals)); }
@Override public ElkSameIndividualAxiom getSameIndividualAxiom( List<? extends ElkIndividual> individuals) { return filter(factory_.getSameIndividualAxiom(individuals)); }
final public ElkSameIndividualAxiom sameIndividual() throws ParseException {List<ElkIndividual> v; jj_consume_token(SAME_INDIVIDUAL); jj_consume_token(OPEN_BRACKET); axiomAnnotations(); v = twoOrMoreIndividuals(); jj_consume_token(CLOSE_BRACKET); {if ("" != null) return getElkObjectFactory().getSameIndividualAxiom(v);} throw new Error("Missing return statement in function"); }
@Override public ElkSameIndividualAxiom getSameIndividualAxiom( ElkIndividual first, ElkIndividual second, ElkIndividual... other) { return filter(factory_.getSameIndividualAxiom(first, second, other)); }
@Override public ElkSameIndividualAxiom getSameIndividualAxiom( List<? extends ElkIndividual> individuals) { return filter(factory_.getSameIndividualAxiom(individuals)); }
@Override public ElkSameIndividualAxiom getConclusion( final ElkObject.Factory factory) { return factory.getSameIndividualAxiom(same_); }
@Override public ElkSameIndividualAxiom getSameIndividualAxiom( ElkIndividual first, ElkIndividual second, ElkIndividual... other) { return filter(factory_.getSameIndividualAxiom(first, second, other)); }
@Override public ElkSameIndividualAxiom getSameIndividualAxiom( ElkIndividual first, ElkIndividual second, ElkIndividual... other) { return filter(factory_.getSameIndividualAxiom(first, second, other)); }
@Override public ElkSameIndividualAxiom getConclusion( final ElkObject.Factory factory) { return factory.getSameIndividualAxiom(same_); }