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.