Metamodellierung in der Formalen Begriffsanalyse

Studienarbeiten

• Themenvorschläge für Studien- und Abschlussarbeiten
• Abgeschlossene Arbeiten
  • Algebra und Diskrete Strukturen
  • Algebraische und logische Grundlagen der Informatik
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Wissensbasierte Systeme
• Laufende Studienarbeiten

Toggle side column

Metamodellierung in der Formalen Begriffsanalyse

Verfügbar als Thema einer Bachelorarbeit, Studienarbeit

•   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.