Object Subproperties
-
struct CowlSubObjPropAxiom : public CowlAxiom
Represents a SubObjectPropertyOf axiom in the OWL 2 specification.
Public Functions
-
CowlSubObjPropAxiom *cowl_sub_obj_prop_chain_axiom(CowlVector *sub, CowlAnyObjPropExp *super, CowlVector *annot)
Returns a retained object subproperty axiom where the subproperty is a chain of properties.
- Parameters
sub – The chain of properties.
super – The superproperty.
annot – [optional] The annotations.
- Returns
Retained axiom, or NULL on error.
Public Static Functions
-
static inline CowlSubObjPropAxiom *cowl_sub_obj_prop_axiom(CowlAnyObjPropExp *sub, CowlAnyObjPropExp *super, CowlVector *annot)
Returns a retained object subproperty axiom.
- Parameters
sub – The subproperty.
super – The superproperty.
annot – [optional] The annotations.
- Returns
Retained axiom, or NULL on error.
-
static inline CowlAny *cowl_sub_obj_prop_axiom_get_sub(CowlSubObjPropAxiom *axiom)
Gets the subproperty.
Note
The subproperty can be either an object property expression or a property expression chain.
- Parameters
axiom – The axiom.
- Returns
The subproperty.
-
static inline CowlObjPropExp *cowl_sub_obj_prop_axiom_get_super(CowlSubObjPropAxiom *axiom)
Gets the superproperty.
- Parameters
axiom – The axiom.
- Returns
The superproperty.
-
static inline CowlVector *cowl_sub_obj_prop_axiom_get_annot(CowlSubObjPropAxiom *axiom)
Gets the annotations of the specified axiom.
- Parameters
axiom – The axiom.
- Returns
The annotations.
-
CowlSubObjPropAxiom *cowl_sub_obj_prop_chain_axiom(CowlVector *sub, CowlAnyObjPropExp *super, CowlVector *annot)