Boolean class expressions

Intersection and union

struct CowlNAryCls

Represents ObjectIntersectionOf and ObjectUnionOf in the OWL 2 specification.

Pseudo-extends: CowlClsExp

enum CowlNAryType

Represents the type of CowlNAryCls and CowlNAryData.

Values:

enumerator COWL_NT_INTERSECT

Intersection.

enumerator COWL_NT_UNION

Union.

enumerator COWL_NT_COUNT

Number of enum values.

enumerator COWL_NT_FIRST

First enum value.

CowlNAryCls *cowl_nary_cls(CowlNAryType type, CowlVector *operands)

Returns a N-ary class expression.

Note

You must release the returned object via cowl_release().

Parameters:

  • type – N-ary class expression type.

  • operands – The operands.

Returns:

Expression, or NULL on error.

CowlNAryCls *cowl_nary_bool(CowlNAryType type, CowlVector *operands)

Returns a N-ary class expression.

Deprecated:

Use cowl_nary_cls instead.

Note

You must release the returned object via cowl_release().

Parameters:

  • type – N-ary class expression type.

  • operands – The operands.

Returns:

Expression, or NULL on error.

CowlNAryCls *cowl_obj_intersect(CowlVector *operands)

Returns an intersection of class expressions.

Note

You must release the returned object via cowl_release().

Parameters:

  • operands – The operands.

Returns:

Expression, or NULL on error.

CowlNAryCls *cowl_obj_intersect_of(...)

Returns an intersection of class expressions.

Parameters:

  • ... – The operands.

Returns:

Expression, or NULL on error.

CowlNAryCls *cowl_obj_union(CowlVector *operands)

Returns a union of class expressions.

Note

You must release the returned object via cowl_release().

Parameters:

  • operands – The operands.

Returns:

Expression, or NULL on error.

CowlNAryCls *cowl_obj_union_of(...)

Returns a union of class expressions.

Parameters:

  • ... – The operands.

Returns:

Expression, or NULL on error.

CowlNAryType cowl_nary_cls_get_type(CowlNAryCls *exp)

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

Parameters:

  • exp – The expression.

Returns:

The type.

CowlNAryType cowl_nary_bool_get_type(CowlNAryCls *exp)

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

Deprecated:

Use cowl_nary_cls_get_type instead.

Parameters:

  • exp – The expression.

Returns:

The type.

CowlVector *cowl_nary_cls_get_operands(CowlNAryCls *exp)

Gets the operands of the specified N-ary class expression.

Parameters:

  • exp – The expression.

Returns:

The operands.

CowlVector *cowl_nary_bool_get_operands(CowlNAryCls *exp)

Gets the operands of the specified N-ary class expression.

Deprecated:

Use cowl_nary_cls_get_operands instead.

Parameters:

  • exp – The expression.

Returns:

The operands.

Complement

struct CowlObjCompl

Represents ObjectComplementOf in the OWL 2 specification.

Pseudo-extends: CowlClsExp

CowlObjCompl *cowl_obj_compl(CowlAnyClsExp *operand)

Returns the complement of a class expression.

Note

You must release the returned object via cowl_release().

Parameters:

  • operand – The operand.

Returns:

Class expression complement, or NULL on error.

CowlClsExp *cowl_obj_compl_get_operand(CowlObjCompl *exp)

Gets the operand of the specified class expression complement.

Parameters:

  • exp – The complement.

Returns:

The operand.