Data Subproperties
-
struct CowlSubDataPropAxiom : public CowlAxiom
Represents a SubDataPropertyOf axiom in the OWL 2 specification.
Public Static Functions
-
static inline CowlSubDataPropAxiom *cowl_sub_data_prop_axiom(CowlAnyDataPropExp *sub, CowlAnyDataPropExp *super, CowlVector *annot)
Returns a retained data subproperty axiom.
- Parameters
sub – The subproperty.
super – The superproperty.
annot – [optional] The annotations.
- Returns
Retained axiom, or NULL on error.
-
static inline CowlDataPropExp *cowl_sub_data_prop_axiom_get_sub(CowlSubDataPropAxiom *axiom)
Gets the subproperty.
- Parameters
axiom – The axiom.
- Returns
The subproperty.
-
static inline CowlDataPropExp *cowl_sub_data_prop_axiom_get_super(CowlSubDataPropAxiom *axiom)
Gets the superproperty.
- Parameters
axiom – The axiom.
- Returns
The superproperty.
-
static inline CowlVector *cowl_sub_data_prop_axiom_get_annot(CowlSubDataPropAxiom *axiom)
Gets the annotations of the specified axiom.
- Parameters
axiom – The axiom.
- Returns
The annotations.
-
static inline CowlSubDataPropAxiom *cowl_sub_data_prop_axiom(CowlAnyDataPropExp *sub, CowlAnyDataPropExp *super, CowlVector *annot)