Skip to content

Class: TypeExpression

An abstract class grouping named types and anonymous type expressions

URI: linkml:TypeExpression

classDiagram class TypeExpression Expression <|-- TypeExpression TypeExpression <|-- AnonymousTypeExpression TypeExpression <|-- TypeDefinition TypeExpression : all_of TypeExpression --> anonymous_type_expression : all_of TypeExpression : any_of TypeExpression --> anonymous_type_expression : any_of TypeExpression : equals_number TypeExpression : equals_string TypeExpression : equals_string_in TypeExpression : exactly_one_of TypeExpression --> anonymous_type_expression : exactly_one_of TypeExpression : implicit_prefix TypeExpression : maximum_value TypeExpression --> Anything : maximum_value TypeExpression : minimum_value TypeExpression --> Anything : minimum_value TypeExpression : none_of TypeExpression --> anonymous_type_expression : none_of TypeExpression : pattern TypeExpression : structured_pattern TypeExpression --> pattern_expression : structured_pattern TypeExpression : unit TypeExpression --> UnitOfMeasure : unit

Inheritance

Slots

Name Cardinality and Range Description Inheritance
pattern 0..1
String		 the string value of the slot must conform to this regular expression expresse... direct
structured_pattern 0..1
PatternExpression		 the string value of the slot must conform to the regular expression in the pa... direct
unit 0..1
UnitOfMeasure		 an encoding of a unit direct
implicit_prefix 0..1
String		 Causes the slot value to be interpreted as a uriorcurie after prefixing with ... direct
equals_string 0..1
String		 the slot must have range string and the value of the slot must equal the spec... direct
equals_string_in 0..*
String		 the slot must have range string and the value of the slot must equal one of t... direct
equals_number 0..1
Integer		 the slot must have range of a number and the value of the slot must equal the... direct
minimum_value 0..1
Anything		 For ordinal ranges, the value must be equal to or higher than this direct
maximum_value 0..1
Anything		 For ordinal ranges, the value must be equal to or lower than this direct
none_of 0..*
AnonymousTypeExpression		 holds if none of the expressions hold direct
exactly_one_of 0..*
AnonymousTypeExpression		 holds if only one of the expressions hold direct
any_of 0..*
AnonymousTypeExpression		 holds if at least one of the expressions hold direct
all_of 0..*
AnonymousTypeExpression		 holds if all of the expressions hold direct

Mixin Usage

mixed into description
AnonymousTypeExpression A type expression that is not a top-level named type definition
TypeDefinition an element that whose instances are atomic scalar values that can be mapped t...

Identifier and Mapping Information

Schema Source

  • from schema: https://w3id.org/linkml/meta

Mappings

Mapping Type Mapped Value
self linkml:TypeExpression
native linkml:TypeExpression

LinkML Source

Direct

name: type_expression
description: An abstract class grouping named types and anonymous type expressions
from_schema: https://w3id.org/linkml/meta
is_a: expression
mixin: true
slots:
- pattern
- structured_pattern
- unit
- implicit_prefix
- equals_string
- equals_string_in
- equals_number
- minimum_value
- maximum_value
- none_of
- exactly_one_of
- any_of
- all_of
slot_usage:
  any_of:
    name: any_of
    domain_of:
    - type_expression
    - path_expression
    - slot_expression
    - class_expression
    range: anonymous_type_expression
  all_of:
    name: all_of
    domain_of:
    - type_expression
    - path_expression
    - slot_expression
    - class_expression
    range: anonymous_type_expression
  exactly_one_of:
    name: exactly_one_of
    domain_of:
    - type_expression
    - path_expression
    - slot_expression
    - class_expression
    range: anonymous_type_expression
  none_of:
    name: none_of
    domain_of:
    - type_expression
    - path_expression
    - slot_expression
    - class_expression
    range: anonymous_type_expression

Induced

name: type_expression
description: An abstract class grouping named types and anonymous type expressions
from_schema: https://w3id.org/linkml/meta
is_a: expression
mixin: true
slot_usage:
  any_of:
    name: any_of
    domain_of:
    - type_expression
    - path_expression
    - slot_expression
    - class_expression
    range: anonymous_type_expression
  all_of:
    name: all_of
    domain_of:
    - type_expression
    - path_expression
    - slot_expression
    - class_expression
    range: anonymous_type_expression
  exactly_one_of:
    name: exactly_one_of
    domain_of:
    - type_expression
    - path_expression
    - slot_expression
    - class_expression
    range: anonymous_type_expression
  none_of:
    name: none_of
    domain_of:
    - type_expression
    - path_expression
    - slot_expression
    - class_expression
    range: anonymous_type_expression
