Slot: postconditions

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

URI: linkml:postconditions

Applicable Classes

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

Properties

• Range: AnonymousClassExpression

Aliases

• then
• head
• consequents

See Also

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

Identifier and Mapping Information

Schema Source

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

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