Object Property Quantification

struct CowlObjQuant : public CowlClsExp

Represents ObjectSomeValuesFrom and ObjectAllValuesFrom in the OWL 2 specification.

Public Functions

CowlObjQuant *cowl_obj_quant(CowlQuantType type, CowlAnyObjPropExp *prop, CowlAnyClsExp *filler)

Returns a retained object quantifier.

Parameters

• type – Object quantifier type.

• prop – The object property.

• filler – Filler of the quantifier.

Returns

Retained object quantifier, or NULL on error.

CowlClsExp *cowl_obj_quant_get_filler(CowlObjQuant *restr)

Gets the filler of the specified object quantifier.

Parameters

restr – The object quantifier.

Returns

Range of the object quantifier.

Public Static Functions

static inline CowlObjQuant *cowl_obj_quant_retain(CowlObjQuant *restr)

Retains the specified object quantifier.

Parameters

restr – The object quantifier.

Returns

Retained object quantifier.

static inline void cowl_obj_quant_release(CowlObjQuant *restr)

Releases the specified object quantifier.

Parameters

restr – The object quantifier.

static inline CowlQuantType cowl_obj_quant_get_type(CowlObjQuant *restr)

Gets the type of the specified object quantifier.

Parameters

restr – The object quantifier.

Returns

The type of the object quantifier.

static inline CowlObjPropExp *cowl_obj_quant_get_prop(CowlObjQuant *restr)

Gets the object property.

Parameters

restr – The object quantifier.

Returns

The object property.

static inline CowlString *cowl_obj_quant_to_string(CowlObjQuant *restr)

Returns the string representation of the specified object quantifier.

Note

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

Parameters

restr – The object quantifier.

Returns

String representation, or NULL on error.

static inline bool cowl_obj_quant_equals(CowlObjQuant *lhs, CowlObjQuant *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_quant_hash(CowlObjQuant *restr)

Hash function.

Parameters

restr – The object quantifier.

Returns

The hash value.

static inline bool cowl_obj_quant_iterate_primitives(CowlObjQuant *restr, CowlPrimitiveFlags flags, CowlIterator *iter)

Iterates over the primitives referenced by the specified object quantifier.

Parameters

• restr – The axiom.

• flags – Iteration flags.

• iter – The iterator.

Returns

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

enum CowlQuantType

Represents the type of CowlObjQuant and CowlDataQuant.

Values:

enumerator COWL_QT_SOME

Existential quantifier (SomeValuesFrom).

enumerator COWL_QT_ALL

Universal quantifier (AllValuesFrom).

enumerator COWL_QT_COUNT

Number of enum values.

enumerator COWL_QT_FIRST

First enum value.