Object Property Assertions

struct CowlObjPropAssertAxiom : public CowlAxiom

Represents an ObjectPropertyAssertion or NegativeObjectPropertyAssertion axiom in the OWL 2 specification.

Public Static Functions

static inline CowlObjPropAssertAxiom *cowl_obj_prop_assert_axiom(CowlAnyObjPropExp *prop, CowlAnyIndividual *subject, CowlAnyIndividual *object, CowlVector *annot)

Returns a retained object property assertion axiom.

Parameters
  • prop – The object property.

  • subject – The assertion subject.

  • object – The assertion object.

  • annot – [optional] The annotations.

Returns

Retained axiom, or NULL on error.

static inline CowlObjPropAssertAxiom *cowl_neg_obj_prop_assert_axiom(CowlAnyObjPropExp *prop, CowlAnyIndividual *subject, CowlAnyIndividual *object, CowlVector *annot)

Returns a retained negative object property assertion axiom.

Parameters
  • prop – The object property.

  • subject – The assertion subject.

  • object – The assertion object.

  • annot – [optional] The annotations.

Returns

Retained axiom, or NULL on error.

static inline bool cowl_obj_prop_assert_axiom_is_negative(CowlObjPropAssertAxiom *axiom)

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

Parameters

axiom – The axiom.

Returns

True if the assertion is negative, false otherwise.

static inline CowlObjPropExp *cowl_obj_prop_assert_axiom_get_prop(CowlObjPropAssertAxiom *axiom)

Gets the object property expression.

Parameters

axiom – The axiom.

Returns

The object property expression.

static inline CowlIndividual *cowl_obj_prop_assert_axiom_get_subject(CowlObjPropAssertAxiom *axiom)

Gets the assertion subject.

Parameters

axiom – The axiom.

Returns

The assertion subject.

static inline CowlIndividual *cowl_obj_prop_assert_axiom_get_object(CowlObjPropAssertAxiom *axiom)

Gets the assertion object.

Parameters

axiom – The axiom.

Returns

The assertion object.

static inline CowlVector *cowl_obj_prop_assert_axiom_get_annot(CowlObjPropAssertAxiom *axiom)

Gets the annotations of the specified axiom.

Parameters

axiom – The axiom.

Returns

The annotations.