Data Property Range

struct CowlDataPropRangeAxiom : public CowlAxiom

Represents a DataPropertyRange axiom in the OWL 2 specification.

Public Static Functions

static inline CowlDataPropRangeAxiom *cowl_data_prop_range_axiom(CowlAnyDataPropExp *prop, CowlAnyDataRange *range, CowlVector *annot)

Returns a retained data property range axiom.

Parameters

  • prop – The data property.

  • range – Range of the data property.

  • annot – [optional] The annotations.

Returns

Retained axiom, or NULL on error.

static inline CowlDataPropExp *cowl_data_prop_range_axiom_get_prop(CowlDataPropRangeAxiom *axiom)

Gets the data property.

Parameters

axiom – The axiom.

Returns

The data property.

static inline CowlDataRange *cowl_data_prop_range_axiom_get_range(CowlDataPropRangeAxiom *axiom)

Gets the range of the data property.

Parameters

axiom – The axiom.

Returns

Range of the data property.

static inline CowlVector *cowl_data_prop_range_axiom_get_annot(CowlDataPropRangeAxiom *axiom)

Gets the annotations of the specified axiom.

Parameters

axiom – The axiom.

Returns

The annotations.