Data Property Domain

struct CowlDataPropDomainAxiom : public CowlAxiom

Represents a DataPropertyDomain axiom in the OWL 2 specification.

Public Static Functions

static inline CowlDataPropDomainAxiom *cowl_data_prop_domain_axiom(CowlAnyDataPropExp *prop, CowlAnyClsExp *domain, CowlVector *annot)

Returns a retained data property domain axiom.

Parameters

• prop – The data property.

• domain – Domain of the data property.

• annot – [optional] The annotations.

Returns

Retained axiom, or NULL on error.

static inline CowlDataPropExp *cowl_data_prop_domain_axiom_get_prop(CowlDataPropDomainAxiom *axiom)

Gets the data property.

Parameters

axiom – The axiom.

Returns

The data property.

static inline CowlClsExp *cowl_data_prop_domain_axiom_get_domain(CowlDataPropDomainAxiom *axiom)

Gets the domain of the data property.

Parameters

axiom – The axiom.

Returns

Domain of the data property.

static inline CowlVector *cowl_data_prop_domain_axiom_get_annot(CowlDataPropDomainAxiom *axiom)

Gets the annotations of the specified axiom.

Parameters

axiom – The axiom.

Returns

The annotations.