Vergleichende Buchbesprechung: Ontologien

摘要

„Maschinen verstehen, was Menschen meinen" - so lautet der provokante Titel eines Interviews mit Tim Berners-Lee in der Computer Zeitung vom 7. Juni 2004. „Anwender haben jetzt begriffen, dass es bei Ontologien nicht um philosophische Fragen geht" wird der Erfinder des World Wide Web und der Promotor der Semantic-Web-Technologie zitiert. Nein, es geht bei Ontologien in der Tat nicht um philosophische Fragen. Was aber innerhalb ihrer diversen Darstellungen von einem wissenschaftlichen Standpunkt aus unbedingt verankert sein sollte, ist die heute bekannte Sprachtheorie. Ein bedeutender Fortschritt derselben ist beispielsweise die Entdeckung Lorenzens, dass das in Kap. 4.3 bereits erwähnte „semiotische Dreieck" in einen Tetraeder der Begriffstheorie [Lore87] umzuwandeln ist. Sonst weiß man nie, ob bei Begriffen nun von irgendwelchen geistigen Inhalten in den Köpfen der Menschen, die von Lorenzen Vorstellungen genannt werden, die Rede ist oder von abstrakten Gegenständen. So gibt es z. B. das Problem der Psychologisierung in Logik und Mathematik. In der Informatik ist dies insbesondere deshalb von Bedeutung, weil es Gebiete gibt (z. B. die Kognitionswissen-schaft), die für dieses Fach bzw. seine verschiedenen Richtungen relevant sind und für die es unabdingbar ist, eine solche Differenzierung durchzuführen. Wer nicht klar sagt, was unter Begriffen in einem zu untersuchenden Kontext zu verstehen ist, läuft Gefahr, dieser Psychologisierung zum Opfer zu fallen. Dies ist aber schon allein deswegen unnötig, weil mit Schema und Ausprägungen (Kuno Lorenz), Type und Token (Charles S. Peirce) und Sprachper-formanz und Sprachkompetenz (Noam Chomsky) gleich mehrere antipsychologische Theorien zur Verfügung stehen, die heute den Ausgangspunkt einer jeden (for-mal-)logischen Sprachtheorie bilden. Nichts spricht dagegen, dass eben diese in einem Folgeschritt entweder in Richtung einer Dijkstraschen „mechanical symbol manipulation" auf Seiten der Rechnersysteme oder etwa in Richtung einer „human symbol manipulation" auf Seiten der Anwender bzw. allgemein der Menschen weiter entwickelt werden [Dijk89]. Genau so sähe eben ein adäquater Fortschritt in Tim Berners-Lee Zielprojektion „Maschinen verstehen, was Menschen meinen" heute aus.