Template Slots | |||||
Slot name | Documentation | Type | Allowed Values/Classes | Cardinality | Default | :OWL-DIFFERENT-FROM | Instance | :THING | 0:* | has-ClockStructure | Instance | ClockStructure | 0:* | has-InitialState | Instance | InitialState | 0:1 | :OWL-VERSION-INFO | String | 0:* | has-PlaceSet | Instance | FinitePlaceSet | 0:* | has-EventSet | Instance | FiniteEventSet | 0:* | :OWL-SEE-ALSO | String | 0:* | :OWL-LABELS | String | 0:* | has-StateSpace | Instance | DiscreteStateSpace | 0:* | :OWL-SAME-AS | Instance | :THING | 0:* | :OWL-IS-DEFINED-BY | String | 0:* | has-TransitionFunction | Instance | TransitionFunction | 0:* | has-TimeSet | Instance | TimeSet | 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 |