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.
-
CowlObjQuant *cowl_obj_quant(CowlQuantType type, CowlAnyObjPropExp *prop, CowlAnyClsExp *filler)
-
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.
-
enumerator COWL_QT_SOME