public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange) { return new OWLDataExactCardinalityImpl(this, property, cardinality, dataRange); }
@Override public OWLClassExpression asIntersectionOfMinMax() { return new OWLObjectIntersectionOfImpl(Stream.of( new OWLDataMinCardinalityImpl(getProperty(), getCardinality(), getFiller()), new OWLDataMaxCardinalityImpl(getProperty(), getCardinality(), getFiller()))); } }
public OWLClassExpression asIntersectionOfMinMax() { return getOWLDataFactory().getOWLObjectIntersectionOf(getOWLDataFactory().getOWLDataMinCardinality(getCardinality(), getProperty(), getFiller()), getOWLDataFactory().getOWLDataMaxCardinality(getCardinality(), getProperty(), getFiller())); } }
@Override public OWLClassExpression asIntersectionOfMinMax() { return new OWLObjectIntersectionOfImpl(Stream.of( new OWLDataMinCardinalityImpl(getProperty(), getCardinality(), getFiller()), new OWLDataMaxCardinalityImpl(getProperty(), getCardinality(), getFiller()))); } }
public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property) { return new OWLDataExactCardinalityImpl(this, property, cardinality, getTopDatatype()); }
@Override public OWLClassExpression asIntersectionOfMinMax() { return new OWLObjectIntersectionOfImpl(Stream.of( new OWLDataMinCardinalityImpl(getProperty(), getCardinality(), getFiller()), new OWLDataMaxCardinalityImpl(getProperty(), getCardinality(), getFiller()))); } }
@Override public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property) { if (cardinality < 0) { throw new IllegalArgumentException("cardinality cannot be negative"); } checkNull(property, "property"); return new OWLDataExactCardinalityImpl(property, cardinality, getTopDatatype()); }
@Override public OWLClassExpression asIntersectionOfMinMax() { return new OWLObjectIntersectionOfImpl(Stream.of( new OWLDataMinCardinalityImpl(getProperty(), getCardinality(), getFiller()), new OWLDataMaxCardinalityImpl(getProperty(), getCardinality(), getFiller()))); } }
@Override public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange) { checkNull(dataRange, DATA_RANGE); checkNull(property, "property"); if (cardinality < 0) { throw new IllegalArgumentException("cardinality cannot be negative"); } return new OWLDataExactCardinalityImpl(property, cardinality, dataRange); }
public static void serialize(SerializationStreamWriter streamWriter, OWLDataExactCardinalityImpl instance) throws SerializationException { streamWriter.writeInt(instance.getCardinality()); streamWriter.writeObject(instance.getProperty()); streamWriter.writeObject(instance.getFiller()); }
@Nonnull @Override public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange) { checkNotNull(dataRange, "dataRange cannot be null"); checkNotNull(property, "property cannot be null"); checkNotNegative(cardinality, "cardinality cannot be negative"); return new OWLDataExactCardinalityImpl(property, cardinality, dataRange); }
@Override public OWLClassExpression asIntersectionOfMinMax() { return new OWLObjectIntersectionOfImpl(new HashSet<OWLClassExpression>(Arrays.asList(new OWLDataMinCardinalityImpl(getProperty(), getCardinality(), getFiller()), new OWLDataMaxCardinalityImpl(getProperty(), getCardinality(), getFiller())))); } }
@Nonnull @Override public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property) { checkNotNegative(cardinality, "cardinality cannot be negative"); checkNotNull(property, "property cannot be null"); return new OWLDataExactCardinalityImpl(property, cardinality, getTopDatatype()); }
@Override public OWLClassExpression asIntersectionOfMinMax() { return new OWLObjectIntersectionOfImpl(new HashSet<OWLClassExpression>( Arrays.asList(new OWLDataMinCardinalityImpl(getProperty(), getCardinality(), getFiller()), new OWLDataMaxCardinalityImpl(getProperty(), getCardinality(), getFiller())))); } }
@Override public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property) { checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE); checkNotNull(property, PROPERTY_CANNOT_BE_NULL); return new OWLDataExactCardinalityImpl(property, cardinality, getTopDatatype()); }
@Override public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange) { checkNotNull(dataRange, DATA_RANGE_CANNOT_BE_NULL); checkNotNull(property, PROPERTY_CANNOT_BE_NULL); checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE); return new OWLDataExactCardinalityImpl(property, cardinality, dataRange); }
@Override public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange) { checkNotNull(dataRange, DATA_RANGE_CANNOT_BE_NULL); checkNotNull(property, PROPERTY_CANNOT_BE_NULL); checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE); return new OWLDataExactCardinalityImpl(property, cardinality, dataRange); }
@Override public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property) { checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE); checkNotNull(property, PROPERTY_CANNOT_BE_NULL); return new OWLDataExactCardinalityImpl(property, cardinality, getTopDatatype()); }
@Override public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property, OWLDataRange dataRange) { checkNotNull(dataRange, DATA_RANGE_CANNOT_BE_NULL); checkNotNull(property, PROPERTY_CANNOT_BE_NULL); checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE); return new OWLDataExactCardinalityImpl(property, cardinality, dataRange); }
@Override public OWLDataExactCardinality getOWLDataExactCardinality(int cardinality, OWLDataPropertyExpression property) { checkNotNegative(cardinality, CARDINALITY_CANNOT_BE_NEGATIVE); checkNotNull(property, PROPERTY_CANNOT_BE_NULL); return new OWLDataExactCardinalityImpl(property, cardinality, getTopDatatype()); }