Matches in LOV for { <http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Transition> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- Transition type Class.
- Transition comment "A transition is a Situation that creates a context for three TimeInterval(s), two additional different Situation(s), one Event, one Process, and at least one Object: the Event is observed as the cause for the transition, one Situation is the state before the transition, the second Situation is the state after the transition, the Process is the invariance under some different transitions (including the one represented here), in which at least one Object is situated. Finally, the time intervals position the situations and the transitional event in time.\nThis class of situations partly encodes the ontology underlying typical engineering algebras for processes, e.g. Petri Nets. \nA full representation of the transition ontology is outside the expressivity of OWL, because we would need qualified cardinality restrictions, coreference, property equivalence, and property composition.".
- Transition isDefinedBy DUL.owl.
- Transition label "Transition".
- Transition label "Transizione".
- Transition subClassOf B17e38cef599519800ba74a335213a031.
- Transition subClassOf B6d1e0941172520351df86d72e5174581.
- Transition subClassOf B6d5869fbc37d333ad7e5e686b7742f97.
- Transition subClassOf Ba9444435d6d736efebaff96828199067.
- Transition subClassOf Bb0d1a51c63ef70d77cd56f9f9fbe5b6d.
- Transition subClassOf Bf2ed5eb076e071a3bc1cc935b76b560c.
- Transition subClassOf Situation.