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
andCowlNAryData
.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.
-
enumerator COWL_NT_INTERSECT
-
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.