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 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.

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.