Formale Ontologie

Formale Ontologie

Formale Ontologie bezeichnet Projekte ontologischer Theoriebildung, welche sich weitgehend formaler Instrumentarien bedienen, wie sie in den letzten Jahrzehnten in der analytischen Ontologie nach dem sogenannten "ontological turn" entwickelt wurden. Ähnlich wie die formale Logik keine konkreten Gehalte studiert, sondern logische Beziehungen im Allgemeinen, beschreibt die formale Ontologie allgemeine Eigenschaften, Beziehungen, Identifikations- und Identitätskriterien von Objekten überhaupt. Teilweise bilden dabei unsere Urteile über die Strukturen der Wirklichkeit den Ausgangspunkt der Untersuchung.

Zur praktischen Anwendung zur Wissensrepräsentation von einigen Projekten formaler Ontologie vgl. Ontologie (Informatik).

Begriffsgeschichte

Den Begriff formale Ontologie gebrauchte zuerst Edmund Husserl. Nach ihm lässt sich die reine Logik (also jene, welche Anwendungen auf konkrete Sachverhalte logisch vorausliegt) in eine apophantische Logik und eine formale Ontologie gliedern. Erstere ist die Logik der Bedeutungskategorien (Begriff, Satz, etc). Letztere bezeichnet eine formale Theorie der Gegenstände.

Besonders seit den 1980er Jahren werden Theorien der formalen Ontologie auch im Kontext der analytischen Ontologie sowie der Informationswissenschaft entwickelt. Richtungsweisend war hierbei Patrick Hayes. In einem frühen Manifest von 1979 formulierte er das Programm einer Formalisierung des Alltagsverständnisses über die aktuale Welt. Dies weichte er später in Richtung einer formalen Theorie der Strukturen möglicher Welten auf. Diese Versuche sind auch anwendbar auf Probleme der Organisation von Information etwa in umfangreichen Datenbanken.

