Slot: postconditions

an expression that must hold for an instance of the class, if the preconditions hold

URI: linkml:postconditions Alias: postconditions

Applicable Classes

Name	Description	Modifies Slot
ClassRule	A rule that applies to instances of a class	no

Properties

Type and Range

Property	Value
Range	AnonymousClassExpression
Domain Of	ClassRule

Cardinality and Requirements

Property	Value

In Subsets

• SpecificationSubset

Aliases

• then
• head
• consequents

See Also

• https://w3id.org/linkml/docs/specification/05validation/#rules

Identifier and Mapping Information

Administrative Metadata

Rank: 113

Schema Source

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

Mappings

Mapping Type	Mapped Value
self	linkml:postconditions
native	linkml:postconditions
close	swrl:body

LinkML Source

name: postconditions
description: an expression that must hold for an instance of the class, if the preconditions
  hold
in_subset:
- SpecificationSubset
from_schema: https://w3id.org/linkml/meta
see_also:
- https://w3id.org/linkml/docs/specification/05validation/#rules
aliases:
- then
- head
- consequents
close_mappings:
- swrl:body
rank: 113
alias: postconditions
domain_of:
- class_rule
range: anonymous_class_expression
inlined: true