@Override public void visit(OWLDifferentIndividualsAxiom axiom) { process(axiom); axiom.individuals().forEach(a -> a.accept(this)); }
@Override public void visit(OWLSameIndividualAxiom axiom) { process(axiom); axiom.individuals().forEach(a -> a.accept(this)); }
@Override public void visit(OWLDataPropertyAssertionAxiom axiom) { axiom.getSubject().accept(this); axiom.annotations().forEach(a1 -> a1.accept(this)); }
public void visit(@Nonnull OWLClassAssertionAxiom axiom) { axiom.getIndividual().accept(this); renderKeywordWithSpaces(ManchesterOWLSyntax.TYPE); axiom.getClassExpression().accept(this); }
@Override public void visit(OWLClassAssertionAxiom axiom) { process(axiom); axiom.getIndividual().accept(this); axiom.getClassExpression().accept(this); }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { sb.append("NegativeDataPropertyAssertion("); writeAnnotations(axiom); axiom.getProperty().accept(this); insertSpace(); axiom.getSubject().accept(this); insertSpace(); axiom.getObject().accept(this); sb.append(')'); }
@Override public void visit(OWLClassAssertionAxiom axiom) { writeAxiomStart(CLASS_ASSERTION, axiom); acceptAndSpace(axiom.getClassExpression()); axiom.getIndividual().accept(this); writeAxiomEnd(); }
@Override public void visit(OWLClassAssertionAxiom axiom) { axiom.getIndividual().accept(this); renderBinaryKeyword(TYPE); axiom.getClassExpression().accept(this); renderAxiomAnnotations(axiom); }
@Override public void visit(OWLClassAssertionAxiom axiom) { axiom.getIndividual().accept(this); write(keyword(":")).writeSpace(); axiom.getClassExpression().accept(this); }
@Override public void visit(OWLDataPropertyAssertionAxiom axiom) { process(axiom); axiom.getSubject().accept(this); axiom.getProperty().accept(this); axiom.getObject().accept(this); }
@Override public void visit(OWLClassAssertionAxiom axiom) { writer.writeStartElement(CLASS_ASSERTION); writeAnnotations(axiom); axiom.getClassExpression().accept(this); axiom.getIndividual().accept(this); writer.writeEndElement(); }
@Override public void visit(OWLClassAssertionAxiom axiom) { axiom.getIndividual().accept(this); addSingleTripleAxiom(axiom, axiom.getIndividual(), RDF_TYPE.getIRI(), axiom.getClassExpression()); processIfAnonymous(axiom.getIndividual(), axiom); }
@Override public void visit(OWLObjectHasValue ce) { write(SOME); ce.getProperty().accept(this); writeSpace(); writeOpenBrace(); ce.getFiller().accept(this); writeCloseBrace(); }
public void visit(OWLObjectHasValue node) { write(getSomeKeyWord()); write(" "); node.getProperty().accept(this); write(" {"); node.getFiller().accept(this); write("}"); }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { writer.writeStartElement(NEGATIVE_DATA_PROPERTY_ASSERTION); writeAnnotations(axiom); axiom.getProperty().accept(this); axiom.getSubject().accept(this); axiom.getObject().accept(this); writer.writeEndElement(); }
@Override public void visit(OWLDataPropertyAssertionAxiom axiom) { axiom.getProperty().accept(this); writeSpace(); write("("); axiom.getSubject().accept(this); writeSpace(); axiom.getObject().accept(this); write(")"); }