Class: slot_expression
an expression that constrains the range of values a slot can take
Parents
- is_a: Expression - general mixin for any class that can represent some form of expression
Mixin for
- AnonymousSlotExpression (mixin)
- SlotDefinition (mixin) - the definition of a property or a slot
Referenced by Class
Attributes
Own
- range 0..1
- Description: defines the type of the object of the slot. Given the following slot definition S1: domain: C1 range: C2 the declaration X: S1: Y
implicitly asserts Y is an instance of C2
* Range: [Element](Element.md)
* in subsets: (minimal,basic,relational_model,object_oriented)
- range_expression 0..1
- Description: A range that is described as a boolean expression combining existing ranges
- Range: AnonymousClassExpression
- enum_range 0..1
- Description: An inlined enumeration
- Range: EnumExpression
- required 0..1
- Description: true means that the slot must be present in the loaded definition
- Range: Boolean
- in subsets: (minimal,basic,relational_model,object_oriented)
- recommended 0..1
- Description: true means that the slot should be present in the loaded definition, but this is not required
- Range: Boolean
- in subsets: (basic)
- inlined 0..1
- Description: True means that keyed or identified slot appears in an outer structure by value. False means that only the key or identifier for the slot appears within the domain, referencing a structure that appears elsewhere.
- Range: Boolean
- in subsets: (basic)
- inlined_as_list 0..1
- Description: True means that an inlined slot is represented as a list of range instances. False means that an inlined slot is represented as a dictionary, whose key is the slot key or identifier and whose value is the range instance.
- Range: Boolean
- in subsets: (basic)
- minimum_value 0..1
- Description: for slots with ranges of type number, the value must be equal to or higher than this
- Range: Integer
- in subsets: (basic)
- maximum_value 0..1
- Description: for slots with ranges of type number, the value must be equal to or lowe than this
- Range: Integer
- in subsets: (basic)
- pattern 0..1
- Description: the string value of the slot must conform to this regular expression expressed in the string
- Range: String
- in subsets: (basic)
- structured_pattern 0..1
- Description: the string value of the slot must conform to the regular expression in the pattern expression
- Range: PatternExpression
- implicit_prefix 0..1
- Description: Causes the slot value to be interpreted as a uriorcurie after prefixing with this string
- Range: String
- equals_string 0..1
- Description: the slot must have range string and the value of the slot must equal the specified value
- Range: String
- equals_string_in 0..*
- Description: the slot must have range string and the value of the slot must equal one of the specified values
- Range: String
- equals_number 0..1
- Description: the slot must have range of a number and the value of the slot must equal the specified value
- Range: Integer
- equals_expression 0..1
- Description: the value of the slot must equal the value of the evaluated expression
- Range: String
- minimum_cardinality 0..1
- Description: the minimum number of entries for a multivalued slot
- Range: Integer
- maximum_cardinality 0..1
- Description: the maximum number of entries for a multivalued slot
- Range: Integer
- has_member 0..1
- Description: the values of the slot is multivalued with at least one member satisfying the condition
- Range: AnonymousSlotExpression
- all_members 0..*
- Description: the value of the multiavlued slot is a list where all elements conform to the specified values. this defines a dynamic class with named slots according to matching constraints
E.g to state that all members of a list are between 1 and 10
all_members:
x:
range: integer
minimum_value: 10
maximum_value: 10
* Range: [SlotDefinition](SlotDefinition.md)
- slot_expression➞none_of 0..*
- Description: holds if none of the expressions hold
- Range: AnonymousSlotExpression
- slot_expression➞exactly_one_of 0..*
- Description: holds if only one of the expressions hold
- Range: AnonymousSlotExpression
- slot_expression➞any_of 0..*
- Description: holds if at least one of the expressions hold
- Range: AnonymousSlotExpression
- slot_expression➞all_of 0..*
- Description: holds if all of the expressions hold
- Range: AnonymousSlotExpression