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'); } } }
final ElkNamedIndividual instance = instances.iterator().next(); ElkAxiom axiom = elkFactory.getClassAssertionAxiom(queryClass, instance); query.add(axiom); axiom = elkFactory.getClassAssertionAxiom(queryClass, notInstance); query.add(axiom);
final public ElkClassAssertionAxiom classAssertion() throws ParseException {ElkClassExpression x; ElkIndividual y; jj_consume_token(CLASS_ASSERTION); jj_consume_token(OPEN_BRACKET); axiomAnnotations(); x = classExpression(); y = individual(); jj_consume_token(CLOSE_BRACKET); {if ("" != null) return getElkObjectFactory().getClassAssertionAxiom(x, y);} throw new Error("Missing return statement in function"); }
ElkClass B = objectFactory.getClass(new ElkFullIri(":B")); ElkNamedIndividual ind = objectFactory.getNamedIndividual(new ElkFullIri(":in")); ElkAxiom axiInstA = objectFactory.getClassAssertionAxiom(A, ind); ElkAxiom axASubB = objectFactory.getSubClassOfAxiom(A, B);
ElkNamedIndividual ind = objectFactory.getNamedIndividual(new ElkFullIri(":in")); ElkNamedIndividual newInd = objectFactory.getNamedIndividual(new ElkFullIri(":new")); ElkAxiom axiInstA = objectFactory.getClassAssertionAxiom(A, ind); ElkAxiom axNewInstB = objectFactory.getClassAssertionAxiom(B, newInd); ElkAxiom axASubB = objectFactory.getSubClassOfAxiom(A, B);
ElkClass B = objectFactory.getClass(new ElkFullIri(":B")); ElkNamedIndividual ind = objectFactory.getNamedIndividual(new ElkFullIri(":in")); ElkAxiom axiInstA = objectFactory.getClassAssertionAxiom(A, ind); ElkAxiom axTopSubB = objectFactory.getSubClassOfAxiom(objectFactory.getOwlThing(), B); ElkAxiom axDisj = objectFactory.getDisjointClassesAxiom(A, B);
ElkClass C = objectFactory.getClass(new ElkFullIri(":C")); ElkNamedIndividual ind = objectFactory.getNamedIndividual(new ElkFullIri(":in")); ElkAxiom axiInstA = objectFactory.getClassAssertionAxiom(A, ind); ElkAxiom axASubB = objectFactory.getSubClassOfAxiom(A, B); ElkAxiom axCSubB = objectFactory.getSubClassOfAxiom(C, B);
public ElkClassAssertionAxiom getPremise(ElkObject.Factory factory) { return factory.getClassAssertionAxiom(type_, instance_); }
public ElkClassAssertionAxiom getPremise(ElkObject.Factory factory) { return factory.getClassAssertionAxiom(type_, instance_); }
public ElkClassAssertionAxiom getPremise(ElkObject.Factory factory) { return factory.getClassAssertionAxiom(type_, instance_); }
@Override public ElkAxiom visit(final ElkNamedIndividual ind) { if (superEntity instanceof ElkClass) { return factory.getClassAssertionAxiom( (ElkClass) superEntity, ind); } else { return defaultVisit(ind); } }
@Override public ElkClassAssertionAxiom getConclusion( final ElkObject.Factory factory) { return factory.getClassAssertionAxiom(type_, instance_); }
@Override public ElkClassAssertionAxiom getConclusion( final ElkObject.Factory factory) { return factory.getClassAssertionAxiom(type_, instance_); }
@Override public ElkClassAssertionAxiom getConclusion( final ElkObject.Factory factory) { return factory.getClassAssertionAxiom(type_, instance_); }
@Override public ElkAxiom visit(final ElkNamedIndividual ind) { if (superEntity instanceof ElkClass) { return factory.getClassAssertionAxiom( (ElkClass) superEntity, ind); } else { return defaultVisit(ind); } }
@Override public ElkClassAssertionAxiom getClassAssertionAxiom( ElkClassExpression classExpression, ElkIndividual individual) { return filter( factory_.getClassAssertionAxiom(classExpression, individual)); }
@Override public ElkClassAssertionAxiom getClassAssertionAxiom( ElkClassExpression classExpression, ElkIndividual individual) { return filter( factory_.getClassAssertionAxiom(classExpression, individual)); }
@Override public ElkAxiom visit(final ElkNamedIndividual ind) { if (superEntity instanceof ElkClass) { return factory.getClassAssertionAxiom( (ElkClass) superEntity, ind); } else { return defaultVisit(ind); } }
@Override public ElkClassAssertionAxiom getClassAssertionAxiom( ElkClassExpression classExpression, ElkIndividual individual) { return filter( factory_.getClassAssertionAxiom(classExpression, individual)); }