Object property restrictions
Existential and universal quantification
-
struct CowlObjQuant
Represents ObjectSomeValuesFrom and ObjectAllValuesFrom in the OWL 2 specification.
Pseudo-extends:
CowlClsExp
-
enum CowlQuantType
Represents the type of
CowlObjQuant
andCowlDataQuant
.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
-
CowlObjQuant *cowl_obj_quant(CowlQuantType type, CowlAnyObjPropExp *prop, CowlAnyClsExp *filler)
Returns an object quantifier.
Note
You must release the returned object via
cowl_release()
.- Parameters:
type – Object quantifier type.
prop – The object property.
filler – Filler of the quantifier.
- Returns:
Object quantifier, or NULL on error.
-
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.
-
CowlObjPropExp *cowl_obj_quant_get_prop(CowlObjQuant *restr)
Gets the object property.
- Parameters:
restr – The object quantifier.
- Returns:
The object property.
-
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.
Individual value restriction
-
struct CowlObjHasValue
Represents ObjectHasValue in the OWL 2 specification.
Pseudo-extends:
CowlClsExp
-
CowlObjHasValue *cowl_obj_has_value(CowlAnyObjPropExp *prop, CowlAnyIndividual *individual)
Returns an individual value restriction.
Note
You must release the returned object via
cowl_release()
.- Parameters:
prop – The object property expression.
individual – The individual.
- Returns:
Restriction, or NULL on error.
-
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.
-
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.
Self restriction
-
struct CowlObjHasSelf
Represents ObjectHasSelf in the OWL 2 specification.
Pseudo-extends:
CowlClsExp
-
CowlObjHasSelf *cowl_obj_has_self(CowlAnyObjPropExp *prop)
Returns a self-restriction.
Note
You must release the returned object via
cowl_release()
.- Parameters:
prop – The property expression.
- Returns:
Restriction, or NULL on error.
-
CowlObjPropExp *cowl_obj_has_self_get_prop(CowlObjHasSelf *exp)
Gets the object property expression of the specified self-restriction.
- Parameters:
exp – The restriction.
- Returns:
The object property expression.
Cardinality restriction
-
struct CowlObjCard
Represents ObjectMinCardinality, ObjectMaxCardinality and ObjectExactCardinality in the OWL 2 specification.
Pseudo-extends:
CowlClsExp
-
enum CowlCardType
Represents the type of
CowlObjCard
andCowlDataCard
.Values:
-
enumerator COWL_CT_MIN
Minimum cardinality.
-
enumerator COWL_CT_MAX
Maximum cardinality.
-
enumerator COWL_CT_EXACT
Exact cardinality.
-
enumerator COWL_CT_COUNT
Number of enum values.
-
enumerator COWL_CT_FIRST
First enum value.
-
enumerator COWL_CT_MIN
-
CowlObjCard *cowl_obj_card(CowlCardType type, CowlAnyObjPropExp *prop, CowlAnyClsExp *filler, ulib_uint cardinality)
Returns an object property cardinality restriction.
Note
You must release the returned object via
cowl_release()
.- Parameters:
type – The type.
prop – The object property.
filler –
optional
Filler of the restriction.cardinality – Cardinality of the restriction.
- Returns:
Restriction, or NULL on error.
-
CowlCardType cowl_obj_card_get_type(CowlObjCard *restr)
Gets the type of the specified object property cardinality restriction.
- Parameters:
restr – The restriction.
- Returns:
The type.
-
CowlObjPropExp *cowl_obj_card_get_prop(CowlObjCard *restr)
Gets the property of the restriction.
- Parameters:
restr – The restriction.
- Returns:
The property.
-
CowlClsExp *cowl_obj_card_get_filler(CowlObjCard *restr)
Gets the filler of the restriction.
- Parameters:
restr – The restriction.
- Returns:
The filler.
-
ulib_uint cowl_obj_card_get_cardinality(CowlObjCard *restr)
Gets the cardinality of the restriction.
- Parameters:
restr – The restriction.
- Returns:
The cardinality.