Subclasses

struct CowlSubClsAxiom : public CowlAxiom

Represents a SubClassOf axiom in the OWL 2 specification.

Public Static Functions

static inline CowlSubClsAxiom *cowl_sub_cls_axiom(CowlAnyClsExp *sub, CowlAnyClsExp *super, CowlVector *annot)

Returns a retained subclass axiom.

Parameters

  • sub – The subclass.

  • super – The superclass.

  • annot – [optional] The annotations.

Returns

Retained axiom, or NULL on error.

static inline CowlClsExp *cowl_sub_cls_axiom_get_sub(CowlSubClsAxiom *axiom)

Gets the subclass.

Parameters

axiom – The axiom.

Returns

The subclass.

static inline CowlClsExp *cowl_sub_cls_axiom_get_super(CowlSubClsAxiom *axiom)

Gets the superclass.

Parameters

axiom – The axiom.

Returns

The superclass.

static inline CowlVector *cowl_sub_cls_axiom_get_annot(CowlSubClsAxiom *axiom)

Gets the annotations of the specified axiom.

Parameters

axiom – The axiom.

Returns

The annotations.