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.

  • annotoptional 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.

  • annotoptional 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.

  • annotoptional 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.

  • annotoptional 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.

  • annotoptional 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.