Boolean class expressions

Intersection and union

struct CowlNAryBool

Represents ObjectIntersectionOf and ObjectUnionOf in the OWL 2 specification.

Pseudo-extends: CowlClsExp

enum CowlNAryType

Represents the type of CowlNAryBool 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.

CowlNAryBool *cowl_nary_bool(CowlNAryType type, CowlVector *operands)

Returns a N-ary boolean 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.

CowlNAryType cowl_nary_bool_get_type(CowlNAryBool *exp)

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

Parameters:
  • exp – The expression.

Returns:

The type.

CowlVector *cowl_nary_bool_get_operands(CowlNAryBool *exp)

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

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.