Conceptual structures represented by conceptual graphs and formal concept analysis

Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation by Peirce's Pragmatism, and the aim of representing and processing knowledge. These concerns open rich possibilities of interplay and integration. We discuss the philosophical foundations of both disciplines, and analyze their specific qualities. Based on this analysis, we discuss some possible approaches of interplay and integration.

Dynamic Injection of Scribble Features into Graphical Diagram Editors

Almost everyone sketches. People use sketches day in and day out in many different and heterogeneous fields, to share their thoughts and clarify ambiguous interpretations, for example. The media used to sketch varies from analog tools like flipcharts to digital tools like smartboards. Whereas analog tools are usually affected by insufficient editing capabilities like cut/copy/paste, digital tools greatly support these scenarios. Digital tools can be grouped into informal and formal tools. Informal tools can be understood as simple drawing environments, whereas formal tools offer sophisticated support to create, optimize and validate diagrams of a certain application domain. Most digital formal tools force users to stick to a concrete syntax and editing workflow, limiting the user’s creativity. For that reason, a lot of people first sketch their ideas using the flexibility of analog or digital informal tools. Subsequently, the sketch is "portrayed" in an appropriate digital formal tool. This work presents Scribble, a highly configurable and extensible sketching framework which allows to dynamically inject sketching features into existing graphical diagram editors, based on Eclipse GEF. This allows to combine the flexibility of informal tools with the power of formal tools without any effort. No additional code is required to augment a GEF editor with sophisticated sketching features. Scribble recognizes drawn elements as well as handwritten text and automatically generates the corresponding domain elements. A local training data library is created dynamically by incrementally learning shapes, drawn by the user. Training data can be shared with others using the WebScribble web application which has been created as part of this work.

Conceptual knowledge processing with formal concept analysis and ontologies

Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms may complement another from an application point of view. In particular, we will see how FCA can be used to support Ontology Engineering, and how ontologies can be exploited in FCA applications. The interplay of FCA and ontologies is studied along the life cycle of an ontology: (i) FCA can support the building of the ontology as a learning technique. (ii) The established ontology can be analyzed and navigated by using techniques of FCA. (iii) Last but not least, the ontology may be used to improve an FCA application.

Ontology merging with formal concept analysis

Ontologies have been established for knowledge sharing and are widely used as a means for conceptually structuring domains of interest. With the growing usage of ontologies, the problem of overlapping knowledge in a common domain becomes critical. In this short paper, we address two methods for merging ontologies based on Formal Concept Analysis: FCA-Merge and ONTEX. --- FCA-Merge is a method for merging ontologies following a bottom-up approach which offers a structural description of the merging process. The method is guided by application-specific instances of the given source ontologies. We apply techniques from natural language processing and formal concept analysis to derive a lattice of concepts as a structural result of FCA-Merge. The generated result is then explored and transformed into the merged ontology with human interaction. --- ONTEX is a method for systematically structuring the top-down level of ontologies. It is based on an interactive, top-down- knowledge acquisition process, which assures that the knowledge engineer considers all possible cases while avoiding redundant acquisition. The method is suited especially for creating/merging the top part(s) of the ontologies, where high accuracy is required, and for supporting the merging of two (or more) ontologies on that level.

Institutions, Behavior and Evolution

