Annotation axioms

Annotation assertions

struct CowlAnnotAssertAxiom

Represents an AnnotationAssertion axiom in the OWL 2 specification.

Pseudo-extends: CowlAxiom

CowlAnnotAssertAxiom *cowl_annot_assert_axiom(CowlAnnotProp *prop, CowlAnyAnnotValue *subject, CowlAnyAnnotValue *value, CowlVector *annot)

Returns an annotation assertion axiom.

Note

You must release the returned object via cowl_release().

Parameters:

  • prop – The annotation property.

  • subject – The annotation subject.

  • value – The annotation value.

  • annot – optional The annotations.

Returns:

Axiom, or NULL on error.

CowlAnnotProp *cowl_annot_assert_axiom_get_prop(CowlAnnotAssertAxiom *axiom)

Gets the annotation property.

Parameters:

  • axiom – The axiom.

Returns:

The annotation property.

CowlAnnotValue *cowl_annot_assert_axiom_get_subject(CowlAnnotAssertAxiom *axiom)

Gets the annotation subject.

Note

The annotation subject can only be an anonymous individual or an IRI.

Parameters:

  • axiom – The axiom.

Returns:

The annotation subject.

CowlAnnotValue *cowl_annot_assert_axiom_get_value(CowlAnnotAssertAxiom *axiom)

Gets the annotation value.

Parameters:

  • axiom – The axiom.

Returns:

The annotation value.

Annotation subproperties

struct CowlSubAnnotPropAxiom

Represents a SubAnnotationPropertyOf axiom in the OWL 2 specification.

Pseudo-extends: CowlAxiom

CowlSubAnnotPropAxiom *cowl_sub_annot_prop_axiom(CowlAnnotProp *sub, CowlAnnotProp *super, CowlVector *annot)

Returns an annotation 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.

CowlAnnotProp *cowl_sub_annot_prop_axiom_get_sub(CowlSubAnnotPropAxiom *axiom)

Gets the subproperty.

Parameters:

  • axiom – The axiom.

Returns:

The subproperty.

CowlAnnotProp *cowl_sub_annot_prop_axiom_get_super(CowlSubAnnotPropAxiom *axiom)

Gets the superproperty.

Parameters:

  • axiom – The axiom.

Returns:

The superproperty.

Annotation property domain

struct CowlAnnotPropDomainAxiom

Represents an AnnotationPropertyDomain axiom in the OWL 2 specification.

Pseudo-extends: CowlAxiom

CowlAnnotPropDomainAxiom *cowl_annot_prop_domain_axiom(CowlAnnotProp *prop, CowlIRI *domain, CowlVector *annot)

Returns an annotation property domain axiom.

Note

You must release the returned object via cowl_release().

Parameters:

  • prop – The annotation property.

  • domain – Domain of the annotation property.

  • annot – optional The annotations.

Returns:

Axiom, or NULL on error.

CowlAnnotProp *cowl_annot_prop_domain_axiom_get_prop(CowlAnnotPropDomainAxiom *axiom)

Gets the annotation property.

Parameters:

  • axiom – The axiom.

Returns:

The annotation property.

CowlIRI *cowl_annot_prop_domain_axiom_get_domain(CowlAnnotPropDomainAxiom *axiom)

Gets the domain of the annotation property.

Parameters:

  • axiom – The axiom.

Returns:

Domain of the annotation property.

Annotation property range

struct CowlAnnotPropRangeAxiom

Represents an AnnotationPropertyRange axiom in the OWL 2 specification.

Pseudo-extends: CowlAxiom

CowlAnnotPropRangeAxiom *cowl_annot_prop_range_axiom(CowlAnnotProp *prop, CowlIRI *range, CowlVector *annot)

Returns an annotation property range axiom.

Note

You must release the returned object via cowl_release().

Parameters:

  • prop – The annotation property.

  • range – Range of the annotation property.

  • annot – optional The annotations.

Returns:

Axiom, or NULL on error.

CowlAnnotProp *cowl_annot_prop_range_axiom_get_prop(CowlAnnotPropRangeAxiom *axiom)

Gets the annotation property.

Parameters:

  • axiom – The axiom.

Returns:

The annotation property.

CowlIRI *cowl_annot_prop_range_axiom_get_range(CowlAnnotPropRangeAxiom *axiom)

Gets the range of the annotation property.

Parameters:

  • axiom – The axiom.

Returns:

Range of the annotation property.