Data property restrictions

Existential and universal quantification

struct CowlDataQuant

Represents DataSomeValuesFrom and DataAllValuesFrom in the OWL 2 specification.

Pseudo-extends: CowlClsExp

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

Returns a data quantifier.

Note

You must release the returned object via cowl_release().

Parameters:

  • type – Data quantifier type.

  • prop – The data property.

  • range – Range of the quantifier.

Returns:

Data quantifier, or NULL on error.

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.

CowlDataPropExp *cowl_data_quant_get_prop(CowlDataQuant *restr)

Gets the data property.

Parameters:

  • restr – The data quantifier.

Returns:

The data property.

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.

Literal value restriction

struct CowlDataHasValue

Represents DataHasValue in the OWL 2 specification.

Pseudo-extends: CowlClsExp

CowlDataHasValue *cowl_data_has_value(CowlAnyDataPropExp *prop, CowlLiteral *value)

Returns a literal value restriction.

Note

You must release the returned object via cowl_release().

Parameters:

  • prop – The data property expression.

  • value – The restriction value.

Returns:

Restriction, or NULL on error.

CowlDataPropExp *cowl_data_has_value_get_prop(CowlDataHasValue *restr)

Gets the property of the restriction.

Parameters:

  • restr – The restriction.

Returns:

The property.

CowlLiteral *cowl_data_has_value_get_value(CowlDataHasValue *restr)

Gets the value of the restriction.

Parameters:

  • restr – The restriction.

Returns:

The value.

Cardinality restriction

struct CowlDataCard

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

Pseudo-extends: CowlClsExp

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

Returns a data property cardinality restriction.

Note

You must release the returned object via cowl_release().

Parameters:

  • type – The type.

  • prop – The data property.

  • range – optional Range of the restriction.

  • cardinality – Cardinality of the restriction.

Returns:

Restriction, or NULL on error.

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.

CowlDataPropExp *cowl_data_card_get_prop(CowlDataCard *restr)

Gets the property of the restriction.

Parameters:

  • restr – The restriction.

Returns:

The property.

CowlDataRange *cowl_data_card_get_range(CowlDataCard *restr)

Gets the range of the restriction.

Parameters:

  • restr – The restriction.

Returns:

The range.

ulib_uint cowl_data_card_get_cardinality(CowlDataCard *restr)

Gets the cardinality of the restriction.

Parameters:

  • restr – The restriction.

Returns:

The cardinality.