The three articles constituting this thesis are for reasons of content or method related to the following three fields in economics: Behavioral Economics, Evolutionary Game Theory and Formal Institutional Economics. A core element of these fields is the concept of individual preferences. Preferences are of central importance for the conceptional framework to analyze human behavior. They form the foundation for the theory of rational choice which is defined by the determination of the choice set and the selection of the most preferred alternative according to some consistency requirements. The theory of rational choice is based on a very simplified description of the problem of choice (object function and constraints). However, that choices depend on many more factors is for instance propagated by psychological theories and is supported by many empirical and experimental studies. This thesis adds to a better understanding of individual behavior to the extent that the evolution of certain characteristics of preferences and their consequences on human behavior forms the overarching theme of the dissertation. The long-term effect of evolutionary forces on a particular characteristic of importance in the theoretical, empirical and experimental economic literature, the concept of inequality aversion, is subject of the article “The evolution of inequality aversion in a simplified game of life” (Chapter 4). The contribution of the article is the overcoming of a restriction of former approaches to analyze the evolution of preferences in very simple environments. By classifying human interaction into three central economic games, the article provides a first step towards a simplified and sufficiently complete description of the interaction environment. Within such an environment the article characterizes the evolutionary stable preference distribution. One result shows, that the interaction of the aforementioned three classes can stabilize a preference of inequality aversion in the subpopulation which is favored in the problem of redistribution. The two remaining articles are concerned with social norms, which dissemination is determined by medium-run forces of cultural evolution. The article “The impact of market innovations on the evolution of social norms: the sustainability case.“ (Chapter 2) studies the interrelation between product innovations which are relevant from a sustainability perspective and an according social norm in consumption. This relation is based on a conformity bias in consumption and the attempt to avoid cognitive dissonances resulting from non-compliant consumption. Among others, it is shown that a conformity bias on the consumption side can lead to multiple equilibria on the side of norm adoption. The article “Evolution of cooperation in social dilemmas: signaling internalized norms.” (Chapter 3) studies the emergence of cooperation in social dilemmas based on the signaling of social norms. The article provides a potential explanation of cooperative behavior, which does not rely on the assumption of structured populations or on the unmotivated ability of social norms to restrict individual actions or strategy spaces. A comprehensive result of the single articles is the explanation of the phenomenon of partial norm adaption or dissemination of preferences. The plurality of the applied approaches with respect to the proximity to the rational choice approach and regarding the underlying evolutionary mechanics is a particular strength of the thesis. It shows the equality of these approaches in their potential to explain the phenomenon of cooperation in environments that provide material incentives for defective behavior. This also points to the need of a unified framework considering the biological and cultural coevolution of preference patterns.

Fehlersuche im Modell - Modellbasiertes Testen und Debuggen

Kern der vorliegenden Arbeit ist die Erforschung von Methoden, Techniken und Werkzeugen zur Fehlersuche in modellbasierten Softwareentwicklungsprozessen. Hierzu wird zuerst ein von mir mitentwickelter, neuartiger und modellbasierter Softwareentwicklungsprozess, der sogenannte Fujaba Process, vorgestellt. Dieser Prozess wird von Usecase Szenarien getrieben, die durch spezielle Kollaborationsdiagramme formalisiert werden. Auch die weiteren Artefakte des Prozess bishin zur fertigen Applikation werden durch UML Diagrammarten modelliert. Es ist keine Programmierung im Quelltext nötig. Werkzeugunterstützung für den vorgestellte Prozess wird von dem Fujaba CASE Tool bereitgestellt. Große Teile der Werkzeugunterstützung für den Fujaba Process, darunter die Toolunterstützung für das Testen und Debuggen, wurden im Rahmen dieser Arbeit entwickelt. Im ersten Teil der Arbeit wird der Fujaba Process im Detail erklärt und unsere Erfahrungen mit dem Einsatz des Prozesses in Industrieprojekten sowie in der Lehre dargestellt. Der zweite Teil beschreibt die im Rahmen dieser Arbeit entwickelte Testgenerierung, die zu einem wichtigen Teil des Fujaba Process geworden ist. Hierbei werden aus den formalisierten Usecase Szenarien ausführbare Testfälle generiert. Es wird das zugrunde liegende Konzept, die konkrete technische Umsetzung und die Erfahrungen aus der Praxis mit der entwickelten Testgenerierung dargestellt. Der letzte Teil beschäftigt sich mit dem Debuggen im Fujaba Process. Es werden verschiedene im Rahmen dieser Arbeit entwickelte Konzepte und Techniken vorgestellt, die die Fehlersuche während der Applikationsentwicklung vereinfachen. Hierbei wurde darauf geachtet, dass das Debuggen, wie alle anderen Schritte im Fujaba Process, ausschließlich auf Modellebene passiert. Unter anderem werden Techniken zur schrittweisen Ausführung von Modellen, ein Objekt Browser und ein Debugger, der die rückwärtige Ausführung von Programmen erlaubt (back-in-time debugging), vorgestellt. Alle beschriebenen Konzepte wurden in dieser Arbeit als Plugins für die Eclipse Version von Fujaba, Fujaba4Eclipse, implementiert und erprobt. Bei der Implementierung der Plugins wurde auf eine enge Integration mit Fujaba zum einen und mit Eclipse auf der anderen Seite geachtet. Zusammenfassend wird also ein Entwicklungsprozess vorgestellt, die Möglichkeit in diesem mit automatischen Tests Fehler zu identifizieren und diese Fehler dann mittels spezieller Debuggingtechniken im Programm zu lokalisieren und schließlich zu beheben. Dabei läuft der komplette Prozess auf Modellebene ab. Für die Test- und Debuggingtechniken wurden in dieser Arbeit Plugins für Fujaba4Eclipse entwickelt, die den Entwickler bestmöglich bei der zugehörigen Tätigkeit unterstützen.

