@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { handleObject(axiom); axiom.getSubject().accept(this); axiom.getProperty().accept(this); axiom.getObject().accept(this); }
@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 object) { Constant targetValue = (Constant) object.getObject().accept(m_dataRangeConverter); Atom atom = getRoleAtom(object.getProperty(), getIndividual(object.getSubject()), targetValue); Collection<OWLAxiom> originalAxioms = m_negativeFacts_map.get(atom); if (originalAxioms == null) { originalAxioms = new ArrayList<OWLAxiom>(); m_negativeFacts_map.put(atom, originalAxioms); } if (originalAxiom != null) originalAxioms.add(originalAxiom); }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { axiom.getSubject().accept(this); OWLIndividual ind = (OWLIndividual) obj; axiom.getProperty().accept(this); OWLDataPropertyExpression prop = (OWLDataPropertyExpression) obj; axiom.getObject().accept(this); OWLLiteral con = (OWLLiteral) obj; obj = dataFactory.getOWLNegativeDataPropertyAssertionAxiom( prop, ind, con, duplicateAxiomAnnotations(axiom)); }
@Override public void visit(OWLNegativeDataPropertyAssertionAxiom axiom) { OWLClassExpression sub = oneOf(axiom.getSubject()); OWLClassExpression sup = factory.getOWLDataHasValue(axiom.getProperty(), axiom.getObject()); factory.getOWLSubClassOfAxiom(sub, not(sup)).accept(this); }