public void visit(OWLDataMaxCardinality r) { t = max; cardinality = r.getCardinality(); handleRestriction(r); } }
protected boolean moreThanOneCard(OWLDataMaxCardinality ce, OWLDataProperty p) { return ce.getCardinality() > 1 && !getSignature().contains(p) && isTopOrBuiltInInfiniteDatatype(ce .getFiller()); }
@Override public void visit(OWLDataMaxCardinality ce) { sb.append("DataMaxCardinality("); sb.append(ce.getCardinality()); insertSpace(); ce.getProperty().accept(this); insertSpace(); ce.getFiller().accept(this); sb.append(')'); }
public void visit(OWLDataMaxCardinality desc) { sb.append("DataMaxCardinality("); sb.append(desc.getCardinality()); insertSpace(); desc.getProperty().accept(this); insertSpace(); desc.getFiller().accept(this); sb.append(")"); }
@Override public void visit(OWLDataMaxCardinality desc) { sb.append("DataMaxCardinality("); sb.append(desc.getCardinality()); insertSpace(); desc.getProperty().accept(this); insertSpace(); desc.getFiller().accept(this); sb.append(")"); }
@Override public OWLClassExpression visit(OWLDataMaxCardinality d) { OWLDataRange filler=getNNF(d.getFiller()); return m_factory.getOWLDataMinCardinality(d.getCardinality()+1,d.getProperty(),filler); } @Override
public OWLClassExpression visit(OWLDataMaxCardinality d) { OWLDataRange filler=getNNF(d.getFiller()); return m_factory.getOWLDataMinCardinality(d.getCardinality()+1,d.getProperty(),filler); } public OWLClassExpression visit(OWLDataExactCardinality d) {
@Override public OWLClassExpression visit(OWLDataMaxCardinality ce) { int card = ce.getCardinality(); OWLDataRange filler = ce.getFiller().accept(rangeVisitor); return df.getOWLDataMaxCardinality(card, ce.getProperty(), filler); }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderDataMaxCardinality(OWLDataMaxCardinality expected, OWLDataFactory df) { this(df); withCardinality(expected.getCardinality()).withProperty(expected.getProperty()) .withRange(expected.getFiller()); }
@Override public void visit(OWLDataMaxCardinality ce) { obj = df.getOWLDataMaxCardinality(ce.getCardinality(), dup(ce.getProperty()), dup(ce.getFiller())); }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderDataMaxCardinality(OWLDataMaxCardinality expected, OWLDataFactory df) { this(df); withCardinality(expected.getCardinality()).withProperty(expected.getProperty()) .withRange(expected.getFiller()); }
@Override public void visit(OWLDataMaxCardinality ce) { obj = df.getOWLDataMaxCardinality(ce.getCardinality(), dup(ce.getProperty()), dup(ce.getFiller())); }
@Override public OWLDataMaxCardinality visit(OWLDataMaxCardinality ce) { return df.getOWLDataMaxCardinality(ce.getCardinality(), get(ce.getProperty()), get(ce.getFiller())); }
@Override public Object visit(OWLDataMaxCardinality ce) { return visit(ce, () -> df.getOWLDataMaxCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce .getFiller()))); }
@Override public Object visit(OWLDataMaxCardinality ce) { return visit(ce, () -> df.getOWLDataMaxCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce .getFiller()))); }
public void visit(OWLDataMaxCardinality desc) { write(MAX); writeSpace(); write(desc.getCardinality()); writeSpace(); desc.getProperty().accept(this); }
@Override public OWLDataMaxCardinality visit(OWLDataMaxCardinality ce) { if (ce.getFiller() instanceof OWLDataOneOf) { return df.getOWLDataMaxCardinality(ce.getCardinality(), ce.getProperty(), process(ce.getProperty(), (OWLDataOneOf) ce.getFiller())); } return super.visit(ce); }
@Override public OWLDataMaxCardinality visit(OWLDataMaxCardinality ce) { if (ce.getFiller() instanceof OWLDataOneOf) { return df.getOWLDataMaxCardinality(ce.getCardinality(), ce.getProperty(), process(ce.getProperty(), (OWLDataOneOf) ce.getFiller())); } return super.visit(ce); }
@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) { writeOpenBracket(); write(AT_MOST); write(ce.getCardinality()); write(ce.getProperty()); if (ce.isQualified()) { write(ce.getFiller()); } writeCloseBracket(); }