Data Property Assertions

struct CowlDataPropAssertAxiom : public CowlAxiom

Represents a DataPropertyAssertion or NegativeDataPropertyAssertion axiom in the OWL 2 specification.

Public Static Functions

static inline CowlDataPropAssertAxiom *cowl_data_prop_assert_axiom(CowlAnyDataPropExp *prop, CowlAnyIndividual *subj, CowlLiteral *obj, CowlVector *annot)

Returns a retained data property assertion axiom.

Parameters

• prop – The data property.

• subj – The assertion subject.

• obj – The assertion object.

• annot – [optional] The annotations.

Returns

Retained axiom, or NULL on error.

static inline CowlDataPropAssertAxiom *cowl_neg_data_prop_assert_axiom(CowlAnyDataPropExp *prop, CowlAnyIndividual *subj, CowlLiteral *obj, CowlVector *annot)

Returns a retained negative data property assertion axiom.

Parameters

• subj – The assertion subject.

• prop – The data property.

• obj – The assertion object.

• annot – [optional] The annotations.

Returns

Retained axiom, or NULL on error.

static inline bool cowl_data_prop_assert_axiom_is_negative(CowlDataPropAssertAxiom *axiom)

Returns true if the specified data property assertion axiom is negative.

Parameters

axiom – The axiom.

Returns

True if the assertion is negative, false otherwise.

static inline CowlDataPropExp *cowl_data_prop_assert_axiom_get_prop(CowlDataPropAssertAxiom *axiom)

Gets the data property.

Parameters

axiom – The axiom.

Returns

The data property.

static inline CowlIndividual *cowl_data_prop_assert_axiom_get_subject(CowlDataPropAssertAxiom *axiom)

Gets the assertion subject.

Parameters

axiom – The axiom.

Returns

The assertion subject.

static inline CowlLiteral *cowl_data_prop_assert_axiom_get_object(CowlDataPropAssertAxiom *axiom)

Gets the assertion object.

Parameters

axiom – The axiom.

Returns

The assertion object.

static inline CowlVector *cowl_data_prop_assert_axiom_get_annot(CowlDataPropAssertAxiom *axiom)

Gets the annotations of the specified axiom.

Parameters

axiom – The axiom.

Returns

The annotations.