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_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_SUB_OBJ_PROP

CowlSubObjPropAxiom - Object subproperty.

enumerator COWL_AT_EQUIV_OBJ_PROP

CowlNAryObjPropAxiom - Equivalent object properties.

enumerator COWL_AT_DISJ_OBJ_PROP

CowlNAryObjPropAxiom - Disjoint object properties.

enumerator COWL_AT_INV_OBJ_PROP

CowlInvObjPropAxiom - Inverse object properties.

enumerator COWL_AT_OBJ_PROP_DOMAIN

CowlObjPropCharAxiom - Object property domain.

enumerator COWL_AT_OBJ_PROP_RANGE

CowlObjPropCharAxiom - Object property range.

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_REFL_OBJ_PROP

CowlObjPropCharAxiom - Reflexive object property.

enumerator COWL_AT_IRREFL_OBJ_PROP

CowlObjPropCharAxiom - Irreflexive 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_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_DATA_PROP_DOMAIN

CowlDataPropDomainAxiom - Data property domain.

enumerator COWL_AT_DATA_PROP_RANGE

CowlDataPropRangeAxiom - Data property range.

enumerator COWL_AT_FUNC_DATA_PROP

CowlFuncDataPropAxiom - Functional data property.

enumerator COWL_AT_DATATYPE_DEF

CowlDatatypeDefAxiom - Datatype definition.

enumerator COWL_AT_HAS_KEY

CowlHasKeyAxiom - Has key.

enumerator COWL_AT_SAME_IND

CowlNAryIndAxiom - Same individual.

enumerator COWL_AT_DIFF_IND

CowlNAryIndAxiom - Different individuals.

enumerator COWL_AT_CLASS_ASSERT

CowlClsAssertAxiom - Class assertion.

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_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.

Subtypes

• Declarations and definitions
  • Declaration
    • CowlDeclAxiom
    • cowl_decl_axiom()
    • cowl_decl_axiom_get_entity()
  • Datatype definition
    • CowlDatatypeDefAxiom
    • cowl_datatype_def_axiom()
    • cowl_datatype_def_axiom_get_datatype()
    • cowl_datatype_def_axiom_get_range()
• Class expression axioms
  • Subclasses
    • CowlSubClsAxiom
    • cowl_sub_cls_axiom()
    • cowl_sub_cls_axiom_get_sub()
    • cowl_sub_cls_axiom_get_super()
  • Equivalent and disjoint classes
    • CowlNAryClsAxiom
    • CowlNAryAxiomType
      • COWL_NAT_EQUIV
      • COWL_NAT_DISJ
      • COWL_NAT_COUNT
      • COWL_NAT_FIRST
      • COWL_NAT_SAME
      • COWL_NAT_DIFF
    • cowl_nary_cls_axiom()
    • cowl_nary_cls_axiom_get_type()
    • cowl_nary_cls_axiom_get_classes()
  • Disjoint union
    • CowlDisjUnionAxiom
    • cowl_disj_union_axiom()
    • cowl_disj_union_axiom_get_class()
    • cowl_disj_union_axiom_get_disjoints()
• Object property axioms
  • Object subproperties
    • CowlSubObjPropAxiom
    • cowl_sub_obj_prop_axiom()
    • cowl_sub_obj_prop_chain_axiom()
    • cowl_sub_obj_prop_axiom_get_sub()
    • cowl_sub_obj_prop_axiom_get_super()
  • Equivalent and disjoint object properties
    • CowlNAryObjPropAxiom
    • cowl_nary_obj_prop_axiom()
    • cowl_nary_obj_prop_axiom_get_type()
    • cowl_nary_obj_prop_axiom_get_props()
  • Inverse object properties
    • CowlInvObjPropAxiom
    • cowl_inv_obj_prop_axiom()
    • cowl_inv_obj_prop_axiom_get_first_prop()
    • cowl_inv_obj_prop_axiom_get_second_prop()
  • Object property domain
    • CowlObjPropDomainAxiom
    • cowl_obj_prop_domain_axiom()
    • cowl_obj_prop_domain_axiom_get_prop()
    • cowl_obj_prop_domain_axiom_get_domain()
  • Object property range
    • CowlObjPropRangeAxiom
    • cowl_obj_prop_range_axiom()
    • cowl_obj_prop_range_axiom_get_prop()
    • cowl_obj_prop_range_axiom_get_range()
  • Object property characteristics
    • CowlObjPropCharAxiom
    • CowlCharAxiomType
      • COWL_CAT_FUNC
      • COWL_CAT_INV_FUNC
      • COWL_CAT_REFL
      • COWL_CAT_IRREFL
      • COWL_CAT_SYMM
      • COWL_CAT_ASYMM
      • COWL_CAT_TRANS
      • COWL_CAT_COUNT
      • COWL_CAT_FIRST
    • cowl_obj_prop_char_axiom()
    • cowl_obj_prop_char_axiom_get_type()
    • cowl_obj_prop_char_axiom_get_prop()
