Object Cardinality Restrictions

struct CowlObjCard : public CowlClsExp 

Represents ObjectMinCardinality, ObjectMaxCardinality and ObjectExactCardinality in the OWL 2 specification.

Public Functions

CowlObjCard *cowl_obj_card(CowlCardType type, CowlAnyObjPropExp *prop, CowlAnyClsExp *filler, ulib_uint cardinality)

Returns a retained object property cardinality restriction.

Parameters

type – The type.
prop – The object property.
filler – [optional] Filler of the restriction.
cardinality – Cardinality of the restriction.

Returns

Retained restriction, or NULL on error.

CowlClsExp *cowl_obj_card_get_filler(CowlObjCard *restr)

Gets the filler of the restriction.

Parameters: restr – The restriction.
Returns: The filler.

Public Static Functions

static inline CowlCardType cowl_obj_card_get_type(CowlObjCard *restr)

Gets the type of the specified object property cardinality restriction.

Parameters: restr – The restriction.
Returns: The type.

static inline CowlObjPropExp *cowl_obj_card_get_prop(CowlObjCard *restr)

Gets the property of the restriction.

Parameters: restr – The restriction.
Returns: The property.

static inline ulib_uint cowl_obj_card_get_cardinality(CowlObjCard *restr)

Gets the cardinality of the restriction.

Parameters: restr – The restriction.
Returns: The cardinality.

enum CowlCardType

Represents the type of CowlObjCard and CowlDataCard.

Values:

enumerator COWL_CT_MIN: Minimum cardinality.

enumerator COWL_CT_MAX: Maximum cardinality.

enumerator COWL_CT_EXACT: Exact cardinality.

enumerator COWL_CT_COUNT: Number of enum values.

enumerator COWL_CT_FIRST: First enum value.