Class expressions
-
struct CowlClsExp
Represents a ClassExpression in the OWL 2 specification.
Pseudo-extends:
CowlObject
-
enum CowlClsExpType
Represents the type of
CowlClsExp.Values:
-
enumerator COWL_CET_OBJ_SOME
CowlObjQuant- “some values from” object property restriction.
-
enumerator COWL_CET_OBJ_ALL
CowlObjQuant- “all values from” object property restriction.
-
enumerator COWL_CET_OBJ_MIN_CARD
CowlObjCard- “minimum cardinality” object property restriction.
-
enumerator COWL_CET_OBJ_MAX_CARD
CowlObjCard- “maximum cardinality” object property restriction.
-
enumerator COWL_CET_OBJ_EXACT_CARD
CowlObjCard- “exact cardinality” object property restriction.
-
enumerator COWL_CET_OBJ_HAS_VALUE
CowlObjHasValue- “has value” object property restriction.
-
enumerator COWL_CET_OBJ_HAS_SELF
CowlObjHasSelf- “has self” object property restriction.
-
enumerator COWL_CET_DATA_SOME
CowlDataQuant- “some values from” data property restriction.
-
enumerator COWL_CET_DATA_ALL
CowlDataQuant- “all values from” data property restriction.
-
enumerator COWL_CET_DATA_MIN_CARD
CowlDataCard- “min cardinality” data property restriction.
-
enumerator COWL_CET_DATA_MAX_CARD
CowlDataCard- “max cardinality” data property restriction.
-
enumerator COWL_CET_DATA_EXACT_CARD
CowlDataCard- “exact cardinality” data property restriction.
-
enumerator COWL_CET_DATA_HAS_VALUE
CowlDataHasValue- “has value” data property restriction.
-
enumerator COWL_CET_OBJ_INTERSECT
CowlNAryBool- Intersection of class expressions.
-
enumerator COWL_CET_OBJ_UNION
CowlNAryBool- Union of class expressions.
-
enumerator COWL_CET_OBJ_COMPL
CowlObjCompl- Complement of a class expression.
-
enumerator COWL_CET_OBJ_ONE_OF
CowlObjOneOf- Enumeration of individuals.
-
enumerator COWL_CET_COUNT
Number of enum values.
-
enumerator COWL_CET_FIRST
First enum value.
-
enumerator COWL_CET_OBJ_SOME
-
CowlClsExpType cowl_cls_exp_get_type(CowlAnyClsExp *exp)
Gets the type of the specified class expression.
- Parameters:
exp – The class expression.
- Returns:
The type.