• Data property axioms
  • Data subproperties
    • CowlSubDataPropAxiom
    • cowl_sub_data_prop_axiom()
    • cowl_sub_data_prop_axiom_get_sub()
    • cowl_sub_data_prop_axiom_get_super()
  • Equivalent and disjoint data properties
    • CowlNAryDataPropAxiom
    • cowl_nary_data_prop_axiom()
    • cowl_nary_data_prop_axiom_get_type()
    • cowl_nary_data_prop_axiom_get_props()
  • Data property domain
    • CowlDataPropDomainAxiom
    • cowl_data_prop_domain_axiom()
    • cowl_data_prop_domain_axiom_get_prop()
    • cowl_data_prop_domain_axiom_get_domain()
  • Data property range
    • CowlDataPropRangeAxiom
    • cowl_data_prop_range_axiom()
    • cowl_data_prop_range_axiom_get_prop()
    • cowl_data_prop_range_axiom_get_range()
  • Functional data properties
    • CowlFuncDataPropAxiom
    • cowl_func_data_prop_axiom()
    • cowl_func_data_prop_axiom_get_prop()
• Assertions
  • Class assertions
    • CowlClsAssertAxiom
    • cowl_cls_assert_axiom()
    • cowl_cls_assert_axiom_get_cls_exp()
    • cowl_cls_assert_axiom_get_ind()
  • Object property assertions
    • CowlObjPropAssertAxiom
    • cowl_obj_prop_assert_axiom()
    • cowl_neg_obj_prop_assert_axiom()
    • cowl_obj_prop_assert_axiom_is_negative()
    • cowl_obj_prop_assert_axiom_get_prop()
    • cowl_obj_prop_assert_axiom_get_subject()
    • cowl_obj_prop_assert_axiom_get_object()
  • Data property assertions
    • CowlDataPropAssertAxiom
    • cowl_data_prop_assert_axiom()
    • cowl_neg_data_prop_assert_axiom()
    • cowl_data_prop_assert_axiom_is_negative()
    • cowl_data_prop_assert_axiom_get_prop()
    • cowl_data_prop_assert_axiom_get_subject()
    • cowl_data_prop_assert_axiom_get_object()
  • Same and different individuals
    • CowlNAryIndAxiom
    • cowl_nary_ind_axiom()
    • cowl_nary_ind_axiom_get_type()
    • cowl_nary_ind_axiom_get_individuals()
• Annotation axioms
  • Annotation assertions
    • CowlAnnotAssertAxiom
    • cowl_annot_assert_axiom()
    • cowl_annot_assert_axiom_get_prop()
    • cowl_annot_assert_axiom_get_subject()
    • cowl_annot_assert_axiom_get_value()
  • Annotation subproperties
    • CowlSubAnnotPropAxiom
    • cowl_sub_annot_prop_axiom()
    • cowl_sub_annot_prop_axiom_get_sub()
    • cowl_sub_annot_prop_axiom_get_super()
  • Annotation property domain
    • CowlAnnotPropDomainAxiom
    • cowl_annot_prop_domain_axiom()
    • cowl_annot_prop_domain_axiom_get_prop()
    • cowl_annot_prop_domain_axiom_get_domain()
  • Annotation property range
    • CowlAnnotPropRangeAxiom
    • cowl_annot_prop_range_axiom()
    • cowl_annot_prop_range_axiom_get_prop()
    • cowl_annot_prop_range_axiom_get_range()
• Keys
  • CowlHasKeyAxiom
  • cowl_has_key_axiom()
  • cowl_has_key_axiom_get_cls_exp()
  • cowl_has_key_axiom_get_obj_props()
  • cowl_has_key_axiom_get_data_props()