Project: included
Class :OWL-HAS-RESTRICTION

Concrete Class Extends 

        :OWL-RESTRICTION

 

Direct Instances:

1. [probabilisitic ∋ true]
2. [has-Set-Type ∋ _finite]
3. [has-Set-Type ∋ _cardinality_One]
4. [is-Triggered-by ∋ _Single_Event_Triggering]
5. [has-Set-Type ∋ _finite]
6. [has-PlaceSet ∋ _Undefined_PlaceSet]
7. [is-Triggered-by ∋ _Multiple_Event_Triggering]
8. [is-Scheduled-by ∋ _Automata_Scheduling]
9. [is-Enabled-by ∋ _Event_Enabling]
10. [is-Determined-by ∋ _Poisson_Process]
11. [probabilisitic ∋ false]
12. [probability ∋ 1.0]
13. [is-Triggered-by ∋ _Single_Event_Triggering]
14. [has-Set-Type ∋ _uncountably-infinite]
15. [is-Triggered-by ∋ _Single_Event_Triggering]
16. [is-Triggered-by ∋ _Multiple_Event_Triggering]
17. [is-Initialized-by ∋ _Probabilistic_Initalization]
18. [has-Set-Type ∋ _uncountably-infinite]
19. [is-Triggered-by ∋ _Petri_Net_Triggering]
20. [is-Enabled-by ∋ _Petri_Net_Enabling]
21. [is-Scheduled-by ∋ _Petri_Net_Scheduling]
22. [has-Set-Type ∋ _finite]
23. [is-Determined-by ∋ _Poisson_Process]
24. [is-Initialized-by ∋ _Deterministic_Initialization]
25. [has-Set-Type ∋ _countably-Infinite]

 

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