Axioms

struct CowlAxiom : public CowlObject

Represents an Axiom in the OWL 2 specification.

Subclassed by CowlAnnotAssertAxiom, CowlAnnotPropDomainAxiom, CowlAnnotPropRangeAxiom, CowlClsAssertAxiom, CowlDataPropAssertAxiom, CowlDataPropDomainAxiom, CowlDataPropRangeAxiom, CowlDatatypeDefAxiom, CowlDeclAxiom, CowlDisjUnionAxiom, CowlFuncDataPropAxiom, CowlHasKeyAxiom, CowlInvObjPropAxiom, CowlNAryClsAxiom, CowlNAryDataPropAxiom, CowlNAryIndAxiom, CowlNAryObjPropAxiom, CowlObjPropAssertAxiom, CowlObjPropCharAxiom, CowlObjPropDomainAxiom, CowlObjPropRangeAxiom, CowlSubAnnotPropAxiom, CowlSubClsAxiom, CowlSubDataPropAxiom, CowlSubObjPropAxiom

Public Static Functions

static inline CowlAnyAxiom *cowl_axiom_retain(CowlAnyAxiom *axiom)

Retains the specified axiom.

Parameters

axiom – The axiom.

Returns

Retained axiom.

static inline void cowl_axiom_release(CowlAnyAxiom *axiom)

Releases the specified axiom.

Parameters

axiom – The axiom.

static inline CowlAxiomType cowl_axiom_get_type(CowlAnyAxiom *axiom)

Gets the type of the specified axiom.

Parameters

axiom – The axiom.

Returns

Axiom type.

static inline CowlVector *cowl_axiom_get_annot(CowlAnyAxiom *axiom)

Gets the annotations of the specified axiom.

Parameters

axiom – The axiom.

Returns

The annotations.

static inline CowlString *cowl_axiom_to_string(CowlAnyAxiom *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_axiom_equals(CowlAnyAxiom *lhs, CowlAnyAxiom *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_axiom_hash(CowlAnyAxiom *axiom)

Hash function.

Parameters

axiom – The axiom.

Returns

The hash value.

static inline bool cowl_axiom_iterate_primitives(CowlAnyAxiom *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 CowlAxiomType

Represents the type of CowlAxiom.

Values:

enumerator COWL_AT_DECL

CowlDeclAxiom - Declaration.

enumerator COWL_AT_DATATYPE_DEF

CowlDatatypeDefAxiom - Datatype definition.

enumerator COWL_AT_SUB_CLASS

CowlSubClsAxiom - Subclass.

enumerator COWL_AT_EQUIV_CLASSES

CowlNAryClsAxiom - Equivalent classes.

enumerator COWL_AT_DISJ_CLASSES

CowlNAryClsAxiom - Disjoint classes.

enumerator COWL_AT_DISJ_UNION

CowlDisjUnionAxiom - Disjoint union.

enumerator COWL_AT_CLASS_ASSERT

CowlClsAssertAxiom - Class assertion.

enumerator COWL_AT_SAME_IND

CowlNAryIndAxiom - Same individual.

enumerator COWL_AT_DIFF_IND

CowlNAryIndAxiom - Different individuals.

enumerator COWL_AT_OBJ_PROP_ASSERT

CowlObjPropAssertAxiom - Object property assertion.

enumerator COWL_AT_NEG_OBJ_PROP_ASSERT

CowlObjPropAssertAxiom - Negative object property assertion.

enumerator COWL_AT_DATA_PROP_ASSERT

CowlDataPropAssertAxiom - Data property assertion.

enumerator COWL_AT_NEG_DATA_PROP_ASSERT

CowlDataPropAssertAxiom - Negative data property assertion.

enumerator COWL_AT_SUB_OBJ_PROP

CowlSubObjPropAxiom - Object subproperty.

enumerator COWL_AT_INV_OBJ_PROP

CowlInvObjPropAxiom - Inverse object properties.

enumerator COWL_AT_EQUIV_OBJ_PROP

CowlNAryObjPropAxiom - Equivalent object properties.

enumerator COWL_AT_DISJ_OBJ_PROP

CowlNAryObjPropAxiom - Disjoint object properties.

enumerator COWL_AT_FUNC_OBJ_PROP

CowlObjPropCharAxiom - Functional object property.

enumerator COWL_AT_INV_FUNC_OBJ_PROP

CowlObjPropCharAxiom - Inverse functional object property.

enumerator COWL_AT_SYMM_OBJ_PROP

CowlObjPropCharAxiom - Symmetric object property.

enumerator COWL_AT_ASYMM_OBJ_PROP

CowlObjPropCharAxiom - Asymmetric object property.

enumerator COWL_AT_TRANS_OBJ_PROP

CowlObjPropCharAxiom - Transitive object property.

enumerator COWL_AT_REFL_OBJ_PROP

CowlObjPropCharAxiom - Reflexive object property.

enumerator COWL_AT_IRREFL_OBJ_PROP

CowlObjPropCharAxiom - Irreflexive object property.

enumerator COWL_AT_OBJ_PROP_DOMAIN

CowlObjPropCharAxiom - Object property domain.

enumerator COWL_AT_OBJ_PROP_RANGE

CowlObjPropCharAxiom - Object property range.

enumerator COWL_AT_SUB_DATA_PROP

CowlSubDataPropAxiom - Data subproperty.

enumerator COWL_AT_EQUIV_DATA_PROP

CowlNAryDataPropAxiom - Equivalent data properties.

enumerator COWL_AT_DISJ_DATA_PROP

CowlNAryDataPropAxiom - Disjoint data properties.

enumerator COWL_AT_FUNC_DATA_PROP

CowlFuncDataPropAxiom - Functional data property.

enumerator COWL_AT_DATA_PROP_DOMAIN

CowlDataPropDomainAxiom - Data property domain.

enumerator COWL_AT_DATA_PROP_RANGE

CowlDataPropRangeAxiom - Data property range.

enumerator COWL_AT_HAS_KEY

CowlHasKeyAxiom - Has key.

enumerator COWL_AT_ANNOT_ASSERT

CowlAnnotAssertAxiom - Annotation assertion.

enumerator COWL_AT_SUB_ANNOT_PROP

CowlSubAnnotPropAxiom - Annotation subproperty.

enumerator COWL_AT_ANNOT_PROP_DOMAIN

CowlAnnotPropDomainAxiom - Annotation property domain.

enumerator COWL_AT_ANNOT_PROP_RANGE

CowlAnnotPropRangeAxiom - Annotation property range.

enumerator COWL_AT_COUNT

Number of enum values.

enumerator COWL_AT_FIRST

First enum value.

Declaration and definition

Class expression axioms

Object property axioms

Data property axioms

Assertions

Annotations

Keys