Inverse Object Properties

struct CowlInvObjPropAxiom : public CowlAxiom

Represents an InverseObjectProperties axiom in the OWL 2 specification.

Public Static Functions

static inline CowlInvObjPropAxiom *cowl_inv_obj_prop_axiom(CowlAnyObjPropExp *first, CowlAnyObjPropExp *second, CowlVector *annot)

Returns a retained inverse object properties axiom.

Parameters
  • first – The first object property expression.

  • second – The second object property expression.

  • annot – [optional] The annotations.

Returns

Retained axiom, or NULL on error.

static inline CowlObjPropExp *cowl_inv_obj_prop_axiom_get_first_prop(CowlInvObjPropAxiom *axiom)

Gets the first of the two object property expressions.

Parameters

axiom – The axiom.

Returns

The first object property expression.

static inline CowlObjPropExp *cowl_inv_obj_prop_axiom_get_second_prop(CowlInvObjPropAxiom *axiom)

Gets the second of the two object property expressions.

Parameters

axiom – The axiom.

Returns

The second object property expression.

static inline CowlVector *cowl_inv_obj_prop_axiom_get_annot(CowlInvObjPropAxiom *axiom)

Gets the annotations of the specified axiom.

Parameters

axiom – The axiom.

Returns

The annotations.