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

KOWIEN-Projektbericht 2/2003 18
der Sprache L 2 , die ebenso auf der Prädikatenlogik erster Ordnung basiert 1) . L 2 dient dazu,
Meta-Prädikate zu benennen, um die Prädikate von L 1 zu klassifizieren. Beispielsweise
wird φ M verwendet, um die Eigenschaft M aus L 2 des Prädikats φ aus L 1 zu repräsentieren.
Beide Sprachen werden um Aspekte der temporalen und modalen Logik erweitert:
Bei allen Prädikaten wird eine zusätzliche Stelle verwendet, die den Zeitpunkt
für den Wahrheitsgehalt des Prädikats angibt. Um die Notwendigkeit oder Möglichkeit
einer Aussage auszudrücken, werden die Modaloperatoren „ “ (Notwendigkeit) und „◊“
(Möglichkeit) eingeführt. Durch den Möglichkeitsoperator ◊ werden die Extensionen
der verwendeten Prädikate auf denkbare Welten erweitert. Somit bleibt die Untersuchung
nicht beschränkt auf Gegebenheiten, die lediglich in der „realen“ Welt zutreffen.
Daher bleibt z.B. der Definitionsbereich des Prädikats Einhorn nicht leer, obwohl in der
Realität keine Einhörner existieren.
Um die tatsächliche Existenz einer Entität auszudrücken, wird das gesonderte Prädikat
E(x,t) verwendet. Damit wird ausgedrückt, dass die Entität x zu einem Zeitpunkt t tatsächlich
existiert. Um Trivialitäten auszuschließen, wird die Untersuchung auf discriminating
properties (unterscheidende Prädikate) eingeschränkt. Die Prädikate dürfen also
weder tautologisch noch kontradiktorisch sein. Somit gilt für alle verwendeten Prädikate:
[ ◊∃x : φ( x)] ∧[ ◊∃ x: ¬ φ( x)]
Es soll also sowohl die Existenz von Individuen, auf die das Prädikat zutrifft, als auch
solcher, auf die das Prädikat nicht zutrifft, möglich sein.
Die grundlegenden Begriffe für ONTOCLEAN sind: rigidity (Striktheit), identity (Identität),
unity (Einheit) und dependence (Fremdabhängigkeit). Sie werden im Folgenden
vorgstellt.
I) Rigidity (Striktheit)
Prädikate, die auf ein Objekt zu allen denkbaren Zeitpunkten zutreffen, werden als
essentiell bezeichnet. Der Begriff der Striktheit baut auf diesem Verständnis für
1) Im eigentlichen Sinne basiert die Sprache L 2 auf der Prädikatenlogik zweiter Ordnung, da in ihr Quantifizierungen
über Prädikate vorgenommen werden. Da allerdings GUARINO/WELTY keine Formeln aus der Sprache
L 2 vorstellen, sondern sämtliche Definitionen, die einen Rückgriff auf die Prädikatenlogik zweiter Stufe erforderlich
machen würden, natürlichsprachlich erklären, wird die Prädikatenlogik zweiter Stufe hier nicht thematisiert.