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 CowlObjHasValue *cowl_obj_has_value_retain(CowlObjHasValue *exp)

Retains the specified individual value restriction.

Parameters

exp – The restriction.

Returns

Retained restriction.

static inline void cowl_obj_has_value_release(CowlObjHasValue *exp)

Releases the specified individual value restriction.

Parameters

exp – The restriction.

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.

static inline CowlString *cowl_obj_has_value_to_string(CowlObjHasValue *exp)

Returns the string representation of the specified value restriction.

Note

The returned string is retained, so you are responsible for releasing it.

Parameters

exp – The restriction.

Returns

String representation, or NULL on error.

static inline bool cowl_obj_has_value_equals(CowlObjHasValue *lhs, CowlObjHasValue *rhs)

Equality function.

Parameters

  • lhs – LHS of the equality relation.

  • rhs – RHS of the equality relation.

Returns

True if the equality relation holds, false otherwise.

static inline ulib_uint cowl_obj_has_value_hash(CowlObjHasValue *exp)

Hash function.

Parameters

exp – The restriction.

Returns

The hash value.

static inline bool cowl_obj_has_value_iterate_primitives(CowlObjHasValue *exp, CowlPrimitiveFlags flags, CowlIterator *iter)

Iterates over the primitives referenced by the specified individual value restriction.

Parameters

  • exp – The restriction.

  • flags – Iteration flags.

  • iter – The iterator.

Returns

True if the iteration was completed, false if it was stopped.