Disjoint Union

struct CowlDisjUnionAxiom : public CowlAxiom

Represents a DisjointUnion axiom in the OWL 2 specification.

Public Static Functions

static inline CowlDisjUnionAxiom *cowl_disj_union_axiom(CowlClass *cls, CowlVector *disjoints, CowlVector *annot)

Returns a retained disjoint union axiom.

Parameters
  • cls – The class which is equivalent to the disjoint union.

  • disjoints – The class expressions which are operands of the disjoint union.

  • annot – [optional] The annotations.

Returns

Retained disjoint union axiom, or NULL on error.

static inline CowlClass *cowl_disj_union_axiom_get_class(CowlDisjUnionAxiom *axiom)

Gets the class which is equivalent to the disjoint union.

Parameters

axiom – The axiom.

Returns

The class.

static inline CowlVector *cowl_disj_union_axiom_get_disjoints(CowlDisjUnionAxiom *axiom)

Gets the class expressions which are operands of the disjoint union.

Parameters

axiom – The axiom.

Returns

The class expressions.

static inline CowlVector *cowl_disj_union_axiom_get_annot(CowlDisjUnionAxiom *axiom)

Gets the annotations of the specified axiom.

Parameters

axiom – The axiom.

Returns

The annotations.