attributes:
  pattern:
    name: pattern
    description: the string value of the slot must conform to this regular expression
      expressed in the string
    in_subset:
    - SpecificationSubset
    - BasicSubset
    from_schema: https://w3id.org/linkml/meta
    rank: 35
    domain: definition
    inherited: true
    alias: pattern
    owner: type_expression
    domain_of:
    - type_expression
    - slot_expression
    range: string
  structured_pattern:
    name: structured_pattern
    description: the string value of the slot must conform to the regular expression
      in the pattern expression
    in_subset:
    - SpecificationSubset
    from_schema: https://w3id.org/linkml/meta
    see_also:
    - https://linkml.io/linkml/schemas/constraints.html#structured-patterns
    rank: 1000
    domain: definition
    inherited: true
    alias: structured_pattern
    owner: type_expression
    domain_of:
    - type_expression
    - slot_expression
    range: pattern_expression
  unit:
    name: unit
    description: an encoding of a unit
    from_schema: https://w3id.org/linkml/meta
    rank: 1000
    slot_uri: qudt:unit
    alias: unit
    owner: type_expression
    domain_of:
    - type_expression
    - slot_expression
    - permissible_value
    range: UnitOfMeasure
  implicit_prefix:
    name: implicit_prefix
    description: Causes the slot value to be interpreted as a uriorcurie after prefixing
      with this string
    in_subset:
    - SpecificationSubset
    from_schema: https://w3id.org/linkml/meta
    status: testing
    rank: 1000
    domain: slot_expression
    alias: implicit_prefix
    owner: type_expression
    domain_of:
    - type_expression
    - slot_expression
    range: string
  equals_string:
    name: equals_string
    description: the slot must have range string and the value of the slot must equal
      the specified value
    in_subset:
    - SpecificationSubset
    from_schema: https://w3id.org/linkml/meta
    rank: 1000
    is_a: list_value_specification_constant
    inherited: true
    alias: equals_string
    owner: type_expression
    domain_of:
    - type_expression
    - slot_expression
    range: string
  equals_string_in:
    name: equals_string_in
    description: the slot must have range string and the value of the slot must equal
      one of the specified values
    in_subset:
    - SpecificationSubset
    from_schema: https://w3id.org/linkml/meta
    status: testing
    rank: 1000
    is_a: list_value_specification_constant
    multivalued: true
    inherited: true
    alias: equals_string_in
    owner: type_expression
    domain_of:
    - type_expression
    - slot_expression
    range: string
  equals_number:
    name: equals_number
    description: the slot must have range of a number and the value of the slot must
      equal the specified value
    from_schema: https://w3id.org/linkml/meta
    status: unstable
    rank: 1000
    is_a: list_value_specification_constant
    inherited: true
    alias: equals_number
    owner: type_expression
    domain_of:
    - type_expression
    - slot_expression
    range: integer
  minimum_value:
    name: minimum_value
    description: For ordinal ranges, the value must be equal to or higher than this
    notes:
    - Range to be refined to an "Ordinal" metaclass - see https://github.com/linkml/linkml/issues/1384#issuecomment-1892721142
    in_subset:
    - SpecificationSubset
    - BasicSubset
    from_schema: https://w3id.org/linkml/meta
    aliases:
    - low value
    rank: 1000
    domain: slot_definition
    inherited: true
    alias: minimum_value
    owner: type_expression
    domain_of:
    - type_expression
    - slot_expression
    range: Anything
  maximum_value:
    name: maximum_value
    description: For ordinal ranges, the value must be equal to or lower than this
    notes:
    - Range to be refined to an "Ordinal" metaclass - see https://github.com/linkml/linkml/issues/1384#issuecomment-1892721142
    in_subset:
    - SpecificationSubset
    - BasicSubset
    from_schema: https://w3id.org/linkml/meta
    aliases:
    - high value
    rank: 1000
    domain: slot_definition
    inherited: true
    alias: maximum_value
    owner: type_expression
    domain_of:
    - type_expression
    - slot_expression
    range: Anything
  none_of:
    name: none_of
    description: holds if none of the expressions hold
    from_schema: https://w3id.org/linkml/meta
    rank: 105
    is_a: boolean_slot
    multivalued: true
    alias: none_of
    owner: type_expression
    domain_of:
    - type_expression
    - path_expression
    - slot_expression
    - class_expression
    range: anonymous_type_expression
  exactly_one_of:
    name: exactly_one_of
    description: holds if only one of the expressions hold
    from_schema: https://w3id.org/linkml/meta
    rank: 103
    is_a: boolean_slot
    multivalued: true
    alias: exactly_one_of
    owner: type_expression
    domain_of:
    - type_expression
    - path_expression
    - slot_expression
    - class_expression
    range: anonymous_type_expression
  any_of:
    name: any_of
    description: holds if at least one of the expressions hold
    from_schema: https://w3id.org/linkml/meta
    rank: 101
    is_a: boolean_slot
    multivalued: true
    alias: any_of
    owner: type_expression
    domain_of:
    - type_expression
    - path_expression
    - slot_expression
    - class_expression
    range: anonymous_type_expression
  all_of:
    name: all_of
    description: holds if all of the expressions hold
    from_schema: https://w3id.org/linkml/meta
    rank: 107
    is_a: boolean_slot
    multivalued: true
    alias: all_of
    owner: type_expression
    domain_of:
    - type_expression
    - path_expression
    - slot_expression
    - class_expression
    range: anonymous_type_expression