Engineering education is both academic, emphasising theory in a range of subjects, and professional, preparing students for engineering practice. Ideally, these aspects are also in a meaningful relationship in the curriculum, but the dual nature ideal is simultaneously a source of tensions. This theme is explored in the context of engineering education development, represented by the CDIO (Conceive, Design, Implement, Operate) approach. Cases on programme and course level illustrate how the dual nature ideal is pursued in the integrated curriculum. CDIO is also compared with PBL (problem/project-based learning), and opportunities to further emphasise research in the CDIO community are explored. Two critical accounts suggest widening the perspective from curriculum development per se, to the organisational conditions. First, the views of Carl Richard Söderberg (1895-1979) are compared with CDIO, showing considerable similarities in ideals, arguments, and strategies. This leads to a critique of the swinging pendulum metaphor. Then, experiences of unsustainable change leads to a model called organisational gravity, explaining the stability of programmes and implying two change strategies, with different availability, risks, resource demands, and sustainability of results. Refuting a rationalist view on organisation, an institutional logics perspective is used to analyse the tensions within engineering education. It is suggested that the logics of the academic profession dominates over the logics of the engineering profession, hence favouring “teaching theory” over “teaching professionals”. The integrated curriculum strategy is contingent on educators’ ability to unite theoretical and professional aspects in courses, and on the collegial capacity for coordination. Finally, the CDIO initiative is conceptualised as a field-level driver of institutional innovation, identifying some strategies for legitimacy. / <p>QC 20171108</p>

This dissertation aims at contributing to social scientific knowledge about prevailing prioritizations in eldercarepractice by looking at an economic and a caring logic, and how these logics are overlapping, contradictory or comein conflict with each other. A more concrete aim is to understand how the personnel describe their work with orfor balance between the logics and their justifications prioritizations made in the care of older persons. The researchquestion is: How do personnel and care unit manager at a public nursing home understand and handle the twologics that govern care work for facilitating wellbeing of the residents. The aim and research question led to threesub-aims: 1) to analyze the personnel’s experiences of and meaning making about the care work they carry out, 2)to illuminate and problematize the two logics above, and 3)to analyze how the personnel justify their prioritizationsin prevailing context, and how their accountability have an effect on their professional identities.Empirical material was gathered through 13 individual interviews with care personnel and their care unitmanager at a public nursing home in Sweden. These interviews were complemented by a group interview. Thematerial was analyzed by the use of three methods: phenomenology (Paper I and II), reflexive analysis (Paper III),and a positioning analysis (Paper IV). Paper I found that the personnel understands the residents’ well-being asbeing characterized by feeling of being existentially touched. This essence is constituted by feeling freedom ofchoice, pleasure, and closeness to someone or something. In Paper II, the work for facilitating this kind of wellbeingwas characterized by three ambiguities: (i) freedom of choice for the older persons vs. institutionalconstraints, (ii) the residents' need for activation vs. wanting not to be activated, and (iii) the residents' need forroutine vs. the eldercarers' not being able to know what the residents need. Paper III showed that the care unitmanager created a hybrid of the two logics (economy is care and vice versa) and that the personnel oppose thishybrid. The opposition is shaped as the personnel divides their work in care and “those other things”. Thesefindings showed how interaction between the logics expresses itself in practice and that it is the personnel who hasto handle contradictions between the logics in their everyday care work. The positioning analysis in Paper IV hadthree levels. The first level showed how the carers align with their peers and that they find the organizationalframe, within which they have agency, changed due to increased workload. This change led to an order of priorities.The second level showed that the carers relate to three aspects when making accounts: the care itself, the olderpersons, and the media. The third level showed that the carers share a view of administration, cleaning, servingmeals, and filling up supplies, as not being parts of caring.The dissertation’s theoretical framework focused on theories on logics, accountability, and professionalidentity. The conclusion is that both logics are needed in order to facilitate the well-being of the older persons. Therelationships between the two logics are not always clear and if their contradictions are not illuminated, there is arisk for a care practice that does not facilitate the well-being of their residents. An important theoreticalcontribution is that logics of activities should be understood vertically (form political, through management, anddown to the level of practice) instead of horizontally. The practical implications emphasize the importance ofsupporting the personnel’s professional identity on the one hand, and discussing the logics on the other. Byunderstanding differences between definitions on management-level and practice level, a homogeneity can bereached. / <p>Huvudämne: Välfärd och socialvetenskap</p>