Decent work?

Pastoralism and ranching are two different rangeland-based livestock systems in dryland areas of East Africa. Both usually operate under low and irregular rainfall and consequently low overall primary biomass production of high spatial and temporal heterogeneity. Both are usually located far from town centres, market outlets and communication, medical, educational, banking, insurance and other infrastructure. Whereas pastoralists can be regarded as self-employed, gaining their livelihood from managing their individually owned livestock on communal land, ranches mostly employ herders as wage labourers to manage the livestock owned by the ranch on the ranches’ own land property. Both production systems can be similarly labour intensive and – with regard to the livestock management – require the same type of work, whether carried out as self-employed pastoralist or as employed herder on a work contract. Given this similarity, the aim of this study was to comparatively assess how pastoralists and employed herders in northern Kenya view their working conditions, and which criteria they use to assess hardship and rewards in their daily work and their working life. Their own perception is compared with the concept of Decent Work developed by the International Labour Organisation (ILO). Samburu pastoralists in Marsabit and Samburu Districts as well as herders on ranches in Laikipia District were interviewed. A qualitative analysis of 47 semi-structured interviews yielded information about daily activities, income, free time, education and social security. Five out of 22 open interviews with pastoralists and seven out of 13 open interviews with employed herders fully transcribed and subjected to qualitative content analysis to yield life stories of 12 informants. Pastoralists consider it important to have healthy and satisfied animals. The ability to provide food for their family especially for the children has a high priority. Hardships for the pastoralists are, if activities are exhausting, and challenging, and dangerous. For employed herders, decent conditions are if their wages are high enough to be able to provide food for their family and formal education for their children. It is further most important for them to do work they are experienced and skilled in. Most employed herders were former pastoralists, who had lost their animals due to drought or raids. There are parallels between the ILO ‘Decent Work’ concept and the perception of working conditions of pastoralists and employed herders. These are, for example, that remuneration is of importance and the appreciation by either the employer or the community is desired. Some aspects that are seen as important by the ILO such as safety at work and healthy working conditions only play a secondary role to the pastoralists, who see risky and dangerous tasks as inherent characteristics of their efforts to gain a livelihood in their living environment.

Gone with the internet - How the old education was lost

Despite its young history, Computer Science Education has seen a number of "revolutions". Being a veteran in the field, the author reflects on the many changes he has seen in computing and its teaching. The intent of this personal collection is to point out that most revolutions came unforeseen and that many of the new learning initiatives, despite high financial input, ultimately failed. The author then considers the current revolution (MOOC, inverted lectures, peer instruction, game design) and, based on the lessons learned earlier, argues why video recording is so successful. Given the fact that this is the decade we lost print (papers, printed books, book shops, libraries), the author then conjectures that the impact of the Internet will make this revolution different from previous ones in that most of the changes are irreversible. As a consequence he warns against storming ahead blindly and suggests to conserve - while it is still possible - valuable components of what might soon be called the antebellum age of education.

