Ungelöste Probleme von Ontologien

Ungelöste Probleme von Ontologien#

Diese Seite: Skizzen, Ergebnissicherungen etc. zur gleichnamigen Barcamp-Session auf dem Forschungstreffen 24264 Applied Machine Intelligence 2024 (26. Jun – 28. Jun, 2024)

https://www.dagstuhl.de/24264

Verantwortlich für diese Seite:

  • Inhalte: Anatol Reibold, Cardisio

  • Redaktion, Publikation: Johannes Busse

Barcamp-Session Anatol Do 2024-06-27, 9-10 Uhr#

Damals: Christian Wolf, Marburg https://de.wikipedia.org/wiki/Christian_Wolff_(Aufklärer) … glaubte: Eine gute Strukturierung von Begriffen reicht aus für die Strukturierung von Wissensgebieten … Opponent: Leonard Euler https://de.wikipedia.org/wiki/Leonhard_Euler

Heute: Grundbegriffe, Grundrelationen, Axiome … recht das, um Zusammenhänge zwischen Wissenseinheit zu erschließen? … vergessen hat man: numerische Mathematik; Linguistik …

Was schlagen wir vor?

  • Ein Welche wissenschaftlichen Fragestellungen im Feld Ontologie sind interessant und ungelöst?

Ähnlich https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics, https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_physics

Beispiele#

Beispiele, spontan zugeworfen:

  • Polysemie (Michael D.)

  • Was kann unter “Ontologie” verstehen, abhängig vom Anwendungsgebiet … abhängig von der Zielsetzung

  • Muss eine Ontologie formal sein? … Die Welt ist immer komplexer, als alle Regeln, die man formulieren kann

  • strukturierter Kosmos von Ontologiebegriffen

  • was formalisieren wir voll und formal, was semiformal – und was gar nicht? …

  • pragmatische Teil-Implementierungen (z.B. RDF) stehen z.T. in Konflikt zur “oberen” logischen Theorie: ist das schlecht oder gut?

  • Umgang mit unterschiedlichen, untereinander widersprüchlichen Ontologien … in der selben Domäne; in unterschiedlichen Domänen, mit sich überlappenden Begriffen … Versionskonflikte, Lösung: Darwinimus (USA) vs. geordnete Diktatur (Europa, Joint Technical Comittee https://jtc1info.org/) … Darwinismus funktioniert leicht besser

  • ontology alignment

  • reasoning on imperfect knowledge … superperfect knowledge

  • hhtprage-14 Problem … die Welt hat aufgegeben, es lösen zu wollen

  • Linked Data, security: Welche nicht verifizieren Daten wollen wir unter welchen Bedingungen in unser System lassen? … es gibt Access Control Semantiken

  • “hinter jedem Dokument müsste ein Ontologe stehen” … Zustimmung im Plenum – auch, dass das das ein ungelöstes (und vermutlich unlösbares) Problem ist

  • Verschiedene Menschen haben eine Auto Machine Learning Ontologie gebaut: Wie können wir diese vergleichen? Evaluieren? Welche nehmen? …

  • Vertrauensverhätnisse … aufgetreten 2002, Nasa, Anwendungsfall procurement, provenance

  • Was kommt als nächstes, nach Ontologie?

andere Wissenschaften:

Diskussion#

Anfrage – mit kritischem Unterton – aus dem Publikum: “Dieser Anspruch ist enorm hoch!” … Angst um die Aufklärun … wir können uns blamieren, wenn wir Probleme benennen