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

Subtypes

• Declarations and definitions
  • Declaration
  • Datatype definition
• Class expression axioms
  • Subclasses
  • Equivalent and disjoint classes
  • Disjoint union
• Object property axioms
  • Object subproperties
  • Equivalent and disjoint object properties
  • Inverse object properties
  • Object property domain
  • Object property range
  • Object property characteristics
• Data property axioms
  • Data subproperties
  • Equivalent and disjoint data properties
  • Data property domain
  • Data property range
  • Functional data properties
• Assertions
  • Class assertions
  • Object property assertions
  • Data property assertions
  • Same and different individuals
• Annotation axioms
  • Annotation assertions
  • Annotation subproperties
  • Annotation property domain
  • Annotation property range
• Keys