Metamodellierung in der Formalen Begriffsanalyse

Studienarbeiten

• Themenvorschläge für Studien- und Abschlussarbeiten
• Abgeschlossene Arbeiten
  • Algebra und Diskrete Strukturen
  • Automatentheorie
  • Computational Logic
  • Logische Programmierung und Argumentation
  • Verifikation und formale quantitative Analyse
  • Wissensbasierte Systeme
• Laufende Studienarbeiten

Toggle side column

Metamodellierung in der Formalen Begriffsanalyse

Thema nicht mehr verfügbar

•   Betreuer Sebastian Rudolph
•   Computational Logic
•   Beginn

Formale Begriffsanalyse geht von einer sehr grundlegenden Datenstruktur aus, welche Gegenstände und Merkmale in Beziehung setzt. Manchmal ist es allerdings sinnvoll, darüber hinaus Merkmale von Merkmalen (sogenannte Metamerkmale) zu definieren. Das Ziel dieses Projektes besteht darin, ein Framework für Metamodellierung in der FBA zu entwickeln, einschließlich formaler Definitionen und angemessener Visualisierungen.