@Override public boolean matchesLax(IRI mainNode) { return isNonNegativeIntegerLax(mainNode, OWL_MAX_CARDINALITY) && isDataPropertyLax(mainNode, OWL_ON_PROPERTY); }
@Override public boolean matchesStrict(IRI mainNode) { return isRestrictionStrict(mainNode) && isNonNegativeIntegerStrict(mainNode, OWL_MAX_CARDINALITY) && isDataPropertyStrict(mainNode, OWL_ON_PROPERTY); }
@Override public OWLDataMaxCardinality translate(IRI mainNode) { getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); int cardi = translateInteger(mainNode, OWL_MAX_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); if (fillerIRI != null && !getConsumer().getConfiguration().isStrict()) { // Be tolerant OWLDataRange filler = getConsumer().translateDataRange(fillerIRI); return getDataFactory().getOWLDataMaxCardinality(cardi, property, filler); } else { return getDataFactory().getOWLDataMaxCardinality(cardi, property); } } }
classExpressionTranslators.add(new DataQualifiedCardinalityTranslator(this)); classExpressionTranslators.add(new DataMinCardinalityTranslator(this)); classExpressionTranslators.add(new DataMaxCardinalityTranslator(this)); classExpressionTranslators.add(new DataCardinalityTranslator(this));
protected OWLClassExpression createRestriction(OWLDataPropertyExpression prop, int cardi, OWLDataRange filler) { return getDataFactory().getOWLDataMaxCardinality(cardi, prop, filler); }
public ClassExpressionTranslatorSelector(OWLRDFConsumer con) { this.consumer = con; intersectionOfTranslator = new IntersectionOfTranslator(con); unionOfTranslator = new UnionOfTranslator(con); complementOfTranslator = new ComplementOfTranslator(con); oneOfTranslator = new OneOfTranslator(con); selfRestrictionTranslator = new SelfRestrictionTranslator(con); objectAllValuesFromTranslator = new ObjectAllValuesFromTranslator(con); objectSomeValuesFromTranslator = new ObjectSomeValuesFromTranslator(con); objectHasValueTranslator = new ObjectHasValueTranslator(con); objectMinCardinalityTranslator = new ObjectMinCardinalityTranslator(con); objectCardinalityTranslator = new ObjectCardinalityTranslator(con); objectMaxCardinalityTranslator = new ObjectMaxCardinalityTranslator(con); dataAllValuesFromTranslator = new DataAllValuesFromTranslator(con); dataSomeValuesFromTranslator = new DataSomeValuesFromTranslator(con); dataHasValueTranslator = new DataHasValueTranslator(con); dataMinCardinalityTranslator = new DataMinCardinalityTranslator(con); dataCardinalityTranslator = new DataCardinalityTranslator(con); dataMaxCardinalityTranslator = new DataMaxCardinalityTranslator(con); namedClassTranslator = new NamedClassTranslator(con); }