GFO Part I Basic Principles



Ontological Investigations	Conceptual Modelling	Onto-Builder
Axiomatic Foundations	Domain Ontologies	Onco-Workstation
Metalogical Analyses	Ontology Languages	SOP-Creator

			Onto-Med >> Theories >> GFO Part I Basic Principles
			Overview General Formal Ontology (GFO)	Next: 6.3 Templates of Individuals Up: 6 Basic Categories of Previous: 6.1 Endurants, Presentials, and 6.2 Processes Processes have temporal parts and thus cannot be present at a time-point. Time belongs to them, because they occur over time and the time of a process is built into it. The relation between a process and a chronoid is determined by the projection function $\Gprt$ . There are two additional projection relations, one of them projecting a process, , to a temporal part of the framing chronoid of . The second relation $\Gprt(p,c,q)$ , should to be understood as follows: is a process, is a temporal part of the chronoid that frames , and is the part of that results from the projection of onto . That means, can be seen as the restriction of the process to the sub-chronoid . The temporal parts of a process - which are captured by the temporal parthood relation extended to processes, denoted $\Gprocpart(x, y)$ - are exactly the projections of onto the temporal parts of the framing chronoid of . The third relation projects processes onto time-boundaries; we denote this relation as $\Gprb(p,t,e)$ , and call the entity , which is the result of this projection, the boundary of at . We postulate that the projection of a process to a time-boundary is a presential. Moreover, presentials depend on processes, since they cannot exist without being a part of the boundary of some process. Next: 6.3 Templates of Individuals Up: 6 Basic Categories of Previous: 6.1 Endurants, Presentials, and Robert Hoehndorf 2006-10-18

Onto-Med >> Theories >> GFO Part I Basic Principles

6.2 Processes