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.

enum CowlClsExpType

Represents the type of CowlClsExp.

Values:

enumerator COWL_CET_CLASS

CowlClass - class.

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.

Classes

• Classes

Boolean class expressions

• Intersection and Union of Class Expressions
• Complement of Class Expressions

Individual enumeration

• Enumeration of Individuals

Property restrictions

• Object Property Quantification
• Data Property Quantification
• Individual Value Restriction
• Literal Value Restriction
• Self Restriction

Property cardinality restrictions

• Object Cardinality Restrictions
• Data Cardinality Restrictions