Assertions

Class assertions

struct CowlClsAssertAxiom

Represents a ClassAssertion axiom in the OWL 2 specification.

Pseudo-extends: CowlAxiom

CowlClsAssertAxiom *cowl_cls_assert_axiom(CowlAnyClsExp *exp, CowlAnyIndividual *ind, CowlVector *annot)

Returns a class assertion axiom.

Note

You must release the returned object via cowl_release().

Parameters:

  • exp – The asserted class expression.

  • ind – The assertion individual.

  • annot – optional The annotations.

Returns:

Axiom, or NULL on error.

CowlClsExp *cowl_cls_assert_axiom_get_cls_exp(CowlClsAssertAxiom *axiom)

Gets the class expression that is asserted to be a type for an individual by this axiom.

Parameters:

  • axiom – The axiom.

Returns:

The class expression.

CowlIndividual *cowl_cls_assert_axiom_get_ind(CowlClsAssertAxiom *axiom)

Gets the individual that is asserted to be an instance of a class expression by this axiom.

Parameters:

  • axiom – The axiom.

Returns:

The individual.

Object property assertions

struct CowlObjPropAssertAxiom

Represents an ObjectPropertyAssertion or NegativeObjectPropertyAssertion axiom in the OWL 2 specification.

Pseudo-extends: CowlAxiom

CowlObjPropAssertAxiom *cowl_obj_prop_assert_axiom(CowlAnyObjPropExp *prop, CowlAnyIndividual *subject, CowlAnyIndividual *object, CowlVector *annot)

Returns an object property assertion axiom.

Note

You must release the returned object via cowl_release().

Parameters:

  • prop – The object property.

  • subject – The assertion subject.

  • object – The assertion object.

  • annot – optional The annotations.

Returns:

Axiom, or NULL on error.

CowlObjPropAssertAxiom *cowl_neg_obj_prop_assert_axiom(CowlAnyObjPropExp *prop, CowlAnyIndividual *subject, CowlAnyIndividual *object, CowlVector *annot)

Returns a negative object property assertion axiom.

Note

You must release the returned object via cowl_release().

Parameters:

  • prop – The object property.

  • subject – The assertion subject.

  • object – The assertion object.

  • annot – optional The annotations.

Returns:

Axiom, or NULL on error.

bool cowl_obj_prop_assert_axiom_is_negative(CowlObjPropAssertAxiom *axiom)

Returns true if the specified object property assertion axiom is negative.

Parameters:

  • axiom – The axiom.

Returns:

True if the assertion is negative, false otherwise.

CowlObjPropExp *cowl_obj_prop_assert_axiom_get_prop(CowlObjPropAssertAxiom *axiom)

Gets the object property expression.

Parameters:

  • axiom – The axiom.

Returns:

The object property expression.

CowlIndividual *cowl_obj_prop_assert_axiom_get_subject(CowlObjPropAssertAxiom *axiom)

Gets the assertion subject.

Parameters:

  • axiom – The axiom.

Returns:

The assertion subject.

CowlIndividual *cowl_obj_prop_assert_axiom_get_object(CowlObjPropAssertAxiom *axiom)

Gets the assertion object.

Parameters:

  • axiom – The axiom.

Returns:

The assertion object.

Data property assertions

struct CowlDataPropAssertAxiom

Represents a DataPropertyAssertion or NegativeDataPropertyAssertion axiom in the OWL 2 specification.

Pseudo-extends: CowlAxiom

CowlDataPropAssertAxiom *cowl_data_prop_assert_axiom(CowlAnyDataPropExp *prop, CowlAnyIndividual *subj, CowlLiteral *obj, CowlVector *annot)

Returns a data property assertion axiom.

Note

You must release the returned object via cowl_release().

Parameters:

  • prop – The data property.

  • subj – The assertion subject.

  • obj – The assertion object.

  • annot – optional The annotations.

Returns:

Axiom, or NULL on error.

CowlDataPropAssertAxiom *cowl_neg_data_prop_assert_axiom(CowlAnyDataPropExp *prop, CowlAnyIndividual *subj, CowlLiteral *obj, CowlVector *annot)

Returns a negative data property assertion axiom.

Note

You must release the returned object via cowl_release().

Parameters:

  • subj – The assertion subject.

  • prop – The data property.

  • obj – The assertion object.

  • annot – optional The annotations.

Returns:

Axiom, or NULL on error.

bool cowl_data_prop_assert_axiom_is_negative(CowlDataPropAssertAxiom *axiom)

Returns true if the specified data property assertion axiom is negative.

Parameters:

  • axiom – The axiom.

Returns:

True if the assertion is negative, false otherwise.

CowlDataPropExp *cowl_data_prop_assert_axiom_get_prop(CowlDataPropAssertAxiom *axiom)

Gets the data property.

Parameters:

  • axiom – The axiom.

Returns:

The data property.

CowlIndividual *cowl_data_prop_assert_axiom_get_subject(CowlDataPropAssertAxiom *axiom)

Gets the assertion subject.

Parameters:

  • axiom – The axiom.

Returns:

The assertion subject.

CowlLiteral *cowl_data_prop_assert_axiom_get_object(CowlDataPropAssertAxiom *axiom)

Gets the assertion object.

Parameters:

  • axiom – The axiom.

Returns:

The assertion object.

Same and different individuals

struct CowlNAryIndAxiom

Represents a SameIndividuals or DifferentIndividuals axiom in the OWL 2 specification.

Pseudo-extends: CowlAxiom

CowlNAryIndAxiom *cowl_nary_ind_axiom(CowlNAryAxiomType type, CowlVector *individuals, CowlVector *annot)

Returns a N-ary individual axiom.

Note

You must release the returned object via cowl_release().

Parameters:

  • type – The type.

  • individuals – The individuals.

  • annot – optional The annotations.

Returns:

Axiom, or NULL on error.

CowlNAryAxiomType cowl_nary_ind_axiom_get_type(CowlNAryIndAxiom *axiom)

Gets the type of the specified N-ary individual axiom.

Parameters:

  • axiom – The axiom.

Returns:

The type.

CowlVector *cowl_nary_ind_axiom_get_individuals(CowlNAryIndAxiom *axiom)

Gets the individuals of the specified N-ary individual axiom.

Parameters:

  • axiom – The axiom.

Returns:

The individuals.