Data property axioms
Data subproperties
-
struct CowlSubDataPropAxiom
Represents a SubDataPropertyOf axiom in the OWL 2 specification.
Pseudo-extends:
CowlAxiom
-
CowlSubDataPropAxiom *cowl_sub_data_prop_axiom(CowlAnyDataPropExp *sub, CowlAnyDataPropExp *super, CowlVector *annot)
Returns a data subproperty axiom.
Note
You must release the returned object via
cowl_release()
.- Parameters:
sub – The subproperty.
super – The superproperty.
annot –
optional
The annotations.
- Returns:
Axiom, or NULL on error.
-
CowlDataPropExp *cowl_sub_data_prop_axiom_get_sub(CowlSubDataPropAxiom *axiom)
Gets the subproperty.
- Parameters:
axiom – The axiom.
- Returns:
The subproperty.
-
CowlDataPropExp *cowl_sub_data_prop_axiom_get_super(CowlSubDataPropAxiom *axiom)
Gets the superproperty.
- Parameters:
axiom – The axiom.
- Returns:
The superproperty.
Equivalent and disjoint data properties
-
struct CowlNAryDataPropAxiom
Represents an EquivalentDataProperties or DisjointDataProperties axiom in the OWL 2 specification.
Pseudo-extends:
CowlAxiom
-
CowlNAryDataPropAxiom *cowl_nary_data_prop_axiom(CowlNAryAxiomType type, CowlVector *props, CowlVector *annot)
Returns a N-ary data property axiom.
Note
You must release the returned object via
cowl_release()
.- Parameters:
type – The type.
props – The data properties.
annot –
optional
The annotations.
- Returns:
Axiom, or NULL on error.
-
CowlNAryAxiomType cowl_nary_data_prop_axiom_get_type(CowlNAryDataPropAxiom *axiom)
Gets the type of the specified N-ary data property axiom.
- Parameters:
axiom – The axiom.
- Returns:
The type.
-
CowlVector *cowl_nary_data_prop_axiom_get_props(CowlNAryDataPropAxiom *axiom)
Gets the data properties of the specified N-ary data property axiom.
- Parameters:
axiom – The axiom.
- Returns:
The data properties.
Data property domain
-
struct CowlDataPropDomainAxiom
Represents a DataPropertyDomain axiom in the OWL 2 specification.
Pseudo-extends:
CowlAxiom
-
CowlDataPropDomainAxiom *cowl_data_prop_domain_axiom(CowlAnyDataPropExp *prop, CowlAnyClsExp *domain, CowlVector *annot)
Returns a data property domain axiom.
Note
You must release the returned object via
cowl_release()
.- Parameters:
prop – The data property.
domain – Domain of the data property.
annot –
optional
The annotations.
- Returns:
Axiom, or NULL on error.
-
CowlDataPropExp *cowl_data_prop_domain_axiom_get_prop(CowlDataPropDomainAxiom *axiom)
Gets the data property.
- Parameters:
axiom – The axiom.
- Returns:
The data property.
-
CowlClsExp *cowl_data_prop_domain_axiom_get_domain(CowlDataPropDomainAxiom *axiom)
Gets the domain of the data property.
- Parameters:
axiom – The axiom.
- Returns:
Domain of the data property.
Data property range
-
struct CowlDataPropRangeAxiom
Represents a DataPropertyRange axiom in the OWL 2 specification.
Pseudo-extends:
CowlAxiom
-
CowlDataPropRangeAxiom *cowl_data_prop_range_axiom(CowlAnyDataPropExp *prop, CowlAnyDataRange *range, CowlVector *annot)
Returns a data property range axiom.
Note
You must release the returned object via
cowl_release()
.- Parameters:
prop – The data property.
range – Range of the data property.
annot –
optional
The annotations.
- Returns:
Axiom, or NULL on error.
-
CowlDataPropExp *cowl_data_prop_range_axiom_get_prop(CowlDataPropRangeAxiom *axiom)
Gets the data property.
- Parameters:
axiom – The axiom.
- Returns:
The data property.
-
CowlDataRange *cowl_data_prop_range_axiom_get_range(CowlDataPropRangeAxiom *axiom)
Gets the range of the data property.
- Parameters:
axiom – The axiom.
- Returns:
Range of the data property.
Functional data properties
-
struct CowlFuncDataPropAxiom
Represents a FunctionalDataProperty axiom in the OWL 2 Specification.
Pseudo-extends:
CowlAxiom
-
CowlFuncDataPropAxiom *cowl_func_data_prop_axiom(CowlAnyDataPropExp *prop, CowlVector *annot)
Returns a functional data property axiom.
Note
You must release the returned object via
cowl_release()
.- Parameters:
prop – The data property.
annot –
optional
The annotations.
- Returns:
Axiom, or NULL on error.
-
CowlDataPropExp *cowl_func_data_prop_axiom_get_prop(CowlFuncDataPropAxiom *axiom)
Gets the data property.
- Parameters:
axiom – The axiom.
- Returns:
The data property.