imported>DrJoSch: Link zu Pat Hayes ergänzt.

2025-01-15T09:06:38Z

Link zu Pat Hayes ergänzt.

Neue Seite

'''Formale Ontologie''' bezeichnet Projekte ontologischer Theoriebildung, welche sich weitgehend formaler Instrumentarien bedienen, wie sie in den letzten Jahrzehnten in der [[Analytische Ontologie|analytischen Ontologie]] nach dem sogenannten „ontological turn“ entwickelt wurden. Ähnlich wie die formale Logik, die 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]].<ref>Edmund Husserl: ''Logische Untersuchungen''. Zweiter Teil: Untersuchungen zur Phänomenologie und Theorie der Erkenntnis. 2. Aufl. Niemeyer, Halle 1913, 219.</ref> Nach ihm lässt sich die [[reine Logik]] (also jene, welche ''Anwendungen'' auf konkrete Sachverhalte logisch vorausliegt) in eine [[Apophantik|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 [[Analytische Philosophie|analytischen]] Ontologie sowie der [[Informationswissenschaft]] entwickelt. Richtungsweisend war hierbei [[Pat Hayes|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: [http://www.loa-cnr.it/Files/FerrarioSuppes.pdf PDF])
* 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: [http://www.loa-cnr.it/Papers/EKAW-2000.pdf PDF])
* Boris Hennig: What is formal Ontology? Online-Paper 2006 ([http://www.borishennig.de/texte/2006/wifo.pdf PDF])
* Thomas Hofweber: Logic and Ontology, 2004, in: Stanford Encyclopedia of Philosophy, [http://plato.stanford.edu/entries/logic-ontology/#4.3] (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, Peter Simons (Hrsg.): Formal Ontology, Kluwer Academic Press, Dordrecht, 1996.
* L. Schneider: Formalised Elementary Formal Ontology, in: ISIB-CNR Technical Report 03/2002 (online: [http://www.loa-cnr.it/Papers/ISIB03-2002.pdf PDF])
* [[Barry Smith (Ontologe)|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: [http://ontology.buffalo.edu/smith/articles/fois1998.pdf PDF])
* Barry Smith: Beyond Concepts: Ontology as Reality Representation, in: [[Achille Varzi (Philosoph)|Achille Varzi]] and Laure Vieu (Hrsg.), Proceedings of FOIS 2004. International Conference on Formal Ontology and Information Systems, Turin, 4-6 November 2004 (online: [http://ontology.buffalo.edu/bfo/BeyondConcepts.pdf PDF])
* 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: [http://ontology.buffalo.edu/smith//articles/lfo.html])
* 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: [http://ontology.buffalo.edu/smith/articles/FormalOntology.pdf PDF])

== Weblinks ==
* [http://ontology.buffalo.edu/smith/ Homepage von Barry Smith, mit zahlreichen Aufsätzen (Buffalo/Saarbrücken)]
* [http://www.loa-cnr.it/ Laboratory for Applied Ontologie, mit zahlreichen Aufsätzen (Trento/Rom)]
* [https://www.ontology.co/ Materialien zur formalen Ontologie von Raul Corazzon]
* [http://ncor.us/ National Center for Ontological Research (NCOR), Buffalo]
* [http://www.gi-ev.de/service/informatiklexikon/informatiklexikon-detailansicht/meldung/57/ Artikel im Informatiklexikon]
* [http://www.stoqnet.org/lat_notes.html Nino Cocchiarella: Elements of Formal Ontology]
* [http://mally.stanford.edu/theory.html Edward N. Zalta: The Theory of Abstract Objects. Mit Aufsätzen und einer Videopräsentation]

== Einzelnachweise ==
<references/>

[[Kategorie:Ontologie]]

Formale Ontologie - Versionsgeschichte

imported>DrJoSch: Link zu Pat Hayes ergänzt.