Individual Value Restriction

struct CowlObjHasValue : public CowlClsExp

Represents ObjectHasValue in the OWL 2 specification.

Public Static Functions

static inline CowlObjHasValue *cowl_obj_has_value(CowlAnyObjPropExp *prop, CowlAnyIndividual *individual)

Returns a retained individual value restriction.

Parameters

• prop – The object property expression.

• individual – The individual.

Returns

Retained restriction, or NULL on error.

static inline CowlObjPropExp *cowl_obj_has_value_get_prop(CowlObjHasValue *exp)

Gets the object property expression of the specified individual value restriction.

Parameters

exp – The restriction.

Returns

The object property expression.

static inline CowlIndividual *cowl_obj_has_value_get_ind(CowlObjHasValue *exp)

Gets the individual of the specified individual value restriction.

Parameters

exp – The restriction.

Returns

The individual.