protected void writePropertyCharacteristic(OWLXMLVocabulary v, OWLAxiom ax, OWLPropertyExpression prop) { writeAxiomStart(v, ax); prop.accept(this); writeAxiomEnd(); }
private <V extends OWLObject> void writeRestriction(OWLHasValueRestriction<V> restriction, OWLPropertyExpression p) { p.accept(this); write(VALUE); restriction.getFiller().accept(this); }
private void renderDomainAxiom(OWLPropertyDomainAxiom<?> axiom) { axiom.getProperty().accept(this); renderKeywordWithSpaces(ManchesterOWLSyntax.DOMAIN); axiom.getDomain().accept(this); }
private void renderRangeAxiom(OWLPropertyRangeAxiom<?, ?> axiom) { axiom.getProperty().accept(this); renderKeywordWithSpaces(ManchesterOWLSyntax.RANGE); axiom.getRange().accept(this); }
private void renderRangeAxiom(OWLPropertyRangeAxiom<?, ?> axiom) { axiom.getProperty().accept(this); renderKeywordWithSpaces(ManchesterOWLSyntax.RANGE); axiom.getRange().accept(this); }
private void renderQuantifiedRestriction(OWLQuantifiedRestriction restriction, ManchesterOWLSyntax keyword) { restriction.getProperty().accept(this); renderKeywordWithSpaces(keyword); renderRestrictionFiller(restriction.getFiller()); }
private void writeRestriction(OWLHasValueRestriction restriction) { restriction.getProperty().accept(this); write(VALUE); restriction.getValue().accept(this); }
@Override public void visit(OWLHasKeyAxiom axiom) { axiom.getClassExpression().accept(this); for (OWLPropertyExpression<?, ?> prop : axiom.getPropertyExpressions()) { prop.accept(this); } processAxiomAnnotations(axiom); }
private void renderQuantifiedRestriction(OWLQuantifiedRestriction restriction, ManchesterOWLSyntax keyword) { restriction.getProperty().accept(this); renderKeywordWithSpaces(keyword); renderRestrictionFiller(restriction.getFiller()); }
private void writeRestriction(OWLXMLVocabulary v, OWLPropertyExpression prop, OWLObject filler) { write(v); writeOpenBracket(); prop.accept(this); writeSpace(); filler.accept(this); writeCloseBracket(); }
private OWLTutorialSyntaxObjectRenderer writeRestriction(String str, OWLPropertyExpression prop, OWLObject filler) { write(str).writeOpenBracket(); prop.accept(this); writeSpace(); filler.accept(this); writeCloseBracket(); return this; }
private <V extends OWLObject> void writeValueRestriction(OWLHasValueRestriction<V> restriction, OWLPropertyExpression p) { write(EXISTS); writeSpace(); p.accept(this); writeRestrictionSeparator(); write("{"); restriction.getFiller().accept(this); write("}"); }
private void renderCardinalityRestriction(OWLCardinalityRestriction<?> restriction, ManchesterOWLSyntax keyword) { restriction.getProperty().accept(this); renderKeywordWithSpaces(keyword); builder.append(restriction.getCardinality()); renderSpace(); renderRestrictionFiller(restriction.getFiller()); }
private <V extends OWLObject> void writeValueRestriction(OWLHasValueRestriction<V> restriction, OWLPropertyExpression p) { write(EXISTS); writeSpace(); p.accept(this); writeRestrictionSeparator(); write("{"); restriction.getFiller().accept(this); write("}"); }
private <R extends OWLPropertyRange, P extends OWLPropertyExpression<R, P>, V extends OWLObject> void writeValueRestriction(OWLHasValueRestriction<R, P, V> restriction) { write(EXISTS); writeSpace(); restriction.getProperty().accept(this); writeRestrictionSeparator(); write("{"); restriction.getValue().accept(this); write("}"); }
private void writePropertyAssertion(OWLPropertyAssertionAxiom<?, ?> ax) { if (ax instanceof OWLNegativeObjectPropertyAssertionAxiom || ax instanceof OWLNegativeDataPropertyAssertionAxiom) { write(NOT); } ax.getProperty().accept(this); write("("); ax.getSubject().accept(this); write(", "); ax.getObject().accept(this); write(")"); }
private OWLTutorialSyntaxObjectRenderer writeRestriction(String str, OWLCardinalityRestriction<?> restriction, OWLPropertyExpression property) { write(str).writeOpenBracket().write(restriction.getCardinality()).writeSpace(); property.accept(this); if (restriction.isQualified()) { writeSpace(); restriction.getFiller().accept(this); } writeCloseBracket(); return this; }
private void writeDomainAxiom(OWLPropertyDomainAxiom<?> axiom) { write(EXISTS); writeSpace(); axiom.getProperty().accept(this); writeRestrictionSeparator(); write(TOP); writeSpace(); write(SUBCLASS); writeSpace(); writeNested(axiom.getDomain()); }
private void writeDomainAxiom(OWLPropertyDomainAxiom<?> axiom) { write(EXISTS); writeSpace(); axiom.getProperty().accept(this); writeRestrictionSeparator(); write(TOP); writeSpace(); write(SUBCLASS); writeSpace(); writeNested(axiom.getDomain()); }
private void writeRangeAxiom(OWLPropertyRangeAxiom<?, ?> axiom) { checkNotNull(axiom, "axiom cannot be null"); write(TOP); writeSpace(); write(SUBCLASS); writeSpace(); write(FORALL); writeSpace(); axiom.getProperty().accept(this); writeRestrictionSeparator(); writeNested(axiom.getRange()); }