Keys

struct CowlHasKeyAxiom

Represents a HasKey axiom in the OWL 2 specification.

Pseudo-extends: CowlAxiom

CowlHasKeyAxiom *cowl_has_key_axiom(CowlAnyClsExp *cls_exp, CowlVector *obj_props, CowlVector *data_props, CowlVector *annot)

Returns a ‘has key’ axiom.

Note

You must release the returned object via cowl_release().

Parameters:

  • cls_exp – The class expression, instances of which this axiom acts as the key for.

  • obj_props – Object property expressions that make up the key.

  • data_props – Data property expressions that make up the key.

  • annot – optional The annotations.

Returns:

Axiom, or NULL on error.

CowlClsExp *cowl_has_key_axiom_get_cls_exp(CowlHasKeyAxiom *axiom)

Gets the class expression, instances of which this axiom acts as the key for.

Parameters:

  • axiom – The axiom.

Returns:

The class expression.

CowlVector *cowl_has_key_axiom_get_obj_props(CowlHasKeyAxiom *axiom)

Gets the set of object property expressions that make up the key.

Parameters:

  • axiom – The axiom.

Returns:

The object property expressions.

CowlVector *cowl_has_key_axiom_get_data_props(CowlHasKeyAxiom *axiom)

Gets the set of data property expressions that make up the key.

Parameters:

  • axiom – The axiom.

Returns:

The data property expressions.