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

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

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.

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.