eLearning im Sportstudium

In der gesamten Hochschullandschaft begleiten eLearning-Szenarien organisatorische Erneuerungsprozesse und stellen damit ein vielversprechendes Instrument zur Unterstützung und Verbesserung der klassischen Präsenzlehre dar. Davon ausgehend wurde von 2010 bis 2011 das Kasseler Sportspiel-Modell um die integrative Vermittlung der Einkontakt-Rückschlagspiele erweitert (Heyer, Albert, Scheid & Blömeke-Rumpf, 2011) und in einen modularisierten eLearning-Content, bestehend aus insgesamt 4 Modulen (17 Lernkurse, 171 Kursseiten, 73 Grafiken, 73 Videos, 38 Lernkontrollfragen), eingebunden. Dieser Content wurde im Rahmen einer Evaluationsstudie in Blended Learning Seminaren, welche die didaktischen Vorteile von Online- und Präsenzphasen zu einer Seminarform vereinen (Treumann, Ganguin & Arens, 2012), vergleichend zur klassischen Präsenzlehre im Sportstudium betrachtet. Die Studie gliedert sich in insgesamt drei Phasen: 1.) Pilotstudie am IfSS in Kassel (WS 2011/12; N=17, Lehramt), 2.) Hauptuntersuchung I am IfSS in Kassel (SS 2012; N=67, Lehramt) und 3.) Hauptuntersuchung II am IfS in Frankfurt a. M. (WS 2012/13; N=112, BA). Mittels varianzanalytischer Untersuchungsverfahren erfasst die Studie auf drei unterschiedlichen Qualitätsebenen folgende Aspekte der Lehr-Lernforschung: 1.) Ebene der Inputqualität: Bewertung der Seminarform (BS), 2.) Ebene der Prozessqualität: Motivation (SELLMO-ST), Lernstrategien (LIST) und computerbezogene Einstellung (FIDEC), 3.) Ebene der Outcomequalität: Lernleistung (Abschlusstest und Transferaufgabe). In der vergleichenden Betrachtung der beiden Hauptuntersuchungen erfolgt eine Gegenüberstellung von je einem Präsenzseminar zu zwei unterschiedlichen Varianten von Blended Learning Seminaren (BL-1, BL-2). Während der Online-Phasen bearbeiten die Sportstudierenden in BL-1 die Module in Lerngruppen. Die Teilnehmer in BL-2 führen in diesen Phasen zusätzlich persönliche Lerntagebücher. Dies soll zu einer vergleichsweise intensiveren Auseinandersetzung mit den Inhalten der Lernkurse sowie dem eigenen Lernprozess auf kognitiver und metakognitiver Ebene anregen (Hübner, Nückles & Renkl, 2007) und folglich zu besseren Ergebnissen auf den drei Qualitätsebenen führen. Die Ergebnisse der beiden Hauptuntersuchungen zeigen in der direkten, standortbezogenen Gegenüberstellung aller drei Seminarformen überwiegend keine statistisch signifikanten Unterschiede. Der erwartete positive Effekt durch die Einführung des Lerntagebuchs bleibt ebenfalls aus. Im standortübergreifenden Vergleich der Blended-Learning-Seminare ist bemerkenswert, dass die Probanden aus Frankfurt gegenüber ihrer Seminarform eine tendenziell kritischere Haltung einnehmen, was möglicherweise mit den vorherrschenden, unterschiedlichen Studiengängen – Lehramt und BA – korrespondiert. Zusammenfassend lässt sich somit für den untersuchten Bereich der Rückschlagspielvermittlung festhalten, dass Blended-Learning-Seminare eine qualitativ gleichwertige Alternative zur klassischen Präsenzlehre im Sportstudium darstellen.