Class: Restriction

URI: owl:Restriction

classDiagram Class <|-- Restriction Restriction : allValuesFrom Restriction : cardinality Restriction : complementOf Restriction : disjointUnionOf Restriction : disjointWith Restriction : equivalentClass Restriction : hasKey Restriction : hasSelf Restriction : hasValue Restriction : intersectionOf Restriction : maxCardinality Restriction : maxQualifiedCardinality Restriction : minCardinality Restriction : minQualifiedCardinality Restriction : onClass Restriction : onDataRange Restriction : oneOf Restriction : onProperties Restriction : onProperty Restriction : qualifiedCardinality Restriction : someValuesFrom Restriction : unionOf

Inheritance

Class
- Restriction

Slots

Name	Cardinality and Range	Description
allValuesFrom	0..* Class
hasSelf	0..* Resource
hasValue	0..* Resource
onClass	0..* Class
onDataRange	0..* Datatype
onProperties	0..* List
onProperty	0..* Property
someValuesFrom	0..* Class
cardinality	0..* NONE
maxCardinality	0..* NONE
maxQualifiedCardinality	0..* NONE
minCardinality	0..* NONE
minQualifiedCardinality	0..* NONE
qualifiedCardinality	0..* NONE
complementOf	0..* Class
disjointUnionOf	0..* List
disjointWith	0..* Class
equivalentClass	0..* Class
hasKey	0..* List
intersectionOf	0..* List
oneOf	0..* List
unionOf	0..* List

Usages

Comments

The class of property restrictions.

Identifier and Mapping Information

Schema Source

from schema: http://www.w3.org/2002/07/owl

Mappings

Mapping Type	Mapped Value
self	['owl:Restriction']
native	['owl:Restriction']

LinkML Specification

Direct

name: Restriction
comments:
- The class of property restrictions.
from_schema: http://www.w3.org/2002/07/owl
rank: 1000
is_a: Class
slots:
- allValuesFrom
- hasSelf
- hasValue
- onClass
- onDataRange
- onProperties
- onProperty
- someValuesFrom
- cardinality
- maxCardinality
- maxQualifiedCardinality
- minCardinality
- minQualifiedCardinality
- qualifiedCardinality
class_uri: owl:Restriction

Induced

