@Override public void visit(OWLDataComplementOf node) { node.getDataRange().accept(this); OWLDataRange dr = (OWLDataRange) obj; obj = dataFactory.getOWLDataComplementOf(dr); }
@Override public void visit(OWLDataComplementOf node) { handleObject(node); node.getDataRange().accept(this); }
// /////////////////////////////////////////////////////////////////////////////////////////////////////////// // // Data visitor // // /////////////////////////////////////////////////////////////////////////////////////////////////////////// public void visit(OWLDataComplementOf node) { node.getDataRange().accept(this); }
@Override protected int compareObjectOfSameType(OWLObject object) { OWLDataComplementOf other = (OWLDataComplementOf) object; return getDataRange().compareTo(other.getDataRange()); }
// //////////////////////////////////////////////////////////////////////////////////////////////// @Override public void visit(OWLDataComplementOf node) { write(NOT); writeNested(node.getDataRange()); }