@Override public OWLSameIndividualAxiom buildObject() { return df.getOWLSameIndividualAxiom(items, annotations); } }
public static OWLSameIndividualAxiom SameIndividual( Collection<? extends OWLIndividual> individuals) { return DF.getOWLSameIndividualAxiom(individuals); }
@Override public OWLSameIndividualAxiom buildObject() { return df.getOWLSameIndividualAxiom(items, annotations); } }
public Set<OWLSameIndividualAxiom> asPairwiseAxioms() { List<OWLIndividual> inds = getIndividualsAsList(); Set<OWLSameIndividualAxiom> result = new HashSet<OWLSameIndividualAxiom>(); for(int i = 0; i < inds.size() - 1; i++) { OWLIndividual indI = inds.get(i); OWLIndividual indJ = inds.get(i + 1); result.add(getOWLDataFactory().getOWLSameIndividualAxiom(indI, indJ)); } return result; }
protected OWLSameIndividualAxiom createAxiom(Set<OWLNamedIndividual> object) { object.add(getRootObject()); OWLSameIndividualAxiom ax = getOWLDataFactory().getOWLSameIndividualAxiom(object); return ax; }
protected OWLSameIndividualAxiom createAxiom(Set<OWLNamedIndividual> object) { object.add(getRootObject()); OWLSameIndividualAxiom ax = getOWLDataFactory().getOWLSameIndividualAxiom(object); return ax; }
protected OWLSameIndividualAxiom createAxiom(Set<OWLNamedIndividual> object) { object.add(getRootObject()); OWLSameIndividualAxiom ax = getOWLDataFactory().getOWLSameIndividualAxiom(object); return ax; }
@Override public void visit(OWLSameIndividualAxiom ax) { obj = df.getOWLSameIndividualAxiom(set(ax.individuals()), anns(ax)); }
@Override public OWLSameIndividualAxiom visit(OWLSameIndividualAxiom ax) { return df.getOWLSameIndividualAxiom(list(ax.individuals()), a(ax)); }
final public OWLAxiom parseSameIndividual() throws ParseException {OWLIndividual indA; OWLIndividual indB; indA = parseIndividualId(); jj_consume_token(EXACT); indB = parseIndividualId(); return factory.getOWLSameIndividualAxiom(indA, indB); }
@Override public void handleTriple(IRI s, IRI p, IRI o) { add(df.getOWLSameIndividualAxiom(Sets.newHashSet(ind(s), ind(o)), anns())); consume(s, p, o); } }
@Override public void handleTriple(IRI s, IRI p, IRI o) { add(df.getOWLSameIndividualAxiom(Sets.newHashSet(ind(s), ind(o)), anns())); consume(s, p, o); } }
final public OWLAxiom Equal() throws ParseException {OWLIndividual indA, indB; jj_consume_token(OPENPAR); jj_consume_token(EQUAL); indA = IndividualName(); indB = IndividualName(); jj_consume_token(CLOSEPAR); return df.getOWLSameIndividualAxiom(indA, indB); }
final public OWLIndividualAxiom SameIndividuals() throws ParseException { Set<OWLIndividual> individuals; Set<OWLAnnotation> axiomAnnos; jj_consume_token(SAMEINDIVIDUAL); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); individuals = IndividualSet(); jj_consume_token(CLOSEPAR); {if (true) return dataFactory.getOWLSameIndividualAxiom(individuals, axiomAnnos);} throw new Error("Missing return statement in function"); }
@Override public Object visit(OWLSameIndividualAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLSameIndividualAxiom(t(axiom.individuals()), t(axiom .annotations()))); }
final public void Equal() throws ParseException, KRSS2OWLParserException {OWLIndividual indA, indB; jj_consume_token(OPENPAR); jj_consume_token(EQUAL); indA = IndividualName(); indB = IndividualName(); jj_consume_token(CLOSEPAR); addAxiom( df.getOWLSameIndividualAxiom(indA, indB)); }
final public void Equal() throws ParseException, KRSS2OWLParserException {OWLIndividual indA, indB; jj_consume_token(OPENPAR); jj_consume_token(EQUAL); indA = IndividualName(); indB = IndividualName(); jj_consume_token(CLOSEPAR); addAxiom( df.getOWLSameIndividualAxiom(indA, indB)); }
final public void Equal() throws ParseException, KRSS2OWLParserException {OWLIndividual indA, indB; jj_consume_token(OPENPAR); jj_consume_token(EQUAL); indA = IndividualName(); indB = IndividualName(); jj_consume_token(CLOSEPAR); addAxiom( df.getOWLSameIndividualAxiom(indA, indB)); }
private void initialiseIndividualFrameSections() { //@formatter:off initialiseSection(new AnnAxiom<OWLIndividual, OWLAnnotation>(x -> parseAnnotation(), ANNOTATIONS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLClassExpression>(x -> parseUnion(), TYPES, (s, o, anns) -> df.getOWLClassAssertionAxiom(o, s, anns)), individualFrameSections); initialiseSection(new AnnAxiom<>(this::parseFact, FACTS, (s, o, anns) -> o.getAnnotatedAxiom(anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), SAME_AS, (s, o, anns) -> df.getOWLSameIndividualAxiom(s, o, anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), DIFFERENT_FROM, (s, o, anns) -> df.getOWLDifferentIndividualsAxiom(s, o, anns)), individualFrameSections); // Extensions initialiseSection(new AnnAxiom<OWLIndividual, Set<OWLIndividual>>(x -> parseIndividualList(), DIFFERENT_INDIVIDUALS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections); //@formatter:on }
private void initialiseIndividualFrameSections() { //@formatter:off initialiseSection(new AnnAxiom<OWLIndividual, OWLAnnotation>(x -> parseAnnotation(), ANNOTATIONS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLClassExpression>(x -> parseUnion(), TYPES, (s, o, anns) -> df.getOWLClassAssertionAxiom(o, s, anns)), individualFrameSections); initialiseSection(new AnnAxiom<>(this::parseFact, FACTS, (s, o, anns) -> o.getAnnotatedAxiom(anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), SAME_AS, (s, o, anns) -> df.getOWLSameIndividualAxiom(s, o, anns)), individualFrameSections); initialiseSection(new AnnAxiom<OWLIndividual, OWLIndividual>(x -> parseIndividual(), DIFFERENT_FROM, (s, o, anns) -> df.getOWLDifferentIndividualsAxiom(s, o, anns)), individualFrameSections); // Extensions initialiseSection(new AnnAxiom<OWLIndividual, Set<OWLIndividual>>(x -> parseIndividualList(), DIFFERENT_INDIVIDUALS, (s, o, anns) -> create(df, s, o, anns)), individualFrameSections); //@formatter:on }