Data Cardinality Restrictions

struct CowlDataCard : public CowlClsExp

Represents DataMinCardinality, DataMaxCardinality and DataExactCardinality in the OWL 2 specification.

Public Functions

CowlDataCard *cowl_data_card(CowlCardType type, CowlAnyDataPropExp *prop, CowlAnyDataRange *range, ulib_uint cardinality)

Returns a retained data property cardinality restriction.

Parameters
  • type – The type.

  • prop – The data property.

  • range – [optional] Range of the restriction.

  • cardinality – Cardinality of the restriction.

Returns

Retained restriction, or NULL on error.

CowlDataRange *cowl_data_card_get_range(CowlDataCard *restr)

Gets the range of the restriction.

Parameters

restr – The restriction.

Returns

The range.

Public Static Functions

static inline CowlCardType cowl_data_card_get_type(CowlDataCard *restr)

Gets the type of the specified data property cardinality restriction.

Parameters

restr – The restriction.

Returns

The type.

static inline CowlDataPropExp *cowl_data_card_get_prop(CowlDataCard *restr)

Gets the property of the restriction.

Parameters

restr – The restriction.

Returns

The property.

static inline ulib_uint cowl_data_card_get_cardinality(CowlDataCard *restr)

Gets the cardinality of the restriction.

Parameters

restr – The restriction.

Returns

The cardinality.