public static OWLDataMaxCardinality DataMaxCardinality(int cardinality, OWLDataPropertyExpression pe, OWLDataRange dr) { return DF.getOWLDataMaxCardinality(cardinality, pe, dr); }
@Override public OWLDataMaxCardinality buildObject() { return df.getOWLDataMaxCardinality(cardinality, getProperty(), getDataRange()); } }
@Override public OWLDataMaxCardinality buildObject() { return df.getOWLDataMaxCardinality(cardinality, getProperty(), getDataRange()); } }
@Override public OWLClassExpression visit(OWLDataMaxCardinality ce) { int card = ce.getCardinality(); OWLDataRange filler = ce.getFiller().accept(rangeVisitor); return df.getOWLDataMaxCardinality(card, ce.getProperty(), filler); }
@Override public Collection<OWLAxiom> visit(OWLFunctionalDataPropertyAxiom axiom) { return doDefault(df.getOWLSubClassOfAxiom(df.getOWLThing(), df.getOWLDataMaxCardinality(1, axiom.getProperty()))); }
@Override public OWLClassExpression visit(OWLDataMaxCardinality ce) { int card = ce.getCardinality(); OWLDataRange filler = ce.getFiller().accept(rangeVisitor); return df.getOWLDataMaxCardinality(card, ce.getProperty(), filler); }
public OWLClassExpression visit(OWLDataMaxCardinality d) { OWLDataRange filler=getNNF(d.getFiller()); return m_factory.getOWLDataMaxCardinality(d.getCardinality(),d.getProperty(),filler); } public OWLClassExpression visit(OWLDataExactCardinality d) {
@Override protected OWLClassExpression createRestriction() { return getOWLDataFactory().getOWLDataMaxCardinality(getCardinality(), getProperty(), getFiller()); } }
@Override public OWLClassExpression visit(OWLDataMaxCardinality ce) { int card = ce.getCardinality(); OWLDataRange filler = ce.getFiller().accept(rangeVisitor); return df.getOWLDataMaxCardinality(card, ce.getProperty(), filler); }
@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(), t(ce.getProperty()), t(ce.getFiller())); }
@Override public OWLDataMaxCardinality visit(OWLDataMaxCardinality ce) { return df.getOWLDataMaxCardinality(ce.getCardinality(), get(ce.getProperty()), get(ce.getFiller())); }
@Override public OWLDataMaxCardinality visit(OWLDataMaxCardinality ce) { return df.getOWLDataMaxCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce.getFiller())); }
@Override public void visit(OWLFunctionalDataPropertyAxiom axiom) { write(TOP); writeSpace(); write(SUBCLASS); writeSpace(); df.getOWLDataMaxCardinality(1, axiom.getProperty()).accept(this); }
@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()))); }
@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 translate(IRI mainNode) { getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); int cardi = translateInteger(mainNode, OWL_MAX_QUALIFIED_CARDINALITY); IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true); OWLDataPropertyExpression property = getConsumer() .translateDataPropertyExpression(verifyNotNull(propertyIRI)); IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_DATA_RANGE, true); OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI)); return getDataFactory().getOWLDataMaxCardinality(cardi, property, filler); } }
@Override public OWLDataMaxCardinality translate(IRI mainNode) { getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); int cardi = translateInteger(mainNode, OWL_MAX_QUALIFIED_CARDINALITY); IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true); OWLDataPropertyExpression property = getConsumer() .translateDataPropertyExpression(verifyNotNull(propertyIRI)); IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_DATA_RANGE, true); OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI)); return getDataFactory().getOWLDataMaxCardinality(cardi, property, filler); } }
@Override public OWLDataMaxCardinality translate(IRI mainNode) { getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); int cardi = translateInteger(mainNode, OWL_MAX_QUALIFIED_CARDINALITY); IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true); OWLDataPropertyExpression property = getConsumer() .translateDataPropertyExpression(verifyNotNull(propertyIRI)); IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_DATA_RANGE, true); OWLDataRange filler = getConsumer().translateDataRange(verifyNotNull(fillerIRI)); return getDataFactory().getOWLDataMaxCardinality(cardi, property, filler); } }