Ontologies based on Description Logics may contain errors, which are usually detected when reasoning produces consequences that follow from the ontology, but do not hold in the modelled application domain. In previous work, we have introduced repair approaches for EL ontologies that are optimal in the sense that they preserve a maximal amount of consequences. In this paper, we will, on the one hand, review these approaches, but with an emphasis on motivation rather than on technical details. On the other hand, we will describe new results that address the problems that optimal repairs may become very large or need not even exist unless strong restrictions on the terminological part of the ontology apply. We will show how one can deal with these problems by introducing concise representations of optimal repairs.

This study is intended to investigate and propose a systematic method for uncertainty quantification for the computer code validation application. Uncertainty quantification has gained more and more attentions in recent years. U.S. Nuclear Regulatory Commission (NRC) requires the use of realistic best estimate (BE) computer code to follow the rigorous Code Scaling, Application and Uncertainty (CSAU) methodology. In CSAU, the Phenomena Identification and Ranking Table (PIRT) was developed to identify important code uncertainty contributors. To support and examine the traditional PIRT with quantified judgments, this study proposes a novel approach, the Quantified PIRT (QPIRT), to identify important code models and parameters for uncertainty quantification. Dimensionless analysis to code field equations to generate dimensionless groups (�� groups) using code simulation results serves as the foundation for QPIRT. Uncertainty quantification using DAKOTA code is proposed in this study based on the sampling approach. Nonparametric statistical theory identifies the fixed number of code run to assure the 95 percent probability and 95 percent confidence in the code uncertainty intervals. / Graduation date: 2013 / Access restricted to the OSU Community, at author's request, from Dec. 5, 2012 - Dec. 5, 2013

This study uses a new integrated outcrop data and airborne lidar from Slaughter Canyon, New Mexico, to quantitatively characterize the cycle-scale facies architecture within the G23-G26 high frequency sequences of the Yates Formation. High frequency cycle-scale mapping of these sequences shows sedimentological evidence for accommodation reduction associated with the Permain composite sequence (CS) 13 highstand (G23-G25). Development of the G26 HFS additionally demonstrates the isochronous balance of mixed carbonate-siliciclastic deposition across the Yates-Capitan reef-rimmed shelf during the initial CS-scale transgression following significant exposure and bypass of sand across the shelf. This sequence framework is quantitatively analyzed using progradation to aggradation (P/A) ratios, facies proportions, facies tract dip width, and facies tract bedding angles to evaluate the interplay of eustacy and syndepositional deformation as drivers of stratigraphic architecture. The sequences defined here developed in response to both eustacy and syndepositional deformation, but individual facies distributions and cycle stacking patterns were largely controlled by eustacy; while facies, cycle, and sequence thicknesses as well as facies bedding angles were locally influenced by syndepositional faulting. A reconstruction of each high frequency sequence and stepwise documentation of post-depositional fault displacement and HFS basinward rotation was generated using the lidar data. This analysis shows that the G23-G26 HFS developed basinward-dipping depositional topography from the shelf crest to the shelf margin reef. This geometry was largely unaltered by syndepositional faults during individual HFS deposition, but was rotated basinward shortly thereafter by younger fault movement. The accommodation trends recorded in this largely shelf crest to shelf margin window can be additionally projected into the middle shelf producing zones of the prolific Yates-aged reservoirs on the Northwest Shelf and Central Basin Platform. / text

Personal informatics systems help people collect and reflect on behavioral information to better understand their own behavior. Because most systems only show one type of behavioral information, finding factors that affect one’s behavior is difficult. Supporting exploration of multiple types of contextual and behavioral information in a single interface may help. To explore this, I developed prototypes of IMPACT, which supports reflection on physical activity and multiple types of contextual information. I conducted field studies of the prototypes, which showed that such a system could increase people’s awareness of opportunities for physical activity. However, several limitations affected the usage and value of these prototypes. To improve support for such systems, I conducted a series of interviews and field studies. First, I interviewed people about their experiences using personal informatics systems resulting in the Stage-Based Model of Personal Informatics Systems, which describes the different stages that systems need to support, and a list of problems that people experience in each of the stages. Second, I identified the kinds of questions people ask about their personal data and found that the importance of these questions differed between two phases: Discovery and Maintenance. Third, I evaluated different visualization features to improve support for reflection on multiple kinds of data. Finally, based on this evaluation, I developed a system called Innertube to help people reflect on multiple kinds of data in a single interface using a visualization integration approach that makes it easier to build such tools compared to the more common data integration approach.

