@Override public void visit(OWLDataIntersectionOf node) { hashCode = primes[76]; hashCode = hashCode * MULT + node.getOperands().hashCode(); }
private boolean check(OWLDataRange filler) { if (filler instanceof OWLDatatype) return true; if (filler instanceof OWLDataIntersectionOf) return check(((OWLDataIntersectionOf) filler).getOperands()); return false; }
@Override public void write(OWLOutputStream out, Object o) throws IOException { OWLDataIntersectionOf intersection = (OWLDataIntersectionOf) o; out.write(intersection.getOperands()); }
@Override public boolean equals(Object obj) { if (obj == this) { return true; } if (!(obj instanceof OWLDataIntersectionOf)) { return false; } OWLDataIntersectionOf other = (OWLDataIntersectionOf) obj; return this.getOperands().equals(other.getOperands()); }
@Override public List<? extends ElkDataRange> getDataRanges() { List<ElkDataRange> result = new ArrayList<ElkDataRange>(); for (OWLDataRange dr : this.owlObject.getOperands()) { result.add(converter.convert(dr)); } return result; }
public void visit(OWLDataIntersectionOf node) { sb.append("DataIntersectionOf("); for (OWLDataRange rng : node.getOperands()) { rng.accept(this); sb.append(" "); } sb.append(")"); }
@Override public void visit(OWLDataIntersectionOf node) { for (OWLDataRange dr : node.getOperands()) { dr.accept(this); } }
@Override public void visit(OWLDataIntersectionOf node) { sb.append("DataIntersectionOf("); for (OWLDataRange rng : node.getOperands()) { rng.accept(this); sb.append(" "); } sb.append(")"); }
@Override public void visit(OWLDataIntersectionOf node) { Set<OWLDataRange> operands = node.getOperands(); for (OWLDataRange op : operands) { op.accept(this); } length += (operands.size() - 1) * metric.dataIntersectionLength; }
public OWLDataRange visit(OWLDataIntersectionOf range) { Set<OWLDataRange> newConjuncts=new HashSet<OWLDataRange>(); for (OWLDataRange dr : range.getOperands()) newConjuncts.add(getNNF(dr)); return m_factory.getOWLDataIntersectionOf(newConjuncts); } public OWLDataRange visit(OWLDataUnionOf range) {
public OWLDataRange visit(OWLDataIntersectionOf range) { Set<OWLDataRange> newDisjuncts=new HashSet<OWLDataRange>(); for (OWLDataRange dr : range.getOperands()) newDisjuncts.add(getComplementNNF(dr)); return m_factory.getOWLDataUnionOf(newDisjuncts); } public OWLDataRange visit(OWLDataUnionOf range) {
public OWLDataRange visit(OWLDataIntersectionOf object) { OWLDataRange definition=getDefinitionFor(object,m_alreadyExists); if (!m_alreadyExists[0]) for (OWLDataRange description : object.getOperands()) m_newDataRangeInclusions.add(new OWLDataRange[] { negative(definition),description }); return definition; } public OWLDataRange visit(OWLDataUnionOf node) {
@Override protected int compareObjectOfSameType(OWLObject object) { OWLDataIntersectionOf other = (OWLDataIntersectionOf) object; return compareSets(getOperands(), other.getOperands()); }
@Override public OWLDataRange visit(OWLDataIntersectionOf node) { Set<OWLDataRange> ops = new HashSet<>(); for (OWLDataRange op : node.getOperands()) { ops.add(op.accept(this)); } if (negated) { return dataFactory.getOWLDataUnionOf(ops); } else { return dataFactory.getOWLDataIntersectionOf(ops); } }
@Override public void visit(@Nonnull OWLDataIntersectionOf node) { write("("); write(node.getOperands(), AND, false); write(")"); }
public void visit(OWLDataIntersectionOf node) { writer.writeStartElement(DATA_INTERSECTION_OF); render(node.getOperands()); writer.writeEndElement(); }
@Override public void visit(OWLDataIntersectionOf node) { write("("); write(node.getOperands(), AND, false); write(")"); }
public void visit(OWLDataIntersectionOf node) { write("("); write(node.getOperands(), AND, false); write(")"); }
@Override public void visit(OWLDataIntersectionOf node) { write(DATA_INTERSECTION_OF); writeOpenBracket(); write(node.getOperands()); writeCloseBracket(); }
public void visit(OWLDataIntersectionOf node) { translateAnonymousNode(node); addTriple(node, RDF_TYPE.getIRI(), RDFS_DATATYPE.getIRI()); addListTriples(node, OWL_INTERSECTION_OF.getIRI(), node.getOperands()); }