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 CowlNAryObjPropAxiom *cowl_nary_obj_prop_axiom_retain(CowlNAryObjPropAxiom *axiom)

Retains the specified axiom.

Parameters

axiom – The axiom.

Returns

Retained axiom.

static inline void cowl_nary_obj_prop_axiom_release(CowlNAryObjPropAxiom *axiom)

Releases the specified axiom.

Parameters

axiom – The axiom.

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.

static inline CowlString *cowl_nary_obj_prop_axiom_to_string(CowlNAryObjPropAxiom *axiom)

Returns the string representation of the specified axiom.

Note

The returned string is retained, so you are responsible for releasing it.

Parameters

axiom – The axiom.

Returns

String representation, or NULL on error.

static inline bool cowl_nary_obj_prop_axiom_equals(CowlNAryObjPropAxiom *lhs, CowlNAryObjPropAxiom *rhs)

Equality function.

Parameters

  • lhs – LHS of the equality relation.

  • rhs – RHS of the equality relation.

Returns

True if the equality relation holds, false otherwise.

static inline ulib_uint cowl_nary_obj_prop_axiom_hash(CowlNAryObjPropAxiom *axiom)

Hash function.

Parameters

axiom – The axiom.

Returns

The hash value.

static inline bool cowl_nary_obj_prop_axiom_iterate_primitives(CowlNAryObjPropAxiom *axiom, CowlPrimitiveFlags flags, CowlIterator *iter)

Iterates over the primitives referenced by the specified axiom.

Parameters

  • axiom – The axiom.

  • flags – Iteration flags.

  • iter – The iterator.

Returns

True if the iteration was completed, false if it was stopped.