Literatur

  • R. Ferrario: Who Cares about Axiomatization? Representation, Invariance, and Formal Ontologies, in: Epistemologia, Special Issue on the Philosophy of Patrick Suppes (2) 2006 (online: [1])
  • N. Guarino, C. Welty: A Formal Ontology of Properties, in: R. Dieng, O. Corby (Hrsg.), Knowledge Engineering and Knowledge Management: Methods, Models and Tools. 12th International Conference, EKAW2000. Springer Verlag, 97-112 (online: [2])
  • Boris Hennig: What is formal Ontology? Online-Paper 2006 ([3])
  • Thomas Hofweber: Logic and Ontology, 2004, in: Stanford Encyclopedia of Philosophy, [4] (mit weiterer Literatur und Weblinks)
  • E. Jonathan Lowe: Formal Ontology and the Revival of Metaphysics. In: Matthias Lutz-Bachmann (Hg.): Metaphysik heute - Probleme und Perspektiven der Ontologie. Alber, Freiburg 2007, S. 76-93
  • Uwe Meixner: Einführung in die Ontologie, Wissenschaftl. Buchges., Darmstadt, 2004, ISBN 3-534-15458-4
  • Roberto Poli, P. Simons (Hrsg.): Formal Ontology, Kluwer Academic Press, Dordrecht, 1996.
  • Barry Smith: Basic Tools of Formal Ontology, in: Nicola Guarino (Hrsg.), Formal Ontology in Information Systems, Amsterdam, Oxford, Tokyo, Washington, DC: IOS Press (Frontiers in Artificial Intelligence and Applications), 1998, 19–28 (online: [5])
  • Barry Smith: Beyond Concepts: Ontology as Reality Representation, in: Achille Varzi and Laure Vieu (Hrsg.), Proceedings of FOIS 2004. International Conference on Formal Ontology and Information Systems, Turin, 4-6 November 2004 (online: [6] )
  • Barry Smith: Logic and Formal Ontology, in: J. N. Mohanty / W. McKenna (Hrsg.): Husserl's Phenomenology: A Textbook, Lanham: University Press of America 1989, 29-67 (online: [7])
  • Barry Smith (Hrsg.): Parts and moments. Studies in logic and formal ontology, München u.a. 1982
  • Barry Smith: Kevin Mulligan: Framework for Formal Ontology, in: Topoi, 3 (1983), 73-85 (online: [8] )
  • L. Schneider: Formalised Elementary Formal Ontology, in: ISIB-CNR Technical Report 03/2002 (online: [9])

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Ontologie (Informatik) — Ontologien in der Informatik sind meist sprachlich gefasste und formal geordnete Darstellungen einer Menge von Begrifflichkeiten und der zwischen ihnen bestehenden Beziehungen in einem bestimmten Gegenstandsbereich. Sie werden dazu genutzt,… …   Deutsch Wikipedia

  • Ontologie — Begriffshierarchie; Relationen zwischen Begriffen * * * On|to|lo|gie 〈f. 19; unz.; Philos.〉 Lehre vom Sein u. seinen Prinzipien [<grch. ont , on „seiend“ + logos „Wort, Lehre“] * * * On|to|lo|gie, die; , n ↑ [ logie]: 1. (Philos.) Lehre vom… …   Universal-Lexikon

  • Ontologie — Die Ontologie (griechisch ὄν, on, „seiend“, als Partizip Präsens zu εἶναι, einai, „sein“, und λόγος, logos, „Lehre, Wort“) ist eine Disziplin der theoretischen Philosophie. In der Ontologie geht es in einer allgemeinen Begriffsverwendung um… …   Deutsch Wikipedia

  • Formale Begriffsanalyse — Ein formaler Kontext zu Eigenschaften der Zahlen 1 10. Begriffsverband zum obigen Zahlenkontext …   Deutsch Wikipedia

  • Klasse (Ontologie) — Dieser Artikel wurde aufgrund von inhaltlichen Mängeln auf der Qualitätssicherungsseite der Redaktion Informatik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Informatik auf ein akzeptables Niveau zu bringen. Hilf… …   Deutsch Wikipedia

  • Kategorientafel — Unter Kategorien (griech. kategoria u. a. Anklage, später Eigenschaft, Aussage oder Prädikat) versteht man in der Logik Grundbegriffe, innerhalb der Ontologie und Metaphysik Grundmerkmale des Seienden. Da das Verb kategorein ins Lateinische… …   Deutsch Wikipedia

  • Uwe Meixner — (* 10. Dezember 1956 in Bayreuth) ist ein deutscher Philosoph. Seine Hauptarbeitsgebiete sind Metaphysik, Formale Ontologie, Logik und Geschichte der Philosophie. Inhaltsverzeichnis 1 Biographie 2 Einzelnachweise 3 …   Deutsch Wikipedia

  • Kategorie (Philosophie) — Unter Kategorien (griech. kategoria u. a. Anklage, später Eigenschaft, Aussage oder Prädikat) versteht man in der Logik Grundbegriffe, innerhalb der Ontologie und Metaphysik Grundmerkmale des Seienden. Da das Verb kategorein ins Lateinische… …   Deutsch Wikipedia

  • Substanzbegriff — Substanz ist nach dem lateinischen Wort substantia „das, woraus etwas besteht“. Inhaltsverzeichnis 1 Naturwissenschaften 2 Philosophie 2.1 Antike und Mittelalter 2.2 Neuzeit 2.3 20. Jahrhundert und Gegenwart …   Deutsch Wikipedia

  • Substanzen — Substanz ist nach dem lateinischen Wort substantia „das, woraus etwas besteht“. Inhaltsverzeichnis 1 Naturwissenschaften 2 Philosophie 2.1 Antike und Mittelalter 2.2 Neuzeit 2.3 20. Jahrhundert und Gegenwart …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”