Declarations

struct CowlDeclAxiom : public CowlAxiom

Represents a Declaration in the OWL 2 specification.

Public Static Functions

static inline CowlDeclAxiom *cowl_decl_axiom(CowlAnyEntity *entity, CowlVector *annot)

Returns a retained declaration axiom.

Parameters
  • entity – The declared entity.

  • annot – [optional] The annotations.

Returns

Retained declaration.

static inline CowlEntity *cowl_decl_axiom_get_entity(CowlDeclAxiom *axiom)

Gets the declared entity.

Parameters

axiom – The axiom.

Returns

The entity.

static inline CowlVector *cowl_decl_axiom_get_annot(CowlDeclAxiom *axiom)

Gets the annotations of the specified axiom.

Parameters

axiom – The axiom.

Returns

The annotations.