@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);
}