Class Assertions

struct CowlClsAssertAxiom : public CowlAxiom

Represents a ClassAssertion axiom in the OWL 2 specification.

Public Static Functions

static inline CowlClsAssertAxiom *cowl_cls_assert_axiom(CowlAnyClsExp *exp, CowlAnyIndividual *ind, CowlVector *annot)

Returns a retained class assertion axiom.

Parameters

  • exp – The asserted class expression.

  • ind – The assertion individual.

  • annot – [optional] The annotations.

Returns

Retained axiom, or NULL on error.

static inline CowlClsExp *cowl_cls_assert_axiom_get_cls_exp(CowlClsAssertAxiom *axiom)

Gets the class expression that is asserted to be a type for an individual by this axiom.

Parameters

axiom – The axiom.

Returns

The class expression.

static inline CowlIndividual *cowl_cls_assert_axiom_get_ind(CowlClsAssertAxiom *axiom)

Gets the individual that is asserted to be an instance of a class expression by this axiom.

Parameters

axiom – The axiom.

Returns

The individual.

static inline CowlVector *cowl_cls_assert_axiom_get_annot(CowlClsAssertAxiom *axiom)

Gets the annotations of the specified axiom.

Parameters

axiom – The axiom.

Returns

The annotations.