Data Property Quantification

struct CowlDataQuant : public CowlClsExp

Represents DataSomeValuesFrom and DataAllValuesFrom in the OWL 2 specification.

Public Functions

CowlDataQuant *cowl_data_quant(CowlQuantType type, CowlAnyDataPropExp *prop, CowlAnyDataRange *range)

Returns a retained data quantifier.

Parameters

• type – Data quantifier type.

• prop – The data property.

• range – Range of the quantifier.

Returns

Retained data quantifier, or NULL on error.

CowlDataRange *cowl_data_quant_get_range(CowlDataQuant *restr)

Gets the range of the specified data quantifier.

Parameters

restr – The data quantifier.

Returns

Range of the data quantifier.

Public Static Functions

static inline CowlQuantType cowl_data_quant_get_type(CowlDataQuant *restr)

Gets the type of the specified data quantifier.

Parameters

restr – The data quantifier.

Returns

The type of the data quantifier.

static inline CowlDataPropExp *cowl_data_quant_get_prop(CowlDataQuant *restr)

Gets the data property.

Parameters

restr – The data quantifier.

Returns

The data property.