This thesis mobilizes the concept of “colonial entanglement” to emphasize the deep complexity and unpredictability of Indigenous and non-Indigenous relationships within what is now known as the Banff-Bow Valley. Responding to various literatures—including Indigenous Studies, Settler Colonial Studies, Political Theory, and Canadian Politics—I posit that the concept of colonial entanglements offers a parallax view of contexts, such as the Banff-Bow Valley, and events like the Buffalo Reintroduction Project. Not only does such a concept reveal how Indigenous nations— both human and non-human—are targeted by the racializing and gendered entanglements of colonizing regimes that seek to break up and replace them, but it also shows how these nations continue to persist and resist despite colonizing efforts to achieve otherwise. In other words, colonial entanglements compel one to also consider how nations like the Ĩyãħé Nakoda also exert influence on other Indigenous and non-Indigenous life in the Banff-Bow Valley—albeit, in different ways and to different degrees. After unpacking the concept in the first chapter, I use colonial entanglement to show how colonizing regimes and their expansionist modes of relationship react to the Indigenous nations they become entangled with. Using the signing of Treaty 7 and the establishment of a national park in Banff, I reveal how the Canadian state seeks to erect colonizing regimes of property that cater to capital as they transit the Banff-Bow Valley by ‘breaking up’ and ‘breaking from’ Indigenous nations and their expansive modes of relationship. Next, I consider how such reactionary violence is continually justified and legitimated through the articulation and reiteration of state of nature fictions that rely on notions of wilderness and tropes of Indigeneity to delegitimize the enduring presence of Indigenous nations. Specifically, I look at the Indian Act, the prohibition of hunting in the Park, and the Banff Indian Days festival to show how state of nature fictions articulate a supposed transition from a “past state of nature” to a contemporary “state of (dis)possession” entangled with white supremacist and heteropatriarchal forms of power. In doing so, these fictions make and reproduce colonial subjects who buy into and support colonizing violence and breakage that disproportionately targets those Indigenous to place. In the final chapter, I turn to focus on the Buffalo Reintroduction Project. Here, I consider how the project presents contemporary opportunities for both Indigenous and non-Indigenous people to support and/or disrupt colonizing states of (dis)possession and the state of nature fictions they rely on, while also considering the project’s potential for a politics oriented towards expansive modes of relationship revolving around principles of decolonization and anti-colonial internationalism. / Graduate

Sedan 2016 har en tillitsbaserad styrning implementerats i offentliga verksamheter i Sverige, vilket det inte finns mycket forskning om. Den tillitsbaserade styrningen skiljer sig mycket ifrån de tidigare styrningsformerna som präglat den offentliga sektorn. Jag har genom en kvalitativ studie ämnat att öka förståelsen för hur den tillitsbaserade styrningen fungerar med en byråkratisk logik och en marknadslogik. Min empiri är insamlad genom ostrukturerade intervjuer ifrån medarbetare på Trafikverket. Under studien har jag använt institutionell teori för att skapa en förståelse för de förutsättningar som råder för den tillitsbaserade styrningen och hur den påverkas av befintliga krav. Jag kunde ifrån min studie konstatera och dra slutsatsen att den byråkratiska logiken påverkar den tillitsbaserade styrningen. Det genom logikens krav på säkerhetsställande och efterföljande av lagar och regler, vilket enligt respondenterna begränsar möjligheterna att visa tillit, handlingsutrymme och medbestämmande som den tillitsbaserade styrningen förespråkar. Det framgick dessutom att marknadslogiken påverkar den tillitsbaserade styrningen genom logikens krav på ekonomisk effektivitet. / Since 2016, trust-based governance has been implemented in public organizations in Sweden, which there is not much research on. The trust-based governance differs greatly from the previous forms of governance that have characterized the public sector. Through a qualitative study, I have aimed to increase the understanding of how trust-based governance function with a bureaucratic logic and a market logic. My empiricism is collected through unstructured interviews from employees at the Swedish Transport Administration. During the study, I have used institutional theory to create an understanding of the prevailing prerequisites that exists for trust-based governance and how it is affected by existing demands. I could see and conclude from my study that a bureaucratic logic affects trust-based governance. This, through the logic's requirement for collateralization and compliance with laws and regulations, which according to the respondents, limits the opportunities to show confidence, room for action and co-determination as the trust-based governance advocates. It was also shown that the market logic affects trust-based governance through the logic's demand for financial efficiency.