name: Restriction
comments:
- The class of property restrictions.
from_schema: http://www.w3.org/2002/07/owl
rank: 1000
is_a: Class
attributes:
  allValuesFrom:
    name: allValuesFrom
    comments:
    - The property that determines the class that a universal property restriction
      refers to.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:allValuesFrom
    multivalued: true
    alias: allValuesFrom
    owner: Restriction
    domain_of:
    - Restriction
    range: Class
  hasSelf:
    name: hasSelf
    comments:
    - The property that determines the property that a self restriction refers to.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:hasSelf
    multivalued: true
    alias: hasSelf
    owner: Restriction
    domain_of:
    - Restriction
    range: Resource
  hasValue:
    name: hasValue
    comments:
    - The property that determines the individual that a has-value restriction refers
      to.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:hasValue
    multivalued: true
    alias: hasValue
    owner: Restriction
    domain_of:
    - Restriction
    range: Resource
  onClass:
    name: onClass
    comments:
    - The property that determines the class that a qualified object cardinality restriction
      refers to.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:onClass
    multivalued: true
    alias: onClass
    owner: Restriction
    domain_of:
    - Restriction
    range: Class
  onDataRange:
    name: onDataRange
    comments:
    - The property that determines the data range that a qualified data cardinality
      restriction refers to.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:onDataRange
    multivalued: true
    alias: onDataRange
    owner: Restriction
    domain_of:
    - Restriction
    range: Datatype
  onProperties:
    name: onProperties
    comments:
    - The property that determines the n-tuple of properties that a property restriction
      on an n-ary data range refers to.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:onProperties
    multivalued: true
    alias: onProperties
    owner: Restriction
    domain_of:
    - Restriction
    range: List
  onProperty:
    name: onProperty
    comments:
    - The property that determines the property that a property restriction refers
      to.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:onProperty
    multivalued: true
    alias: onProperty
    owner: Restriction
    domain_of:
    - Restriction
    range: Property
  someValuesFrom:
    name: someValuesFrom
    comments:
    - The property that determines the class that an existential property restriction
      refers to.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:someValuesFrom
    multivalued: true
    alias: someValuesFrom
    owner: Restriction
    domain_of:
    - Restriction
    range: Class
  cardinality:
    name: cardinality
    comments:
    - The property that determines the cardinality of an exact cardinality restriction.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:cardinality
    multivalued: true
    alias: cardinality
    owner: Restriction
    domain_of:
    - Restriction
  maxCardinality:
    name: maxCardinality
    comments:
    - The property that determines the cardinality of a maximum cardinality restriction.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:maxCardinality
    multivalued: true
    alias: maxCardinality
    owner: Restriction
    domain_of:
    - Restriction
  maxQualifiedCardinality:
    name: maxQualifiedCardinality
    comments:
    - The property that determines the cardinality of a maximum qualified cardinality
      restriction.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:maxQualifiedCardinality
    multivalued: true
    alias: maxQualifiedCardinality
    owner: Restriction
    domain_of:
    - Restriction
  minCardinality:
    name: minCardinality
    comments:
    - The property that determines the cardinality of a minimum cardinality restriction.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:minCardinality
    multivalued: true
    alias: minCardinality
    owner: Restriction
    domain_of:
    - Restriction
  minQualifiedCardinality:
    name: minQualifiedCardinality
    comments:
    - The property that determines the cardinality of a minimum qualified cardinality
      restriction.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:minQualifiedCardinality
    multivalued: true
    alias: minQualifiedCardinality
    owner: Restriction
    domain_of:
    - Restriction
  qualifiedCardinality:
    name: qualifiedCardinality
    comments:
    - The property that determines the cardinality of an exact qualified cardinality
      restriction.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:qualifiedCardinality
    multivalued: true
    alias: qualifiedCardinality
    owner: Restriction
    domain_of:
    - Restriction
  complementOf:
    name: complementOf
    comments:
    - The property that determines that a given class is the complement of another
      class.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:complementOf
    multivalued: true
    alias: complementOf
    owner: Restriction
    domain_of:
    - Class
    range: Class
  disjointUnionOf:
    name: disjointUnionOf
    comments:
    - The property that determines that a given class is equivalent to the disjoint
      union of a collection of other classes.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:disjointUnionOf
    multivalued: true
    alias: disjointUnionOf
    owner: Restriction
    domain_of:
    - Class
    range: List
  disjointWith:
    name: disjointWith
    comments:
    - The property that determines that two given classes are disjoint.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:disjointWith
    multivalued: true
    alias: disjointWith
    owner: Restriction
    domain_of:
    - Class
    range: Class
  equivalentClass:
    name: equivalentClass
    comments:
    - The property that determines that two given classes are equivalent, and that
      is used to specify datatype definitions.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:equivalentClass
    multivalued: true
    alias: equivalentClass
    owner: Restriction
    domain_of:
    - Class
    range: Class
  hasKey:
    name: hasKey
    comments:
    - The property that determines the collection of properties that jointly build
      a key.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:hasKey
    multivalued: true
    alias: hasKey
    owner: Restriction
    domain_of:
    - Class
    range: List
  intersectionOf:
    name: intersectionOf
    comments:
    - The property that determines the collection of classes or data ranges that build
      an intersection.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:intersectionOf
    multivalued: true
    alias: intersectionOf
    owner: Restriction
    domain_of:
    - Class
    range: List
  oneOf:
    name: oneOf
    comments:
    - The property that determines the collection of individuals or data values that
      build an enumeration.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:oneOf
    multivalued: true
    alias: oneOf
    owner: Restriction
    domain_of:
    - Class
    range: List
  unionOf:
    name: unionOf
    comments:
    - The property that determines the collection of classes or data ranges that build
      a union.
    from_schema: http://www.w3.org/2002/07/owl
    rank: 1000
    slot_uri: owl:unionOf
    multivalued: true
    alias: unionOf
    owner: Restriction
    domain_of:
    - Class
    range: List
class_uri: owl:Restriction