Class Expressions
-
struct CowlClsExp : public CowlObject
Represents a ClassExpression in the OWL 2 specification.
Subclassed by CowlClass, CowlDataCard, CowlDataHasValue, CowlDataQuant, CowlNAryBool, CowlObjCard, CowlObjCompl, CowlObjHasSelf, CowlObjHasValue, CowlObjOneOf, CowlObjQuant
Public Static Functions
-
static inline CowlClsExpType cowl_cls_exp_get_type(CowlAnyClsExp *exp)
Gets the type of the specified class expression.
- Parameters
exp – The class expression.
- Returns
The type.
-
static inline CowlClsExpType cowl_cls_exp_get_type(CowlAnyClsExp *exp)
-
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
Classes
Boolean class expressions
Individual enumeration
Property restrictions
Property cardinality restrictions