Object Subproperties

struct CowlSubObjPropAxiom : public CowlAxiom 

Represents a SubObjectPropertyOf axiom in the OWL 2 specification.

Public Static Functions

static inline CowlSubObjPropAxiom *cowl_sub_obj_prop_axiom(CowlAnyObjPropExp *sub, CowlAnyObjPropExp *super, CowlVector *annot)

Returns a retained object subproperty axiom.

Parameters

sub – The subproperty.
super – The superproperty.
annot – [optional] The annotations.

Returns

Retained axiom, or NULL on error.

static inline CowlSubObjPropAxiom *cowl_sub_obj_prop_chain_axiom(CowlVector *sub, CowlAnyObjPropExp *super, CowlVector *annot)

Returns a retained object subproperty axiom where the subproperty is a chain of properties.

Parameters

sub – The chain of properties.
super – The superproperty.
annot – [optional] The annotations.

Returns

Retained axiom, or NULL on error.

static inline CowlSubObjPropAxiom *cowl_sub_obj_prop_axiom_retain(CowlSubObjPropAxiom *axiom)

Retains the specified axiom.

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

static inline void cowl_sub_obj_prop_axiom_release(CowlSubObjPropAxiom *axiom)

Releases the specified axiom.

Parameters: axiom – The axiom.

static inline CowlAny *cowl_sub_obj_prop_axiom_get_sub(CowlSubObjPropAxiom *axiom)

Gets the subproperty.

Note

The subproperty can be either an object property expression or a property expression chain.

Parameters: axiom – The axiom.
Returns: The subproperty.

static inline CowlObjPropExp *cowl_sub_obj_prop_axiom_get_super(CowlSubObjPropAxiom *axiom)

Gets the superproperty.

Parameters: axiom – The axiom.
Returns: The superproperty.

static inline CowlVector *cowl_sub_obj_prop_axiom_get_annot(CowlSubObjPropAxiom *axiom)

Gets the annotations of the specified axiom.

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

static inline CowlString *cowl_sub_obj_prop_axiom_to_string(CowlSubObjPropAxiom *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_sub_obj_prop_axiom_equals(CowlSubObjPropAxiom *lhs, CowlSubObjPropAxiom *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_sub_obj_prop_axiom_hash(CowlSubObjPropAxiom *axiom)

Hash function.

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

static inline bool cowl_sub_obj_prop_axiom_iterate_primitives(CowlSubObjPropAxiom *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.