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