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.
-
CowlDataCard *cowl_data_card(CowlCardType type, CowlAnyDataPropExp *prop, CowlAnyDataRange *range, ulib_uint cardinality)