Equivalent and Disjoint Classes

struct CowlNAryClsAxiom : public CowlAxiom 

Represents an EquivalentClasses or DisjointClasses axiom in the OWL 2 specification.

Public Static Functions

static inline CowlNAryClsAxiom *cowl_nary_cls_axiom(CowlNAryAxiomType type, CowlVector *classes, CowlVector *annot)

Returns a retained N-ary class expression axiom.

Parameters

type – N-ary class expression axiom type.
classes – The classes.
annot – [optional] The annotations.

Returns

Retained axiom, or NULL on error.

static inline CowlNAryClsAxiom *cowl_nary_cls_axiom_retain(CowlNAryClsAxiom *axiom)

Retains the specified axiom.

Parameters: axiom – The axiom.
Returns: Retained axiom.

static inline void cowl_nary_cls_axiom_release(CowlNAryClsAxiom *axiom)

Releases the specified axiom.

Parameters: axiom – The axiom.

static inline CowlNAryAxiomType cowl_nary_cls_axiom_get_type(CowlNAryClsAxiom *axiom)

Gets the type of the specified N-ary class expression axiom.

Parameters: axiom – The axiom.
Returns: The type.

static inline CowlVector *cowl_nary_cls_axiom_get_classes(CowlNAryClsAxiom *axiom)

Gets the classes of the specified N-ary class expression axiom.

Parameters: axiom – The axiom.
Returns: The classes.

static inline CowlVector *cowl_nary_cls_axiom_get_annot(CowlNAryClsAxiom *axiom)

Gets the annotations of the specified axiom.

Parameters: axiom – The axiom.
Returns: The annotations.

static inline CowlString *cowl_nary_cls_axiom_to_string(CowlNAryClsAxiom *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_cls_axiom_equals(CowlNAryClsAxiom *lhs, CowlNAryClsAxiom *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_cls_axiom_hash(CowlNAryClsAxiom *axiom)

Hash function.

Parameters: axiom – The axiom.
Returns: The hash value.

static inline bool cowl_nary_cls_axiom_iterate_primitives(CowlNAryClsAxiom *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.

enum CowlNAryAxiomType

Represents the type of CowlNAryClsAxiom, CowlNAryObjPropAxiom, CowlNAryDataPropAxiom and CowlNAryIndAxiom.

Values:

enumerator COWL_NAT_EQUIV: Equivalence.

enumerator COWL_NAT_DISJ: Disjointness.

enumerator COWL_NAT_COUNT: Number of enum values.

enumerator COWL_NAT_FIRST: First enum value.

enumerator COWL_NAT_SAME: Same individuals.

enumerator COWL_NAT_DIFF: Different individuals.