Pays où se croisent influences occidentale et arabe, le Liban est un laboratoire heuristique pour analyser la question patrimoniale. Son système politique confessionnel, sa société communautaire et sa situation stratégique au Moyen Orient en font un enjeu géopolitique. La construction nationale a approprié le regard orientaliste pour postuler une identité libanaise assise sur des mythes fondateurs ; elle a mobilisé les Libanais autour des valeurs communes de la nation afin de diluer les identités communautaires. La guerre civile a réactualisé ces identités et les communautés se sont emparées de leurs particularismes religieux au profit des acteurs divers qui s’affrontent au Moyen Orient et qui instrumentalisent la carte communautaire libanaise dans leurs confrontations. Le Liban a traversé deux périodes de construction identitaire : nationale et communautaire ; chacune de ces périodes a sécrété un patrimoine particulier. À Baalbek, ville connue par l’Occident à travers les récits des voyageurs, la construction nationale désigne le site archéologique comme patrimoine national. Or, ce site se caractérise par une sédimentation de couches culturelles qui sollicite une lecture patrimoniale différente selon des échelles : alors que le regard occidental y voit des temples romains, la population locale y voit une Qalaa (citadelle) arabe. Entre la romanité et l’arabité du site, l’État libanais a opté pour sa dimension phénicienne qui affirme que les Libanais sont les descendants des Phéniciens. Avec la remontée du pouvoir communautaire chiite dans la ville, un nouvel objet patrimonial émerge : le mausolée de Sit Khawla répond par son référentiel identitaire et la dynamique économique qu’il induit dans la ville, aux aspirations de la population locale recomposée communautairement. Il s’ensuit deux pôles patrimoniaux qui coexistent dans l’espace de Baalbek. Cette bipolarité patrimoniale renvoie à des enjeux, des logiques d’acteurs et des acceptions du patrimoine que cette thèse s’attache à analyser. / A country influenced by both the Western and Arab world, Lebanon is a heuristic laboratory to analyze heritage questions. Its confessional political system, community social structures and strategic location in the Middle East contribute to make it an important geopolitical stake. The Lebanese nation-building process appropriated the Orientalist gaze to force a national identity based on several founding myths. It sought to gather the Lebanese around national common values, and so weaken the community identities by promoting the image of a socio-cultural mosaic. The civil war refreshed these identities, and the communities seized their specific religious particularisms, which the regional powers in the Middle East manipulated for their power game. Lebanon witnessed two periods of identity-building: national and community, each of them inventing a particular heritage object. In Baalbek, a city that was familiar to the West thanks to travellers, nation-building process appointed the archaeological site as a national heritage. However, the site is characterized by sedimentation of several cultural layers, each participating in different scales of heritage interpretation: while the Western gaze sees Roman temples, the local gaze sees an Arab Qalaa (citadel). In addition to the Roman and Arab identity of the site, the Lebanese state stressed its Phoenician dimension favourable to its national discourse which affirms that the Lebanese are the descendants of Phoenicians. With the rise of Shiite community power in the city, a new heritage object attracts the local level: the mausoleum of Sit Khawla responds to the aspirations of local population, by its referential identity and its economic dynamics which it has induced in the city, now recomposed on a community basis. As a result, two heritage centres coexist in Baalbek’s space. This bipolarity underlines heritage issues, the actors’ logics and the different significance of the conception of heritage, which this thesis attempts to analyze.

