Equivalent and Disjoint Data Properties

struct CowlNAryDataPropAxiom : public CowlAxiom

Represents an EquivalentDataProperties or DisjointDataProperties axiom in the OWL 2 specification.

Public Static Functions

static inline CowlNAryDataPropAxiom *cowl_nary_data_prop_axiom(CowlNAryAxiomType type, CowlVector *props, CowlVector *annot)

Returns a retained N-ary data property axiom.

Parameters
  • type – The type.

  • props – The data properties.

  • annot – [optional] The annotations.

Returns

Retained axiom, or NULL on error.

static inline CowlNAryAxiomType cowl_nary_data_prop_axiom_get_type(CowlNAryDataPropAxiom *axiom)

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

Parameters

axiom – The axiom.

Returns

The type.

static inline CowlVector *cowl_nary_data_prop_axiom_get_props(CowlNAryDataPropAxiom *axiom)

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

Parameters

axiom – The axiom.

Returns

The data properties.

static inline CowlVector *cowl_nary_data_prop_axiom_get_annot(CowlNAryDataPropAxiom *axiom)

Gets the annotations of the specified axiom.

Parameters

axiom – The axiom.

Returns

The annotations.