Object Property Characteristics
-
struct CowlObjPropCharAxiom : public CowlAxiom
Represents a FunctionalObjectProperty, InverseFunctionalObjectProperty, SymmetricObjectProperty, AsymmetricObjectProperty, TransitiveObjectProperty, ReflexiveObjectProperty or IrreflexiveObjectProperty axiom in the OWL 2 specification.
Public Static Functions
-
static inline CowlObjPropCharAxiom *cowl_obj_prop_char_axiom(CowlCharAxiomType type, CowlAnyObjPropExp *prop, CowlVector *annot)
Returns a retained object property characteristic axiom.
- Parameters
type – The type.
prop – The object property expression.
annot – [optional] The annotations.
- Returns
Retained axiom, or NULL on error.
-
static inline CowlCharAxiomType cowl_obj_prop_char_axiom_get_type(CowlObjPropCharAxiom *axiom)
Gets the type of the specified object property characteristic axiom.
- Parameters
axiom – The axiom.
- Returns
The type.
-
static inline CowlObjPropExp *cowl_obj_prop_char_axiom_get_prop(CowlObjPropCharAxiom *axiom)
Gets the object property expression of the specified characteristic axiom.
- Parameters
axiom – The axiom.
- Returns
The object property expression.
-
static inline CowlVector *cowl_obj_prop_char_axiom_get_annot(CowlObjPropCharAxiom *axiom)
Gets the annotations of the specified axiom.
- Parameters
axiom – The axiom.
- Returns
The annotations.
-
static inline CowlObjPropCharAxiom *cowl_obj_prop_char_axiom(CowlCharAxiomType type, CowlAnyObjPropExp *prop, CowlVector *annot)
-
enum CowlCharAxiomType
Represents the type of CowlObjPropCharAxiom.
Values:
-
enumerator COWL_CAT_FUNC
Functional object property.
-
enumerator COWL_CAT_INV_FUNC
Inverse functional object property.
-
enumerator COWL_CAT_SYMM
Symmetric object property.
-
enumerator COWL_CAT_ASYMM
Asymmetric object property.
-
enumerator COWL_CAT_TRANS
Transitive object property.
-
enumerator COWL_CAT_REFL
Reflexive object property.
-
enumerator COWL_CAT_IRREFL
Irreflexive object property.
-
enumerator COWL_CAT_COUNT
Number of enum values.
-
enumerator COWL_CAT_FIRST
First enum value.
-
enumerator COWL_CAT_FUNC