Class expression axioms

Subclasses

struct CowlSubClsAxiom

Represents a SubClassOf axiom in the OWL 2 specification.

Pseudo-extends: CowlAxiom

CowlSubClsAxiom *cowl_sub_cls_axiom(CowlAnyClsExp *sub, CowlAnyClsExp *super, CowlVector *annot)

Returns a subclass axiom.

Note

You must release the returned object via cowl_release().

Parameters:

  • sub – The subclass.

  • super – The superclass.

  • annot – optional The annotations.

Returns:

Axiom, or NULL on error.

CowlClsExp *cowl_sub_cls_axiom_get_sub(CowlSubClsAxiom *axiom)

Gets the subclass.

Parameters:

  • axiom – The axiom.

Returns:

The subclass.

CowlClsExp *cowl_sub_cls_axiom_get_super(CowlSubClsAxiom *axiom)

Gets the superclass.

Parameters:

  • axiom – The axiom.

Returns:

The superclass.

Equivalent and disjoint classes

struct CowlNAryClsAxiom

Represents an EquivalentClasses or DisjointClasses axiom in the OWL 2 specification.

Pseudo-extends: CowlAxiom

enum CowlNAryAxiomType

Represents the type of CowlNAryClsAxiom, CowlNAryObjPropAxiom, CowlNAryDataPropAxiom and CowlNAryIndAxiom.

Values:

enumerator COWL_NAT_EQUIV

Equivalence.

enumerator COWL_NAT_DISJ

Disjointness.

enumerator COWL_NAT_COUNT

Number of enum values.

enumerator COWL_NAT_FIRST

First enum value.

enumerator COWL_NAT_SAME

Same individuals.

enumerator COWL_NAT_DIFF

Different individuals.

CowlNAryClsAxiom *cowl_nary_cls_axiom(CowlNAryAxiomType type, CowlVector *classes, CowlVector *annot)

Returns a N-ary class expression axiom.

Note

You must release the returned object via cowl_release().

Parameters:

  • type – N-ary class expression axiom type.

  • classes – The classes.

  • annot – optional The annotations.

Returns:

Axiom, or NULL on error.

CowlNAryAxiomType cowl_nary_cls_axiom_get_type(CowlNAryClsAxiom *axiom)

Gets the type of the specified N-ary class expression axiom.

Parameters:

  • axiom – The axiom.

Returns:

The type.

CowlVector *cowl_nary_cls_axiom_get_classes(CowlNAryClsAxiom *axiom)

Gets the classes of the specified N-ary class expression axiom.

Parameters:

  • axiom – The axiom.

Returns:

The classes.

Disjoint union

struct CowlDisjUnionAxiom

Represents a DisjointUnion axiom in the OWL 2 specification.

Pseudo-extends: CowlAxiom

CowlDisjUnionAxiom *cowl_disj_union_axiom(CowlClass *cls, CowlVector *disjoints, CowlVector *annot)

Returns a disjoint union axiom.

Note

You must release the returned object via cowl_release().

Parameters:

  • cls – The class which is equivalent to the disjoint union.

  • disjoints – The class expressions which are operands of the disjoint union.

  • annot – optional The annotations.

Returns:

Axiom, or NULL on error.

CowlClass *cowl_disj_union_axiom_get_class(CowlDisjUnionAxiom *axiom)

Gets the class which is equivalent to the disjoint union.

Parameters:

  • axiom – The axiom.

Returns:

The class.

CowlVector *cowl_disj_union_axiom_get_disjoints(CowlDisjUnionAxiom *axiom)

Gets the class expressions which are operands of the disjoint union.

Parameters:

  • axiom – The axiom.

Returns:

The class expressions.