Template Slots | |||||
Slot name | Documentation | Type | Allowed Values/Classes | Cardinality | Default |
:OWL-DIFFERENT-FROM | Instance | :THING | 0:* | ||
timed | Boolean | 0:1 | |||
go-From | Instance | State | 0:1 | ||
:OWL-VERSION-INFO | String | 0:* | |||
go-To | Instance | State | 0:1 | ||
:OWL-SEE-ALSO | String | 0:* | |||
:OWL-LABELS | String | 0:* | |||
is-Enabled-by | Instance | TransitionEnabling | 0:1 | ||
name | String | 0:* | |||
:OWL-SAME-AS | Instance | :THING | 0:* | ||
probability | Probability associated with a transition. | Float | 0:1 | ||
is-Triggered-by | Instance | TransitionTriggering | 0:1 | ||
probabilisitic | Boolean | 0:1 | |||
:OWL-IS-DEFINED-BY | String | 0:* |
Own Slots | ||||
Slot name | Documentation | Type | Value | Cardinality |
:OWL-DIFFERENT-FROM | Instance | |||
:OWL-VERSION-INFO | String | |||
:OWL-SEE-ALSO | String | |||
:OWL-DISJOINT-CLASSES | Instance | |||
:OWL-LABELS | String | |||
:OWL-SAME-AS | Instance | |||
:OWL-IS-DEFINED-BY | String |