Inverse Object Properties
-
struct CowlInvObjPropAxiom : public CowlAxiom
Represents an InverseObjectProperties axiom in the OWL 2 specification.
Public Static Functions
-
static inline CowlInvObjPropAxiom *cowl_inv_obj_prop_axiom(CowlAnyObjPropExp *first, CowlAnyObjPropExp *second, CowlVector *annot)
Returns a retained inverse object properties axiom.
- Parameters
first – The first object property expression.
second – The second object property expression.
annot – [optional] The annotations.
- Returns
Retained axiom, or NULL on error.
-
static inline CowlObjPropExp *cowl_inv_obj_prop_axiom_get_first_prop(CowlInvObjPropAxiom *axiom)
Gets the first of the two object property expressions.
- Parameters
axiom – The axiom.
- Returns
The first object property expression.
-
static inline CowlObjPropExp *cowl_inv_obj_prop_axiom_get_second_prop(CowlInvObjPropAxiom *axiom)
Gets the second of the two object property expressions.
- Parameters
axiom – The axiom.
- Returns
The second object property expression.
-
static inline CowlVector *cowl_inv_obj_prop_axiom_get_annot(CowlInvObjPropAxiom *axiom)
Gets the annotations of the specified axiom.
- Parameters
axiom – The axiom.
- Returns
The annotations.
-
static inline CowlInvObjPropAxiom *cowl_inv_obj_prop_axiom(CowlAnyObjPropExp *first, CowlAnyObjPropExp *second, CowlVector *annot)