GFO Part I Basic Principles
           
  ontomed Theories Concepts Applications  
 
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

 
   

6.3 Templates of Individuals

Individuals exist in time or space in different ways. To obtain a more detailed overview of these possibilities we introduce the notion of the template of an individual. A template of an individual $e$ is a pair $(s(e), t(e))$ of numbers that are determined using two functions $s$, $t$ being defined for arbitrary individuals $e$. $s(e)$ is the space dimension of $e$, and $t(e)$ the time structure which is associated with $e$. The values of $s$ may be $ -1, 0, 1, 2, 3$, while those of $t$ can be $-1, 0, 1$. $s(e) = -1$ has the meaning that $e$ is independent from space, analogously, $e$ is independent from time if $t(e) = -1$. We consider time entities (chronoid, boundaries) or space entities (topoids, surfaces, lines, points ) as individuals. Therefore, there are 15 combinations $(m,n)$, $ m = -1,0,1,2,3$; $n = -1,0,1$. $(-1,-1)$ means that the individual is independent from space and time. A material structure $e$ has the template $(3,0)$, because $e$ occupies a three-dimensional space region and exists at a particular time-point. A material boundary of a material structure $e$ has the template $(2,0)$ because any material surface occupies a spatial entity of dimension $2$, which is a spatial boundary. It is not clear which of these combinations can be realized by individuals. For instance, a process $p$ always satisfies the condition $t(p) = 1$; however, the determination of the possible values of $s(p)$ seems to be an open question. Therefore, a complete analysis of all combinations should be completed in order to determine which can actually be realized by individuals.

Robert Hoehndorf 2006-10-18
 
       
     
     
     

   
     
     
       
 

deutsch   imise uni-leipzig ifi dep-of-formal-concepts