Object Property Domain
-
struct CowlObjPropDomainAxiom : public CowlAxiom
Represents an ObjectPropertyDomain axiom in the OWL 2 specification.
Public Static Functions
-
static inline CowlObjPropDomainAxiom *cowl_obj_prop_domain_axiom(CowlAnyObjPropExp *prop, CowlAnyClsExp *domain, CowlVector *annot)
Returns a retained object property domain axiom.
- Parameters
prop – The object property.
domain – Domain of the object property.
annot – [optional] The annotations.
- Returns
Retained axiom, or NULL on error.
-
static inline CowlObjPropExp *cowl_obj_prop_domain_axiom_get_prop(CowlObjPropDomainAxiom *axiom)
Gets the object property.
- Parameters
axiom – The axiom.
- Returns
The object property.
-
static inline CowlClsExp *cowl_obj_prop_domain_axiom_get_domain(CowlObjPropDomainAxiom *axiom)
Gets the domain of the object property.
- Parameters
axiom – The axiom.
- Returns
Domain of the object property.
-
static inline CowlVector *cowl_obj_prop_domain_axiom_get_annot(CowlObjPropDomainAxiom *axiom)
Gets the annotations of the specified axiom.
- Parameters
axiom – The axiom.
- Returns
The annotations.
-
static inline CowlObjPropDomainAxiom *cowl_obj_prop_domain_axiom(CowlAnyObjPropExp *prop, CowlAnyClsExp *domain, CowlVector *annot)