Object Subproperties

struct CowlSubObjPropAxiom : public CowlAxiom

Represents a SubObjectPropertyOf axiom in the OWL 2 specification.

Public Functions

CowlSubObjPropAxiom *cowl_sub_obj_prop_chain_axiom(CowlVector *sub, CowlAnyObjPropExp *super, CowlVector *annot)

Returns a retained object subproperty axiom where the subproperty is a chain of properties.

Parameters
  • sub – The chain of properties.

  • super – The superproperty.

  • annot – [optional] The annotations.

Returns

Retained axiom, or NULL on error.

Public Static Functions

static inline CowlSubObjPropAxiom *cowl_sub_obj_prop_axiom(CowlAnyObjPropExp *sub, CowlAnyObjPropExp *super, CowlVector *annot)

Returns a retained object subproperty axiom.

Parameters
  • sub – The subproperty.

  • super – The superproperty.

  • annot – [optional] The annotations.

Returns

Retained axiom, or NULL on error.

static inline CowlAny *cowl_sub_obj_prop_axiom_get_sub(CowlSubObjPropAxiom *axiom)

Gets the subproperty.

Note

The subproperty can be either an object property expression or a property expression chain.

Parameters

axiom – The axiom.

Returns

The subproperty.

static inline CowlObjPropExp *cowl_sub_obj_prop_axiom_get_super(CowlSubObjPropAxiom *axiom)

Gets the superproperty.

Parameters

axiom – The axiom.

Returns

The superproperty.

static inline CowlVector *cowl_sub_obj_prop_axiom_get_annot(CowlSubObjPropAxiom *axiom)

Gets the annotations of the specified axiom.

Parameters

axiom – The axiom.

Returns

The annotations.