Object Property Domain

struct CowlObjPropDomainAxiom : public CowlAxiom

Represents an ObjectPropertyDomain axiom in the OWL 2 specification.

Public Static Functions

static inline CowlObjPropDomainAxiom *cowl_obj_prop_domain_axiom(CowlAnyObjPropExp *prop, CowlAnyClsExp *domain, CowlVector *annot)

Returns a retained object property domain axiom.

Parameters
  • prop – The object property.

  • domain – Domain of the object property.

  • annot – [optional] The annotations.

Returns

Retained axiom, or NULL on error.

static inline CowlObjPropExp *cowl_obj_prop_domain_axiom_get_prop(CowlObjPropDomainAxiom *axiom)

Gets the object property.

Parameters

axiom – The axiom.

Returns

The object property.

static inline CowlClsExp *cowl_obj_prop_domain_axiom_get_domain(CowlObjPropDomainAxiom *axiom)

Gets the domain of the object property.

Parameters

axiom – The axiom.

Returns

Domain of the object property.

static inline CowlVector *cowl_obj_prop_domain_axiom_get_annot(CowlObjPropDomainAxiom *axiom)

Gets the annotations of the specified axiom.

Parameters

axiom – The axiom.

Returns

The annotations.