Equivalent and Disjoint Object Properties

struct CowlNAryObjPropAxiom : public CowlAxiom

Represents an EquivalentObjectProperties or DisjointObjectProperties axiom in the OWL 2 specification.

Public Static Functions

static inline CowlNAryObjPropAxiom *cowl_nary_obj_prop_axiom(CowlNAryAxiomType type, CowlVector *props, CowlVector *annot)

Returns a retained N-ary object property axiom.

Parameters

  • type – The type.

  • props – The object properties.

  • annot – [optional] The annotations.

Returns

Retained axiom, or NULL on error.

static inline CowlNAryAxiomType cowl_nary_obj_prop_axiom_get_type(CowlNAryObjPropAxiom *axiom)

Gets the type of the specified N-ary object property axiom.

Parameters

axiom – The axiom.

Returns

The type.

static inline CowlVector *cowl_nary_obj_prop_axiom_get_props(CowlNAryObjPropAxiom *axiom)

Gets the object properties of the specified N-ary object property axiom.

Parameters

axiom – The axiom.

Returns

The object properties.

static inline CowlVector *cowl_nary_obj_prop_axiom_get_annot(CowlNAryObjPropAxiom *axiom)

Gets the annotations of the specified axiom.

Parameters

axiom – The axiom.

Returns

The annotations.