Dieses Projekt l\u00e4sst sich als Bachelor- und als Masterprojekt anrechnen.<\/p>\n\n\n\n
Das Fachgebiet Wissensverarbeitung forscht an der Entwicklung von Methoden zur Wissensentdeckung und Wissensrepr\u00e4sentation (Approximation und Exploration von Wissen, Ordnungsstrukturen in Wissen, Ontologieentwicklung) in Daten als auch in der Analyse von (sozialen) Netzwerkdaten und damit verbundenen Wissensprozessen (Metriken in Netzwerken, Anomalieerkennung, Charakterisierung von sozialen Netzwerken). Dabei liegt ein Schwerpunkt auf der exakten algebraischen Modellierung der verwendeten Strukturen und auf der Evaluierung und Neuentwicklung von Netzwerkma\u00dfen. Neben der Erforschung von Grundlagen in den Gebieten Ordnungs- und Verbandstheorie, Beschreibungslogiken, Graphentheorie und Ontologie werden auch Anwendungen \u2013 bspw. in sozialen Medien sowie in der Szientometrie \u2013 erforscht. <\/p>\n\n\n\n
In diesem Umfeld bietet das Fachgebiet regelm\u00e4\u00dfig eine Reihe von Projektthemen an. Die einzelnen Themen sind im Folgenden beschrieben:<\/p>\n\n\n
Structural patterns such as n-dimensional cubes, diamonds (M3\u200b), or pentagons (N5\u200b) frequently occur in lattices of real-world data. Identifying and highlighting these well-known sublattices simplifies the interpretation of complex relational data by anchoring the visualization to familiar geometric forms. This project aims to develop a drawing algorithm that detects a predefined sublattice, pins its nodes to fixed positions, and subsequently arranges the remaining structure around this scaffold to investigate how different anchor choices improve lattice readability.<\/p>\n\n\n\n
Inquiries: Marcel N\u00f6hre<\/a><\/p>\n\n\n\n <\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Bachelorarbeit<\/a>, Masterarbeit<\/a>, Methodischer Schwerpunkt<\/a><\/span><\/div> Doubly-additive line diagrams define a concept’s position as the sum of vectors from its extent and complement intent, which naturally produces parallelograms, making the lattice easier to read and enabling interactive features such as drag-and-drop editing. However, the core challenge lies in finding a vector assignment that yields a readable drawing rather than a cluttered one. Therefore, this project aims to extend the force-directed approach of Ralph Freese’s lattice drawing algorithm by optimizing base vectors, rather than refining node positions directly.<\/p>\n\n\n\n Inquiries: Marcel N\u00f6hre<\/a><\/p>\n\n\n\n <\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Bachelorarbeit<\/a>, Masterarbeit<\/a>, Methodischer Schwerpunkt<\/a><\/span><\/div> \n In the book Conceptual Exploration<\/i> by Ganter and Obiedkov (2016),\n Section 4.2.2 gives the example of exploring the different ways of arranging\n two squares in two dimensions. Later, in Section 6.1.1, the authors also consider\n part of the problem for the case of three squares. In this mostly theoretical\n project or thesis, we want to consider the complete case of three squares and, if\n possible, compute the lattice for the general four square setting.\n<\/p>\n\n\n\n Inquiries: Tobias Hille<\/a><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Bachelorarbeit<\/a>, Masterarbeit<\/a>, Methodischer Schwerpunkt<\/a><\/span><\/div> How much a municipality or city receives in its annual budget through the federal equalization mechanism depends on a huge number of factors, the interaction of which is difficult for out- and insiders to understand. For example, it is not only the municipality’s own tax revenue that is decisive, but also indirectly the population in the other municipalities. The aim of the project is to provide a tool with which the calculations can be carried out automatically and, if possible, presented in a graphically appealing way. In addition to finding and entering raw data, the difficulties of the project are the sometimes changing legal regulations over time. Nevertheless, the main scientific focus will be on how sensitive the system is to the parameter of the “Grundsteuer-Hebesatz”, which can be set by each local authority.<\/p>\n\n\n\n Note: In terms of content, this project is very much geared towards dual students of the tax office, as a great deal of specialized knowledge will be required. Nevertheless, the topic is of course open to all students.<\/p>\n\n\n\n Inquiries: Tobias Hille<\/a><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Methodischer Schwerpunkt<\/a>, Technischer Schwerpunkt<\/a><\/span><\/div> In the Birkhoff completion<\/a>, certain concepts, especially in the lower part of the lattice, are generated by new objects derived from implications. However, these objects may introduce inconsistent or unrealistic combinations of attributes. Truncating the lattice by eliminating such inconsistencies ensures a more meaningful and applicable structure, particularly in real-world scenarios. This project aims to study the truncated Birkhoff completion<\/strong> as a method for addressing inconsistencies<\/strong> that arise in lattice structures generated through the Birkhoff completion of non-distributive lattices.<\/p>\n\n\n\n Inquiries: Mo Abdulla<\/a><\/p>\n\n\n\n <\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Masterarbeit<\/a>, Methodischer Schwerpunkt<\/a><\/span><\/div> \n Formalization of a large number of definitions and theorems in Algebra, Number\n Theory and Analysis in\n the lean\n prover<\/a> brings the field of formal theorem proving to the forefront of\n mathematical research. However, mathematical notions and results from the\n field of Formal Concept Analysis are not yet included. Thus, the goal of this\n project (or thesis) is to formally prove the “Basic Theorem on Concept\n Lattices” (or a comparable result), in order to provide a stepping stone in\n this direction. Essentially, this involves building core definitions and\n necessary preliminary results\n by extending\n existing ones<\/a>. We will aim to build\n a lean blueprint<\/a>\n and if you are only interested in a small project, we will find a reasonable\n partial realization to stop at.\n<\/p>\n\n\n\n Inquiries: Tobias Hille<\/a><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Bachelorarbeit<\/a>, Masterarbeit<\/a>, Methodischer Schwerpunkt<\/a>, Technischer Schwerpunkt<\/a><\/span><\/div> \n The project aims to develop a machine learning model that can detect (simple) graphs in images.\n This involves not only an extensive literature review but also gathering useful training data.\n Moreover, we need to train the model to recognize and segment images containing graphs.\n The project will use image classification algorithms and techniques to achieve this goal.\n Completing individual parts may already be enough for a successful conclusion.\n You will build upon work done by previous participants.\n Inquiries: Tobias Hille<\/a><\/p>\n<\/div> Kategorien:<\/span> Allgemein<\/a>, Bachelorarbeit<\/a>, Masterarbeit<\/a>, Methodischer Schwerpunkt<\/a>, Technischer Schwerpunkt<\/a><\/span><\/div><\/div>\n\n\n\n Weitere Themen auf Nachfrage.<\/p>\n\n\n\n Nach Absprache mit dem jeweiligen Betreuer. Je nach Thema kann die Aufgabe in Kleingruppen oder einzeln bearbeitet werden.<\/p>\n\n\n\n Montag, 20.4.2026, 16.00 Uhr in Raum 0445\/E im Fachgebiet. Informatik Grundstudium<\/p>\n\n\n\n Informatik Bachelor und Master, Math. NF Inf. Hauptstudium<\/p>\n\n\n\n 6 oder 12 Credits im Bachelor, bzw. 8 Credits im Master<\/p>\n\n\n\n Implementierung, schriftliche Ausarbeitung und zwei Vortr\u00e4ge (bei 6 Credits 20 min, bei 8\/12 Credits 30 min, jeweils zzgl. ca 15 min Diskussion)<\/p>\n\n\n\n Prof. Dr. Gerd Stumme<\/a>, Mo Abdulla<\/a>, Tobias Hille<\/a>, Marcel N\u00f6hre<\/a><\/p>\n\n\n\n In der Regel sollte die Projektarbeit mit Semesterbeginn begonnen werden. Nach 4-6 Wochen findet eine Zwischenpr\u00e4sentation statt, in der der Stand der Projektarbeit vorgestellt wird. In der Regel in der ersten Vorlesungswoche des folgenden Semesters werden dann die Endergebnisse vorgestellt. Eine kurze Beschreibung der Arbeit (5 Seiten) ist 3 Tage vor dem Vortrag einzureichen.<\/p>\n\n\n\n Eine Woche nach der Annahme des Themas gibt die\/der Studierende eine einseitige Beschreibung der Aufgabe, sowie einen Arbeitsplan f\u00fcr das Semester ab. Zur besseren Koordination und Kommunikation wird erwartet, dass die\/der Studierende bei einem 6(8-12) Credits-Projekt regelm\u00e4\u00dfig an einem (zwei) Tagen in der Softwarewerkstatt anwesend ist. Der genaue Tag ist in Absprache mit der\/m Betreuer festzulegen.<\/p>\n\n\n\n Als Richtlinie f\u00fcr die Erstellung einer guten Ausarbeitung wird das Buch<\/p>\n\n\n\n Markus Deininger and Horst Lichter and Jochen Ludewig and Kurt Schneider. Studien-Arbeiten: ein Leitfaden zur Vorbereitung, Durchf\u00fchrung und Betreuung von Studien-, Diplom- Abschluss- und Doktorarbeiten am Beispiel Informatik. 5. Auflage. vdf Hochschulverlag, Z\u00fcrich, 2005.<\/p>\n<\/blockquote>\n\n\n\n empfohlen, welches in der Bibliothek im Semesterapparat des Fachgebiets Wissensverarbeitung ausliegt, und welches auch in einigen Exemplaren ausleihbar ist. Wir empfehlen die Anschaffung dieses Buchs (9,50 \u20ac), da es Sie bis zur Masterarbeit (und weiter) begleiten kann.<\/p>\n\n\n\n Alle verwendeten Referenzen sind zus\u00e4tzlich zum Literaturverzeichnis der Ausarbeitung in BibSonomy<\/a> einzugeben, mit den Tags “projekt kde < laufendes Semester in der Form ss26 bzw. ww26 > ” und weiteren sinnvollen Tags.<\/p>\n","protected":false},"excerpt":{"rendered":" Projekt Knowledge Discovery and Data Engineering Dieses Projekt l\u00e4sst sich als Bachelor- und als Masterprojekt anrechnen. Das Fachgebiet Wissensverarbeitung forscht an der Entwicklung von Methoden zur Wissensentdeckung und Wissensrepr\u00e4sentation (Approximation und Exploration von Wissen, Ordnungsstrukturen Read more…<\/a><\/p>\n","protected":false},"author":15,"featured_media":0,"parent":10413,"menu_order":9,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-10417","page","type-page","status-publish","hentry"],"translation":{"provider":"WPGlobus","version":"3.0.2","language":"en","enabled_languages":["de","en"],"languages":{"de":{"title":true,"content":true,"excerpt":false},"en":{"title":false,"content":false,"excerpt":false}}},"_links":{"self":[{"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/pages\/10417","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/users\/15"}],"replies":[{"embeddable":true,"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/comments?post=10417"}],"version-history":[{"count":5,"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/pages\/10417\/revisions"}],"predecessor-version":[{"id":10486,"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/pages\/10417\/revisions\/10486"}],"up":[{"embeddable":true,"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/pages\/10413"}],"wp:attachment":[{"href":"https:\/\/www.kde.cs.uni-kassel.de\/en\/wp-json\/wp\/v2\/media?parent=10417"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}A Doubly-Additive Extension of Freese’s Algorithm<\/h3>\n\n\n\n
The Lattice of Relations between Multiple Squares<\/h3>\n\n\n\n
Simulating “Kommunaler Finanzausgleich”<\/h3>\n\n\n\n
The Truncated Birkhoff Completion<\/h3>\n\n\n\n
Formalizing Results of Formal Concept Analysis<\/h3>\n\n\n\n
Detecting Graphs in Images<\/h3>\n\n\n\n
Most (if not all) of the programming will be done in Python.\n<\/p>\n\n\n\nAufgabenstellung und Termin<\/h3>\n\n\n\n
Projektvorbesprechung<\/h3>\n\n\n\n
Bei Interesse k\u00f6nnen Sie auch gerne vorab den jeweiligen Betreuer ansprechen.<\/p>\n\n\n\nVorkenntnisse<\/h3>\n\n\n\n
Angesprochener H\u00f6rendenkreis<\/h3>\n\n\n\n
Umfang<\/h3>\n\n\n\n
Leistungsnachweis<\/h3>\n\n\n\n
Veranstalter<\/h3>\n\n\n\n
Ablauf<\/h3>\n\n\n\n
\n