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.
-
static inline CowlDataPropAssertAxiom *cowl_data_prop_assert_axiom(CowlAnyDataPropExp *prop, CowlAnyIndividual *subj, CowlLiteral *obj, CowlVector *annot)