Keys
-
struct CowlHasKeyAxiom : public CowlAxiom
Represents a HasKey axiom in the OWL 2 specification.
Public Static Functions
-
static inline CowlHasKeyAxiom *cowl_has_key_axiom(CowlAnyClsExp *cls_exp, CowlVector *obj_props, CowlVector *data_props, CowlVector *annot)
Returns a retained ‘has key’ axiom.
- 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
Retained axiom, or NULL on error.
-
static inline 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.
-
static inline 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.
-
static inline 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.
-
static inline CowlVector *cowl_has_key_axiom_get_annot(CowlHasKeyAxiom *axiom)
Gets the annotations of the specified axiom.
- Parameters
axiom – The axiom.
- Returns
The annotations.
-
static inline CowlHasKeyAxiom *cowl_has_key_axiom(CowlAnyClsExp *cls_exp, CowlVector *obj_props, CowlVector *data_props, CowlVector *annot)