The increased interest for self-tracking through the use of technology has given birth to the Quantified Self movement. The movement empowers users to gain self-knowledge from their own data. The overall idea is fairly recent and as such it provides a vast space for exploration and research. This project contributes to the Quantified self movement by proposing a concept for visualization of personal data using an avatar. The overall work finds inspiration in Chernoff faces visualization and it uses parts of the presentation method within the project design.   This thesis presents a visualization approach for Quantified Self data using avatars. It tests the proposed concept through a user study with two iterations. The manuscript holds a detailed overview of the designing process, questionnaire for the data mapping, implementation of the avatars, two user studies and the analysis of the results. The avatars are evaluated using Spotify data. The implementation offers a visualization library that can be reused outside of the scope of this thesis. The project managed to deliver an avatar that presents personal data through the use of facial expressions. The results show that the users can understand the proposed mapping of data. Some of the users were not able to gain meaningful insights from the overall use of the avatar, but the study gives directions for further improvements of the concept. / Visualizing quantified self data using avatars

This thesis explores a concept by Sonvox AB called VoiceUp. The concept is that of a mobile application that communicates with a wearable voice measuring device and visualizes voice information in a way that helps singers. Sonvox current main product is VoxLog—a system for long-term voice monitoring, mostly used for research purposes. Sonvox believes that their voice analysis technology could be relevant to a larger audience. The main goal for the thesis is to explore if a wearable voice measuring device could be relevant to singers, and in what ways. To do this, a needs analysis was conducted where song teachers and singers were interviewed. In order to draw statistical conclusions about the occurrence of needs, a survey was conducted where people with an interest for singing were the targeted respondents. Based on the result from the needs analysis, the VoiceUp concept was refined, resulting in an idea of a product that measures and visualizes how much the user sings and speaks with the aim to increase singers motivation to practice singing more regularly. Based on theory related to self-tracking, a design proving the concept was created, resulting in a mockup and a simple prototype. The mockup and the prototype can together be seen as one example of how self-tracking technology could be relevant to singers.

Cette thèse porte sur la définition d'une approche flexible pour interroger des graphes RDF à la fois classiques et flous. Cette approche, basée sur la théorie des ensembles flous, permet d'étendre SPARQL qui est le langage de requête standardisé W3C pour RDF, de manière à pouvoir exprimer i) des préférences utilisateur floues sur les données (par exemple, l'année de publication d'un album est récente) et sur la structure du graphe (par exemple, le chemin entre deux amis doit être court) et ii) des préférences utilisateur plus complexes, prenant la forme de propositions quantifiées floues (par exemple, la plupart des albums qui sont recommandés par un artiste, sont très bien notés et ont été créés par un jeune ami de cet artiste). Nous avons effectué des expérimentations afin d'étudier les performances de cette approche. L'objectif principal de ces expérimentations était de montrer que le coût supplémentaire dû à l'introduction du flou reste limité/acceptable. Nous avons également étudié, dans un cadre plus général, celui de bases de données graphe, la question de l'intégration du même type de propositions quantifiées floues dans une extension floue de Cypher qui est un langage déclaratif pour l'interrogation des bases de données graphe classiques. Les résultats expérimentaux obtenus montrent que le coût supplémentaire induit par la présence de conditions quantifiées floues dans les requêtes reste également très limité dans ce cas. / This thesis concerns the definition of a flexible approach for querying both crisp and fuzzy RDF graphs. This approach, based on the theory of fuzzy sets, makes it possible to extend SPARQL which is the W3C-standardised query language for RDF, so as to be able to express i) fuzzy user preferences on data (e.g., the release year of an album is recent) and on the structure of the data graph (e.g., the path between two friends is required to be short) and ii) more complex user preferences, namely, fuzzy quantified statements (e.g., most of the albums that are recommended by an artist, are highly rated and have been created by a young friend of this artist). We performed some experiments in order to study the performances of this approach. The main objective of these experiments was to show that the extra cost due to the introduction of fuzziness remains limited/acceptable. We also investigated, in a more general framework, namely graph databases, the issue of integrating the same type of fuzzy quantified statements in a fuzzy extension of Cypher which is a declarative language for querying (crisp) graph databases. Some experimental results are reported and show that the extra cost induced by the fuzzy quantified nature of the queries also remains very limited.

