Konstruktion der KOWIEN-Ontologie - Institut für Produktion und ...

KOWIEN-Projektbericht 2/2003 20
fen werden. Demnach könnten nicht-strikte Prädikate wie Student lediglich Identitätsbedingungen
besitzen, die sie von Ober-Prädikaten (in diesem Fall Person) geerbt
haben, jedoch keine eigenen bereitstellen. „Angebliche“ Identitätsbedingungen,
wie zum Beispiel die Matrikelnummer, könnten allerdings lediglich „lokale“
Gültigkeit haben. Zum zweiten würde die o.a. Formel keine Differenzierung nach
zeitlichen Aspekten zulassen. Zum dritten sei das Finden von notwendigen und
hinreichenden Identitätsbedingungen sehr schwierig.
Um die o.a. Probleme zu lösen, wird von den Autoren ein alternatives Konzept
vorgeschlagen, um die Identität von Entitäten zu bestimmen.
Definition 4: Ein Prädikat φ trägt die notwendige Identitätsbedingung Σ, für die
gilt:
( E( xt , ) ∧( φ( xt , ) ∧E( yt , ´) ∧φ( yt , ´) ∧ x= y) →Σ( xytt , , , ´)
Ein Prädikat φ trägt die hinreichende Identitätsbedingung Σ, für die gilt:
( E( xt , ) ∧( φ( xt , ) ∧E( yt , ´) ∧( φ( yt , ´) ∧Σ( x, ytt , , ´)) → x=
y
Definition 5: Ein Prädikat besitzt eine Identitätsbedingung, wenn es von einem
Prädikat subsumiert wird, das eine Identitätsbedingung bereitstellt.
Definition 6: Ein Prädikat φ stellt eine Identitätsbedingung genau dann bereit,
wenn:
1) es strikt ist,
2) es beide Bedingungen der Definition 4 erfüllt und
3) die gleiche Identitätsbedingung von keinem der Ober-Prädikate von φ besessen
wird.
Definition 7: Ein Prädikat, das eine Identitätsbedingung besitzt, wird sortal genannt.
Ein Prädikat, das eine (keine) Identitätsbedingung besitzt, wird mit +I (-I) bezeichnet.
Ein Prädikat, das eine (keine) Identitätsbedingung bereitstellt, wird mit +O (-O) bezeichnet.
Während zum Beispiel das Prädikat Person Identitätsbedingungen bereitstellt, besitzt
das Prädikat Student Identitätsbedingungen, die es von Person geerbt hat.
III)
Unity (Einheit)
Das Konstrukt Einheit besteht aus Teilen, die alle miteinander direkt oder indirekt
verbunden sind. Das gesonderte Prädikat P(x,y,t) drückt aus, dass x ein echtes oder