@Nonnull @Override public Set<UsageReference> visit(@Nonnull OWLNegativeDataPropertyAssertionAxiom axiom) { return translate(axiom.getSubject(), axiom); }
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { if (!axiom.getSubject().isAnonymous()) { axiom.getSubject().asOWLNamedIndividual().accept(this); } }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { hashCode = primes[21]; hashCode = hashCode * MULT + axiom.getSubject().hashCode(); hashCode = hashCode * MULT + axiom.getProperty().hashCode(); hashCode = hashCode * MULT + axiom.getObject().hashCode(); hashCode = hashCode * MULT + axiom.getAnnotations().hashCode(); }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { hashCode = 97; hashCode = hashCode * MULT + axiom.getSubject().hashCode(); hashCode = hashCode * MULT + axiom.getProperty().hashCode(); hashCode = hashCode * MULT + axiom.getObject().hashCode(); hashCode = hashCode * MULT + axiom.getAnnotations().hashCode(); }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom object) { Constant targetValue=(Constant)object.getObject().accept(m_dataRangeConverter); m_negativeFacts.add(getRoleAtom(object.getProperty(),getIndividual(object.getSubject()),targetValue)); } }
@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(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(OWLNegativeDataPropertyAssertionAxiom axiom) { v(axiom.getSubject()); v(axiom.getProperty()); v(axiom.getObject()); } }
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { axiom.getSubject().accept(this); axiom.getProperty().accept(this); axiom.getObject().accept(this); processAxiomAnnotations(axiom); }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { OWLDataPropertyExpression property = axiom.getProperty(); property = expressionRenamer.rename(property); OWLIndividual subject = axiom.getSubject(); subject = expressionRenamer.rename(subject); OWLLiteral object = axiom.getObject(); object = expressionRenamer.rename(object); renamedAxiom = df.getOWLNegativeDataPropertyAssertionAxiom(property, subject, object); }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { process(axiom); axiom.getSubject().accept(this); axiom.getProperty().accept(this); axiom.getObject().accept(this); }
@Override public OWLNegativeDataPropertyAssertionAxiom visit(OWLNegativeDataPropertyAssertionAxiom ax) { return df.getOWLNegativeDataPropertyAssertionAxiom(t(ax.getProperty()), t(ax.getSubject()), t(ax.getObject()), a(ax)); }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { writeAxiomStart(NEGATIVE_DATA_PROPERTY_ASSERTION, axiom); acceptAndSpace(axiom.getProperty()); acceptAndSpace(axiom.getSubject()); axiom.getObject().accept(this); writeAxiomEnd(); }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom ax) { obj = df .getOWLNegativeDataPropertyAssertionAxiom(dup(ax.getProperty()), dup(ax.getSubject()), dup(ax .getObject()), anns(ax)); }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { writeAxiomStart(NEGATIVE_DATA_PROPERTY_ASSERTION, axiom); acceptAndSpace(axiom.getProperty()); acceptAndSpace(axiom.getSubject()); axiom.getObject().accept(this); writeAxiomEnd(); }
public Set<OWLAxiom> visit(OWLNegativeDataPropertyAssertionAxiom axiom) { return subClassOf(df.getOWLObjectOneOf(axiom.getSubject()), df.getOWLDataAllValuesFrom(axiom.getProperty(), df.getOWLDataComplementOf(df.getOWLDataOneOf(axiom.getObject())))); }
@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 Object visit(OWLNegativeDataPropertyAssertionAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLNegativeDataPropertyAssertionAxiom(t(axiom.getProperty()), t(axiom .getSubject()), t(axiom.getObject()), t(axiom.annotations()))); }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { write(NOT); axiom.getProperty().accept(this); write("("); axiom.getSubject().accept(this); write(", "); axiom.getObject().accept(this); write(")"); }
public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { write(NOT); axiom.getProperty().accept(this); write("("); axiom.getSubject().accept(this); write(", "); axiom.getObject().accept(this); write(")"); }