While both public opinion and scholars around the world are currently pointing out the danger of increasingly popular life-logging devices, this book articulates this debate by distinguishing between automatic and manual life-logging approaches. Since new definitions of life-logging have excluded the latter approach and have been mainly focused on effortless life-logging technologies such as Google Glass and Quantified Self applications in general, the second part of this thesis theoretically frames life-stowing.Through extensive etymological research, I have defined life-stowing as a manual and effortful practice conducted by life-stowers, individuals who devote their life to sampling reality in predefined frameworks. As part of this book, an historical overview introduces life-stowers and distinguishes between Apollonian and Dionysian varieties of these practitioners. Lastly, in order to understand the future reception of life-stowing, particularly in relation to digital media, I have disclosed my ongoing life-stowing project to a small audience. / Den samtida samhälls- och forskningsdebatt, där de allt mer populära teknologierna för life-logging ofta framställs som farliga, vidgas och utvecklas i denna bok genom ett särskiljande av automatiska och manuella tekniker för life-loggning. Eftersom nya definitioner av life-loggning i stor utsträckning har exkluderat manuella tekniker och fokuserat på egenmätning som inte kräver så mycket av användaren, såsom GoogleGlass, innehåller avhandlingen också ett teoretisk utforskande av begreppet lifestowing. Genom omfattande etymologisk forskning definieras life-stowing i avhandlingen som en manuell och ansträngande praktik utförd av life-stowers, personer som vigt sina liv åt att samla och spara bitar av verkligenheten enligt fördefinierade ramar. I den historiska översikten introduceras två typer av life-stowers, den Apollonianska och den Dionysiska. Slutligen, för att förstå det framtida mottagandet av life-stowing i relation till digitala medier, presenteras författarens egna life stowingprojekt för en mindre publik.

The topic of this thesis is the didactics of mathematical analysis. The thesis describes selected observations from the reeducation in an individual tutoring environment of for- mal knowledge of university students in the field of calculus. The aim of the thesis is to describe what formal knowledge appeared, to describe and evaluate selected reeducation interventions and on this basis formulate appropriate methodological recommendation. In the first chapter we deal with the contradiction between definition and concept concept of students, we outline how to convey to students the purpose of definitions and we suggest how to teach students to work with definitions properly, including understanding quan- tified propositions. In the second chapter we present the theory of process and concept together with the generic model theory. In the third chapter we explain the methods of work with students and the methods of the analysis of videos from tutoring. In the fourth chapter we analyze cognitive processes of the concept of sequence limits. KEYWORDS reeducation, individual tutoring, mechanical knowledge, calculus, definitions, quantified proposition, infinity, sequence, limit 1

Global warming has increased significantly over the past decades and at its center, there are human factors which have the greatest impacts on productions of carbon dioxide which is considered as a primary greenhouse gas in development of global warming. Greenhouse gas emissions and, in particular, carbon dioxide emissions are growing significantly to the extent that if no initiatives are taken, it can have dramatic consequences for our future generations and in general for human’s life on Earth, therefore we need means by which we can control and maintain the levels of greenhouse gas emissions and in particular carbon dioxide emissions. One of the efficient solutions that can significantly decrease the levels of carbon dioxide emissions is the construction and development of smart cities. In this context (smart city), individuals can play an important role in reducing the CO2 emissions. By considering the new opportunities that can result from development of Smart Cities and the essential role of information and communication technology (ICT) in such cities, this thesis work tries to introduce the idea of a self-tracking Carbon Footprint mobile application which enables users to keep track of their individual’s carbon dioxide emissions occurred as a result of their daily activities such as eating, transportation, shopping, energy consumption, and etc. in real time. Being able to measure the generated carbon footprint with respect to each of the user’s activities, users will be able to monitor and control it. This monitoring and controlling of one’s carbon footprint can have significant influences in reducing those human factors which result in production of more carbon dioxide gases and consequently more global warming effects.