The present work deals with Description Logics (DLs), a class of knowledge representation formalisms used to represent and reason about classes of individuals and relations between such classes in a formally well-defined way. We provide novel results in three main directions. (1) Tractable reasoning revisited: in the 1990s, DL research has largely answered the question for practically relevant yet tractable DL formalisms in the negative. Due to novel application domains, especially the Life Sciences, and a surprising tractability result by Baader, we have re-visited this question, this time looking in a new direction: general terminologies (TBoxes) and extensions thereof defined over the DL EL and extensions thereof. As main positive result, we devise EL++(D)-CBoxes as a tractable DL formalism with optimal expressivity in the sense that every additional standard DL constructor, every extension of the TBox formalism, or every more powerful concrete domain, makes reasoning intractable. (2) Non-standard inferences for knowledge maintenance: non-standard inferences, such as matching, can support domain experts in maintaining DL knowledge bases in a structured and well-defined way. In order to extend their availability and promote their use, the present work extends the state of the art of non-standard inferences both w.r.t. theory and implementation. Our main results are implementations and performance evaluations of known matching algorithms for the DLs ALE and ALN, optimal non-deterministic polynomial time algorithms for matching under acyclic side conditions in ALN and sublanguages, and optimal algorithms for matching w.r.t. cyclic (and hybrid) EL-TBoxes. (3) Non-standard inferences over general concept inclusion (GCI) axioms: the utility of GCIs in modern DL knowledge bases and the relevance of non-standard inferences to knowledge maintenance naturally motivate the question for tractable DL formalism in which both can be provided. As main result, we propose hybrid EL-TBoxes as a solution to this hitherto open question.

Facing the growing amount of information in today's society, the task of specifying human knowledge in a way that can be unambiguously processed by computers becomes more and more important. Two acknowledged fields in this evolving scientific area of Knowledge Representation are Description Logics (DL) and Formal Concept Analysis (FCA). While DL concentrates on characterizing domains via logical statements and inferring knowledge from these characterizations, FCA builds conceptual hierarchies on the basis of present data. This work introduces Relational Exploration, a method for acquiring complete relational knowledge about a domain of interest by successively consulting a domain expert without ever asking redundant questions. This is achieved by combining DL and FCA: DL formalisms are used for defining FCA attributes while FCA exploration techniques are deployed to obtain or refine DL knowledge specifications.

Description Logics (DLs) are a class of knowledge representation formalisms that can represent terminological and assertional knowledge using a well-defined semantics. Often, knowledge engineers are experts in their own fields, but not in logics, and require assistance in the process of ontology design. This thesis presents three methods that can extract terminological knowledge from existing data and thereby assist in the design process. They are based on similar formalisms from Formal Concept Analysis (FCA), in particular the Next-Closure Algorithm and Attribute-Exploration. The first of the three methods computes terminological knowledge from the data, without any expert interaction. The two other methods use expert interaction where a human expert can confirm each terminological axiom or refute it by providing a counterexample. These two methods differ only in the way counterexamples are provided.

This work presents mainly two contributions to Description Logics (DLs) research by means of Formal Concept Analysis (FCA) methods: supporting bottom-up construction of DL knowledge bases, and completing DL knowledge bases. Its contribution to FCA research is on the computational complexity of computing generators of closed sets.

