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.
-
static inline CowlObjPropAssertAxiom *cowl_obj_prop_assert_axiom(CowlAnyObjPropExp *prop, CowlAnyIndividual *subject, CowlAnyIndividual *object, CowlVector *annot)