public static OWLDataExactCardinality DataExactCardinality(int cardinality, OWLDataPropertyExpression pe, OWLDataRange dr) { return DF.getOWLDataExactCardinality(cardinality, pe, dr); }
public static OWLDataExactCardinality DataExactCardinality(int cardinality, OWLDataPropertyExpression pe, OWLDataRange dr) { return DF.getOWLDataExactCardinality(cardinality, pe, dr); }
@Override public OWLDataExactCardinality buildObject() { return df.getOWLDataExactCardinality(cardinality, getProperty(), getDataRange()); } }
@Override public OWLDataExactCardinality buildObject() { return df.getOWLDataExactCardinality(cardinality, getProperty(), getDataRange()); } }
@Override public OWLDataExactCardinality buildObject() { return df.getOWLDataExactCardinality(cardinality, getProperty(), getDataRange()); } }
@Override public OWLClassExpression visit(OWLDataExactCardinality d) { OWLDataRange filler=getNNF(d.getFiller()); return m_factory.getOWLDataExactCardinality(d.getCardinality(),d.getProperty(),filler); } }
protected OWLClassExpression createRestriction() { return getOWLDataFactory().getOWLDataExactCardinality(getCardinality(), getProperty(), getFiller() ); } }
@Override public OWLDataExactCardinality visit(OWLDataExactCardinality ce) { return df.getOWLDataExactCardinality(ce.getCardinality(), get(ce.getProperty()), get(ce.getFiller())); }
@Override public void visit(OWLDataExactCardinality ce) { obj = df.getOWLDataExactCardinality(ce.getCardinality(), dup(ce.getProperty()), dup(ce.getFiller())); }
@Override public OWLDataExactCardinality visit(OWLDataExactCardinality ce) { return df.getOWLDataExactCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce.getFiller())); }
@Override public OWLDataExactCardinality visit(OWLDataExactCardinality ce) { return df.getOWLDataExactCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce.getFiller())); }
@Override public void visit(OWLDataExactCardinality ce) { obj = df.getOWLDataExactCardinality(ce.getCardinality(), dup(ce.getProperty()), dup(ce.getFiller())); }
@Override public OWLDataExactCardinality visit(OWLDataExactCardinality ce) { return df.getOWLDataExactCardinality(ce.getCardinality(), get(ce.getProperty()), get(ce.getFiller())); }
@Override public Object visit(OWLDataExactCardinality ce) { return visit(ce, () -> df.getOWLDataExactCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce .getFiller()))); }
@Override public Object visit(OWLDataExactCardinality ce) { return visit(ce, () -> df.getOWLDataExactCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce .getFiller()))); }
@Override public Object visit(OWLDataExactCardinality ce) { return visit(ce, () -> df.getOWLDataExactCardinality(ce.getCardinality(), t(ce.getProperty()), t(ce .getFiller()))); }
@Override public OWLDataExactCardinality visit(OWLDataExactCardinality ce) { if (ce.getFiller() instanceof OWLDataOneOf) { return df.getOWLDataExactCardinality(ce.getCardinality(), ce.getProperty(), process(ce.getProperty(), (OWLDataOneOf) ce.getFiller())); } return super.visit(ce); }
@Override public OWLDataExactCardinality translate(IRI mainNode) { getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); int cardi = translateInteger(mainNode, OWL_QUALIFIED_CARDINALITY); IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true); OWLDataPropertyExpression property = getConsumer().translateDataPropertyExpression(propertyIRI); IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_ON_DATA_RANGE, true); OWLDataRange filler = getConsumer().translateDataRange(fillerIRI); return getDataFactory().getOWLDataExactCardinality(cardi, property, filler); } }
@Override public OWLDataExactCardinality translate(IRI mainNode) { getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); int cardi = translateInteger(mainNode, OWL_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().getOWLDataExactCardinality(cardi, property, filler); } }
@Override public OWLDataExactCardinality translate(IRI mainNode) { getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); int cardi = translateInteger(mainNode, OWL_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().getOWLDataExactCardinality(cardi, property, filler); } }