Axioms

struct CowlAxiom

Represents an Axiom in the OWL 2 specification.

Pseudo-extends: CowlObject

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.

CowlAxiomType cowl_axiom_get_type(CowlAnyAxiom *axiom)

Gets the type of the specified axiom.

Parameters:
  • axiom – The axiom.

Returns:

Axiom type.

CowlVector *cowl_axiom_get_annot(CowlAnyAxiom *axiom)

Gets the annotations of the specified axiom.

Parameters:
  • axiom – The axiom.

Returns:

The annotations, or NULL if the axiom has no annotations.

bool cowl_axiom_has_operand(CowlAnyAxiom *axiom, CowlAny *operand, CowlPosition position)

Checks if the axiom has the specified operand.

Parameters:
  • axiom – The axiom.

  • operand – The operand.

  • position – Position where the operand should appear.

Returns:

True if the axiom has the specified operand, false otherwise.

bool cowl_axiom_has_operand_with_iri(CowlAnyAxiom *axiom, CowlIRI *iri, CowlPosition position)

Checks if the axiom has an operand with the specified IRI.

Parameters:
  • axiom – The axiom.

  • iri – The IRI.

  • position – Position where the operand should appear.

Returns:

True if the axiom has an operand with the specified IRI, false otherwise.

bool cowl_axiom_iterate_operands(CowlAnyAxiom *axiom, CowlPosition position, CowlIterator *iter)

Iterates over the operands of the specified axiom.

Parameters:
  • axiom – The axiom.

  • position – Position of the desired operands.

  • iter – The iterator.

Returns:

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

bool cowl_axiom_has_primitive(CowlAnyAxiom *axiom, CowlAnyPrimitive *primitive, CowlPosition position)

Checks whether the axiom references the specified primitive.

Parameters:
  • axiom – The axiom.

  • primitive – The primitive.

  • position – Position of the desired primitive.

Returns:

True if the axiom references the primitive, false otherwise.