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

KOWIEN-Projektbericht 2/2003 19
Essentialität auf:
Definition 1- rigid property: Eine striktes Prädikat ist eine Eigenschaft, die essentiell
für alle ihre Instanzen ist: ( ∀x, t: φ( x, t) → ∀t´: φ( x, t´))
.
Defintion 2 - non-rigid property: Ein nicht-striktes Prädikat ist eine Eigenschaft,
die nicht essentiell für manche ihrer Instanzen ist: ◊( ∃x : φ( xt , ) ∧◊∃ t´: ¬ φ( xt , ´)) .
Defintion 3 - anti-rigid property: Ein anti-striktes Prädikat ist eine Eigenschaft,
die nicht-essentiell für alle ihre Instanzen ist: ( ∀x, t: φ( x, t) →◊∃ t´: ¬ φ( x, t´))
.
Das Prädikat Person ist beispielsweise strikt, da sämtliche Instanzen davon für alle Zeiten
Personen sind. Das Prädikat Student ist hingegen nicht-strikt, da Instanzen vorstellbar
sind, auf die das Prädikat zeitweise zutrifft und zeitweise nicht. Würde man allerdings
die „gewöhnliche“ Vorstellung unterstellen, dass Personen erst ab einem bestimmten
Alter zu Studenten werden und diese Eigenschaft nach einem unbestimmten
Zeitraum wieder verlieren, wäre das Prädikat Student anti-strikt. Die anti-Striktheit wurde
eingeführt, um die „schwache“ Eigenschaft der nicht-Striktheit zu umgehen. Instanzen
von anti-rigiden Prädikaten müssen möglicherweise den Definitionsbereich des Prädikats
verlassen. Es wird allerdings keine Anforderung genannt, die das Verlassen notwendig
macht.
Die Striktheit eines Prädikats wird mit dem Meta-Prädikat +R bezeichnet. Für nicht-
Striktheit wird -R und für anti-Striktheit wird ~R geschrieben. Die Striktheit eines Prädikats
wird nicht an Sub-Prädikate vererbt. Wenn beispielsweise Student als Sub-
Prädikat von Person angenommen wird ( ∀x : Student( x) → Person( x))
, wird die Striktheit
von Person nicht an Student vererbt, da Person +R und Student ~R gelten. Die nicht- und
anti-Striktheit werden hingegen an Sub-Prädikate vererbt.
II)
Identity (Identität)
Als Identitätsbedingung (identity condition), wird üblicherweise die Formel
φ( x) ∧φ( y) →( ρ( x, y) ↔ x = y)
bezeichnet. Beispiele für Identitätsbedingungen
für Terme, auf die das Prädikat Person zutrifft sind „gleiche Personalausweisnummer“
und „gleicher Fingerabdruck“. WELTY/GUARINO stellen bei der o.a. Formel drei Defekte
fest 1) : Zum ersten würde keine explizite Unterscheidung zwischen dem Bereitstellen
(supplying) und dem Besitz (carrying) einer Identitätsbedingung getrof-
1) Vgl. WELTY/GUARINO (2001) S. 53.