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.
-
static inline CowlAxiomType cowl_axiom_get_type(CowlAnyAxiom *axiom)
-
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.
-
enumerator COWL_AT_DECL
Declaration and definition
Class expression axioms
Object property axioms
Data property axioms
Assertions
Annotations
Keys