With the advent of the Semantic Web and Semantic Technologies, ontologies have become one of the most prominent paradigms for knowledge representation and reasoning. The popular ontology language OWL, based on description logics, became a W3C recommendation in 2004 and a standard for modelling ontologies on the Web. In the meantime, many studies and applications using OWL have been reported in research and industrial environments, many of which go beyond Internet usage and employ the power of ontological modelling in other fields such as biology, medicine, software engineering, knowledge management, and cognitive systems. However, recent progress in the field faces a lack of well-structured ontologies with large amounts of instance data due to the fact that engineering such ontologies requires a considerable investment of resources. Nowadays, knowledge bases often provide large volumes of data without sophisticated schemata. Hence, methods for automated schema acquisition and maintenance are sought. Schema acquisition is closely related to solving typical classification problems in machine learning, e.g. the detection of chemical compounds causing cancer. In this work, we investigate both, the underlying machine learning techniques and their application to knowledge acquisition in the Semantic Web. In order to leverage machine-learning approaches for solving these tasks, it is required to develop methods and tools for learning concepts in description logics or, equivalently, class expressions in OWL. In this thesis, it is shown that methods from Inductive Logic Programming (ILP) are applicable to learning in description logic knowledge bases. The results provide foundations for the semi-automatic creation and maintenance of OWL ontologies, in particular in cases when extensional information (i.e. facts, instance data) is abundantly available, while corresponding intensional information (schema) is missing or not expressive enough to allow powerful reasoning over the ontology in a useful way. Such situations often occur when extracting knowledge from different sources, e.g. databases, or in collaborative knowledge engineering scenarios, e.g. using semantic wikis. It can be argued that being able to learn OWL class expressions is a step towards enriching OWL knowledge bases in order to enable powerful reasoning, consistency checking, and improved querying possibilities. In particular, plugins for OWL ontology editors based on learning methods are developed and evaluated in this work. The developed algorithms are not restricted to ontology engineering and can handle other learning problems. Indeed, they lend themselves to generic use in machine learning in the same way as ILP systems do. The main difference, however, is the employed knowledge representation paradigm: ILP traditionally uses logic programs for knowledge representation, whereas this work rests on description logics and OWL. This difference is crucial when considering Semantic Web applications as target use cases, as such applications hinge centrally on the chosen knowledge representation format for knowledge interchange and integration. The work in this thesis can be understood as a broadening of the scope of research and applications of ILP methods. This goal is particularly important since the number of OWL-based systems is already increasing rapidly and can be expected to grow further in the future. The thesis starts by establishing the necessary theoretical basis and continues with the specification of algorithms. It also contains their evaluation and, finally, presents a number of application scenarios. The research contributions of this work are threefold: The first contribution is a complete analysis of desirable properties of refinement operators in description logics. Refinement operators are used to traverse the target search space and are, therefore, a crucial element in many learning algorithms. Their properties (completeness, weak completeness, properness, redundancy, infinity, minimality) indicate whether a refinement operator is suitable for being employed in a learning algorithm. The key research question is which of those properties can be combined. It is shown that there is no ideal, i.e. complete, proper, and finite, refinement operator for expressive description logics, which indicates that learning in description logics is a challenging machine learning task. A number of other new results for different property combinations are also proven. The need for these investigations has already been expressed in several articles prior to this PhD work. The theoretical limitations, which were shown as a result of these investigations, provide clear criteria for the design of refinement operators. In the analysis, as few assumptions as possible were made regarding the used description language. The second contribution is the development of two refinement operators. The first operator supports a wide range of concept constructors and it is shown that it is complete and can be extended to a proper operator. It is the most expressive operator designed for a description language so far. The second operator uses the light-weight language EL and is weakly complete, proper, and finite. It is straightforward to extend it to an ideal operator, if required. It is the first published ideal refinement operator in description logics. While the two operators differ a lot in their technical details, they both use background knowledge efficiently. The third contribution is the actual learning algorithms using the introduced operators. New redundancy elimination and infinity-handling techniques are introduced in these algorithms. According to the evaluation, the algorithms produce very readable solutions, while their accuracy is competitive with the state-of-the-art in machine learning. Several optimisations for achieving scalability of the introduced algorithms are described, including a knowledge base fragment selection approach, a dedicated reasoning procedure, and a stochastic coverage computation approach. The research contributions are evaluated on benchmark problems and in use cases. Standard statistical measurements such as cross validation and significance tests show that the approaches are very competitive. Furthermore, the ontology engineering case study provides evidence that the described algorithms can solve the target problems in practice. A major outcome of the doctoral work is the DL-Learner framework. It provides the source code for all algorithms and examples as open-source and has been incorporated in other projects.