@Nonnull @Override public Set<UsageReference> visit(@Nonnull OWLNegativeObjectPropertyAssertionAxiom axiom) { return translate(axiom.getSubject(), axiom); }
@Override public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { rhs.add(axiom.getObject()); rhs.add(axiom.getProperty()); lhs.add(axiom.getSubject()); }
@Override public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { sb.append("NegativeObjectPropertyAssertion("); writeAnnotations(axiom); axiom.getProperty().accept(this); insertSpace(); axiom.getSubject().accept(this); insertSpace(); axiom.getObject().accept(this); sb.append(')'); }
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { if (axiom.containsAnonymousIndividuals()) throw new IllegalArgumentException("The axiom "+axiom+" contains anonymous individuals, which is not allowed in OWL 2 DL. "); addFact(m_factory.getOWLNegativeObjectPropertyAssertionAxiom(axiom.getProperty().getSimplified(),axiom.getSubject(),axiom.getObject())); m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty()); } public void visit(OWLDataPropertyAssertionAxiom axiom) {
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { sb.append("NegativeObjectPropertyAssertion("); writeAnnotations(axiom); axiom.getProperty().accept(this); insertSpace(); axiom.getSubject().accept(this); insertSpace(); axiom.getObject().accept(this); sb.append(")"); }
@Override public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { sb.append("NegativeObjectPropertyAssertion("); writeAnnotations(axiom); axiom.getProperty().accept(this); insertSpace(); axiom.getSubject().accept(this); insertSpace(); axiom.getObject().accept(this); sb.append(")"); }
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { handleObject(axiom); axiom.getSubject().accept(this); axiom.getProperty().accept(this); axiom.getObject().accept(this); }
@Override public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { axiom.getSubject().accept(this); axiom.getProperty().accept(this); axiom.getObject().accept(this); processAxiomAnnotations(axiom); }
@Override public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { axiom.getSubject().accept(this); axiom.getProperty().accept(this); axiom.getObject().accept(this); processAxiomAnnotations(axiom); }
@Override public void visit(OWLNegativeObjectPropertyAssertionAxiom ax) { obj = df .getOWLNegativeObjectPropertyAssertionAxiom(dup(ax.getProperty()), dup(ax.getSubject()), dup(ax .getObject()), anns(ax)); }
@Override public OWLNegativeObjectPropertyAssertionAxiom visit( OWLNegativeObjectPropertyAssertionAxiom ax) { return df.getOWLNegativeObjectPropertyAssertionAxiom(t(ax.getProperty()), t(ax.getSubject()), t(ax.getObject()), a(ax)); }
@Override public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { writeAxiomStart(NEGATIVE_OBJECT_PROPERTY_ASSERTION, axiom); acceptAndSpace(axiom.getProperty()); acceptAndSpace(axiom.getSubject()); axiom.getObject().accept(this); writeAxiomEnd(); }
@Override public void visit(final OWLNegativeObjectPropertyAssertionAxiom axiom) { ATermAppl subj = indConv.getTerm( axiom.getSubject() ); ATermAppl pred = reasoner.term( axiom.getProperty() ); ATermAppl obj = indConv.getTerm( axiom.getObject() ); query.add( QueryAtomFactory.NegativePropertyValueAtom(subj, pred, obj) ); }
@Override public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { translateAnonymousNode(axiom); addTriple(axiom, RDF_TYPE.getIRI(), OWL_NEGATIVE_PROPERTY_ASSERTION.getIRI()); addTriple(axiom, OWL_SOURCE_INDIVIDUAL.getIRI(), axiom.getSubject()); addTriple(axiom, OWL_ASSERTION_PROPERTY.getIRI(), axiom.getProperty()); addTriple(axiom, OWL_TARGET_INDIVIDUAL.getIRI(), axiom.getObject()); translateAnnotations(axiom); processIfAnonymous(axiom.getSubject(), axiom); processIfAnonymous(axiom.getObject(), axiom); }
@Override public Object visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLNegativeObjectPropertyAssertionAxiom(t(axiom.getProperty()), t(axiom .getSubject()), t(axiom.getObject()), t(axiom.annotations()))); }
@Override public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { write(NOT); axiom.getProperty().accept(this); write("("); axiom.getSubject().accept(this); write(", "); axiom.getObject().accept(this); write(")"); }
@Override public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { axiom.getSubject().accept(this); writeSpace().write(keyword("notvalue")); axiom.getProperty().accept(this); writeSpace(); axiom.getObject().accept(this); }
@Override public Object visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLNegativeObjectPropertyAssertionAxiom(t(axiom.getProperty()), t(axiom .getSubject()), t(axiom.getObject()), t(axiom.annotations()))); }
@Override public Object visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLNegativeObjectPropertyAssertionAxiom(t(axiom.getProperty()), t(axiom .getSubject()), t(axiom.getObject()), t(axiom.annotations()))); }
public void visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { writeAxiomStart(NEGATIVE_OBJECT_PROPERTY_ASSERTION, axiom); axiom.getProperty().accept(this); writeSpace(); axiom.getSubject().accept(this); writeSpace(); axiom.getObject().accept(this); writeAxiomEnd(); }