Project: included
Class :OWL-ALL-RESTRICTION

Concrete Class Extends 

        :OWL-RESTRICTION

 

Direct Instances:

1. [∀ is-a-Set-of Event]
2. [∀ is-a-Set-of EventClock]
3. [∀ is-a-Set-of State]
4. [∀ is-a-Set-of Time]
5. [∀ is-a-Set-of Place]
6. [∀ is-a-Set-of Transition]
7. [∀ has-EventSet (Event ⊓ (has-Set-Type ∋ _cardinality_One))]
8. [∀ is-Determined-by StochasticClockSetting]
9. [∀ is-a-Set-of (EventClock ⊓ (∀ is-Determined-by StochasticClockSetting))]
10. [∀ has-ClockStructure StochasticClockStructure]
11. [∀ has-TransitionFunction ProbabilisticTransitionFunction]
12. [∀ has-TimeSet DiscreteTimeSet]
13. [∀ is-Determined-by DeterministicClockSetting]
14. [∀ is-a-Set-of (EventClock ⊓ (∀ is-Determined-by DeterministicClockSetting))]
15. [∀ has-ClockStructure NoClockStructure]
16. [∀ has-ClockStructure DeterministicClockStructure]
17. [∀ is-a-Set-of DeterministicTransition]
18. [∀ has-TransitionFunction DeterministicTransitionFunction]
19. [∀ has-ClockStructure NoClockStructure]
20. [∀ has-ClockStructure DeterministicClockStructure]
21. [∀ has-TransitionFunction DeterministicTransitionFunction]
22. [∀ has-ClockStructure StochasticClockStructure]
23. [∀ has-TransitionFunction ProbabilisticTransitionFunction]
24. [∀ has-StateSpace FiniteStateSpace]
25. [∀ has-TimeSet ContinuousTimeSet]

 

Direct Subclasses:

None

 

Template Slots
Slot name	Documentation	Type	Allowed Values/Classes	Cardinality	Default
:OWL-DIFFERENT-FROM		Instance	:THING	0:*
:OWL-VERSION-INFO		String		0:*
:OWL-SEE-ALSO		String		0:*
:OWL-DISJOINT-CLASSES		Instance	:OWL-CLASS	0:*
:OWL-LABELS		String		0:*
:OWL-FILLER-DEFINED		Boolean		0:1
:OWL-SAME-AS		Instance	:THING	0:*
: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-LABELS		String
:OWL-SAME-AS		Instance
:OWL-IS-DEFINED-BY		String

Return to class hierarchy