Declarations and definitions

Declaration

struct CowlDeclAxiom

Represents a Declaration in the OWL 2 specification.

Pseudo-extends: CowlAxiom

CowlDeclAxiom *cowl_decl_axiom(CowlAnyEntity *entity, CowlVector *annot)

Returns a declaration axiom.

Note

You must release the returned object via cowl_release().

Parameters:

  • entity – The declared entity.

  • annot – optional The annotations.

Returns:

Axiom, or NULL on error.

CowlEntity *cowl_decl_axiom_get_entity(CowlDeclAxiom *axiom)

Gets the declared entity.

Parameters:

  • axiom – The axiom.

Returns:

The entity.

Datatype definition

struct CowlDatatypeDefAxiom

Represents a DatatypeDefinition axiom in the OWL 2 specification.

Pseudo-extends: CowlAxiom

CowlDatatypeDefAxiom *cowl_datatype_def_axiom(CowlDatatype *dt, CowlAnyDataRange *range, CowlVector *annot)

Returns a datatype definition axiom.

Note

You must release the returned object via cowl_release().

Parameters:

  • dt – The defined datatype.

  • range – Range of the defined datatype.

  • annot – optional The annotations.

Returns:

Axiom, or NULL on error.

CowlDatatype *cowl_datatype_def_axiom_get_datatype(CowlDatatypeDefAxiom *axiom)

Gets the defined datatype.

Parameters:

  • axiom – The axiom.

Returns:

The datatype.

CowlDataRange *cowl_datatype_def_axiom_get_range(CowlDatatypeDefAxiom *axiom)

Gets the range of the defined datatype.

Parameters:

  • axiom – The axiom.

Returns:

The range.