Combining open and closed world reasoning for the semantic web

Dissertação para obtenção do Grau de Doutor em Informática

Investigation on AUTOSAR-Compliant Solutions for Many-Core Architectures

As of today, AUTOSAR is the de facto standard in the automotive industry, providing a common software architec- ture and development process for automotive applications. While this standard is originally written for singlecore operated Elec- tronic Control Units (ECU), new guidelines and recommendations have been added recently to provide support for multicore archi- tectures. This update came as a response to the steady increase of the number and complexity of the software functions embedded in modern vehicles, which call for the computing power of multicore execution environments. In this paper, we enumerate and analyze the design options and the challenges of porting AUTOSAR-based automotive applications onto multicore platforms. In particular, we investigate those options when considering the emerging many- core architectures that provide a more scalable environment than the traditional multicore systems. Such platforms are suitable to enable massive parallel execution, and their design is more suitable for partitioning and isolating the software components.

Partitioning the Network-on-Chip to Enable Virtualization on Many-Core Processors

6th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2015), Lund, Sweden.

Industrie 4.0 Framework, Challenges and Perspectives

The world is increasingly in a global community. The rapid technological development of communication and information technologies allows the transmission of knowledge in real-time. In this context, it is imperative that the most developed countries are able to develop their own strategies to stimulate the industrial sector to keep up-to-date and being competitive in a dynamic and volatile global market so as to maintain its competitive capacities and by consequence, permits the maintenance of a pacific social state to meet the human and social needs of the nation. The path traced of competitiveness through technological differentiation in industrialization allows a wider and innovative field of research. Already we are facing a new phase of organization and industrial technology that begins to change the way we relate with the industry, society and the human interaction in the world of work in current standards. This Thesis, develop an analysis of Industrie 4.0 Framework, Challenges and Perspectives. Also, an analysis of German reality in facing to approach the future challenge in this theme, the competition expected to win in future global markets, points of domestic concerns felt in its industrial fabric household face this challenge and proposes recommendations for a more effective implementation of its own strategy. The methods of research consisted of a comprehensive review and strategically analysis of existing global literature on the topic, either directly or indirectly, in parallel with the analysis of questionnaires and data analysis performed by entities representing the industry at national and world global placement. The results found by this multilevel analysis, allowed concluding that this is a theme that is only in the beginning for construction the platform to engage the future Internet of Things in the industrial environment Industrie 4.0. This dissertation allows stimulate the need of achievements of more strategically and operational approach within the society itself as a whole to clarify the existing weaknesses in this area, so that the National Strategy can be implemented with effective approaches and planned actions for a direct training plan in a more efficiently path in education for the theme.

Reactive hybrid knowledge bases

Hybrid knowledge bases are knowledge bases that combine ontologies with non-monotonic rules, allowing to join the best of both open world ontologies and close world rules. Ontologies shape a good mechanism to share knowledge on theWeb that can be understood by both humans and machines, on the other hand rules can be used, e.g., to encode legal laws or to do a mapping between sources of information. Taking into account the dynamics present today on the Web, it is important for these hybrid knowledge bases to capture all these dynamics and thus adapt themselves. To achieve that, it is necessary to create mechanisms capable of monitoring the information flow present on theWeb. Up to today, there are no such mechanisms that allow for monitoring events and performing modifications of hybrid knowledge bases autonomously. The goal of this thesis is then to create a system that combine these hybrid knowledge bases with reactive rules, aiming to monitor events and perform actions over a knowledge base. To achieve this goal, a reactive system for the SemanticWeb is be developed in a logic-programming based approach accompanied with a language for heterogeneous rule base evolution having as its basis RIF Production Rule Dialect, which is a standard for exchanging rules over theWeb.

Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Estudo da dessalinização de objetos arqueológicos de liga ferrosa por imersão em sulfito alcalino

A dessalinização é de extrema importância para a estabilização de objetos arqueológicos ferrosos contaminados por sais, principalmente quando estes envolvem cloretos, dado desencadearem um significativo aumento na sua velocidade da corrosão. Este processo de degradação pode resultar em destacamentos importantes no objeto (com perda de informação sobre a sua superfície) ou mesmo numa perda total do seu núcleo metálico. De entre os processos de dessalinização, o método do sulfito alcalino é dos mais praticados, exatamente por ser eficaz na remoção de cloretos, de baixo custo de implementação e de relativa fácil aplicação, ao contrário de outros métodos também igualmente eficazes. Até ao momento não existe no laboratório de metais do Departamento de Conservação e Restauro da Faculdade de Ciências e Tecnologia um processo eficaz de dessalinização para objetos arqueológicos à base de ferro contaminados com cloretos, estando este tipo de intervenção também ausente em muitos laboratórios de conservação que lidam com este tipo de materiais. Assim, através de um estudo e experimentação do método do sulfito alcalino, pretendeu-se adquirir alguma prática neste processo de dessalinização, implementá-lo no laboratório (construção de protótipo(s)) a custos acessíveis e, paralelemente, testar a sua eficácia.

Observations on dynamics of foraging hole construction of two leaf-feeding, soil-inhabiting Syntermes species (insecta: Isoptera) in an Amazonian Rainforest, Brazil

The intensity of construction of foraging access holes by two leaf-litter feeding, soil- inhabiting termite species, Syntermes molestus and Syntermes spinosus, in a Central Amazonian rain forest, was observed on consecutive nights for two weeks. Between 11 and 48 nest entrances per m2 were counted. Interaction between the two species was intense; some entrance holes were overtaken by the larger species during the observations; however, both species coexist in the area. A calculated minimum of 35 entrances/m2 is built every year by both species, emphasizing the importance of soil-burrowing termites for soil structure, aeration and water regime.

Relaxamento, correção postural e respiração na prática da flauta transversal: aplicação de exercícios de Técnica de Alexander

Relatório de estágio de mestrado em Ensino de Música

Qualitative and quantitative formal model-based safety analysis : push the safety button

Magdeburg, Univ., Fak. für Informatik, Diss., 2011

Physikalische Vorgänge in gepulsten Magnetronentladungen

gepulstes Magnetron-Sputtern, Sputtern, Abscheidung von Oxiden, Nitriden, gepulstes Plasma

Fingermorphologie in der Elektrodeposition, ein komplexes Grenzflächenphänomen

Electrodeposition, morphology, density-driven convection, fingering, dispersion relation

Beitrag zur Absorption in flüssigkeitsbedüsten Wirbelschichten

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2003

Regelungskonzept zur energieeffizienten Abgasnachbehandlung von Dieselmotoren

Magdeburg, Univ., Fak. für Maschinenbau, Diss., 2012

Modelling of a symmetric molten carbonate fuel cell stack

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2011