@Override public void visit(OWLDataMaxCardinality desc) { hashCode = 173; hashCode = hashCode * MULT + desc.getProperty().hashCode(); hashCode = hashCode * MULT + desc.getCardinality(); hashCode = hashCode * MULT + desc.getFiller().hashCode(); }
@Override public void visit(OWLDataMaxCardinality ce) { writer.writeStartElement(DATA_MAX_CARDINALITY); writer.writeCardinalityAttribute(ce.getCardinality()); ce.getProperty().accept(this); if (ce.isQualified()) { ce.getFiller().accept(this); } writer.writeEndElement(); }
@Override public void visit(OWLDataMaxCardinality ce) { if (ce.isQualified()) { addDataCardinalityRestrictionTriples(ce, ce.getProperty(), OWL_MAX_QUALIFIED_CARDINALITY); } else { addDataCardinalityRestrictionTriples(ce, ce.getProperty(), OWL_MAX_CARDINALITY); } }
protected boolean moreThanOneCard(OWLDataMaxCardinality ce, OWLDataProperty p) { return ce.getCardinality() > 1 && !getSignature().contains(p) && isTopOrBuiltInInfiniteDatatype(ce .getFiller()); }
@Override public void visit(OWLDataMaxCardinality ce) { write(MAX); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); }
@Override public void visit(OWLDataMaxCardinality desc) { desc.getProperty().accept(this); desc.getFiller().accept(this); }
@Override public Collection<OWLObject> visit(OWLDataMaxCardinality ce) { objects.add(ce); return ce.getProperty().accept(this); }
public void visit(OWLDataMaxCardinality r) { t = max; cardinality = r.getCardinality(); handleRestriction(r); } }
@SuppressWarnings("static-method") public ElkDataMaxCardinality convert( OWLDataMaxCardinality owlDataMaxCardinality) { if (owlDataMaxCardinality.isQualified()) return new ElkDataMaxCardinalityQualifiedWrap<OWLDataMaxCardinality>( owlDataMaxCardinality); // else return new ElkDataMaxCardinalityUnqualifiedWrap<OWLDataMaxCardinality>( owlDataMaxCardinality); }
@Override public void visit(OWLFunctionalDataPropertyAxiom axiom) { write(TOP); writeSpace(); write(SUBCLASS); writeSpace(); df.getOWLDataMaxCardinality(1, axiom.getProperty()).accept(this); }
@Override public void visit(OWLDataMaxCardinality ce) { write(MAX); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); }
protected boolean moreThanOneCard(OWLDataMaxCardinality ce, OWLDataProperty p) { return ce.getCardinality() > 1 && !getSignature().contains(p) && isTopOrBuiltInInfiniteDatatype(ce .getFiller()); }
@Override public void visit(OWLDataMaxCardinality ce) { ce.getProperty().accept(this); ce.getFiller().accept(this); length += metric.dataCardinalityLength; }
@Override public Collection<OWLObject> visit(OWLDataMaxCardinality ce) { objects.add(ce); return ce.getProperty().accept(this); }
@Override public void visit(OWLDataMaxCardinality ce) { if (ce.isQualified()) { addDataCardinalityRestrictionTriples(ce, ce.getProperty(), OWL_MAX_QUALIFIED_CARDINALITY); } else { addDataCardinalityRestrictionTriples(ce, ce.getProperty(), OWL_MAX_CARDINALITY); } }
public void visit(OWLDataMaxCardinality r) { t = max; cardinality = r.getCardinality(); handleRestriction(r); } }
@SuppressWarnings("static-method") public ElkDataMaxCardinality convert( OWLDataMaxCardinality owlDataMaxCardinality) { if (owlDataMaxCardinality.isQualified()) return new ElkDataMaxCardinalityQualifiedWrap<OWLDataMaxCardinality>( owlDataMaxCardinality); // else return new ElkDataMaxCardinalityUnqualifiedWrap<OWLDataMaxCardinality>( owlDataMaxCardinality); }
@Override public void visit(OWLFunctionalDataPropertyAxiom axiom) { write(TOP); writeSpace(); write(SUBCLASS); writeSpace(); df.getOWLDataMaxCardinality(1, axiom.getProperty()).accept(this); }
@Override public void visit(OWLDataMaxCardinality expr) { isBotEq = isMaxBotEquivalent(expr.getCardinality(), expr.getProperty(), expr.getFiller()); }
@Override public void visit(OWLDataMaxCardinality ce) { writer.writeStartElement(DATA_MAX_CARDINALITY); writer.writeCardinalityAttribute(ce.getCardinality()); ce.getProperty().accept(this); if (ce.isQualified()) { ce.getFiller().accept(this); } writer.writeEndElement(); }