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

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

• Declarations
• Datatype Definitions

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

• Same and Different Individuals
• Class Assertions
• Object Property Assertions
• Data Property Assertions

Annotations

• Annotation Subproperties
• Annotation Assertions
• Annotation Property Domain
• Annotation Property Range

Keys

• Keys