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.

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.