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.

A afirmação do direito de águas

This thesis aims at demonstrating the dogmatic autonomy of Water Law. It also intends to clarify that this branch of law must not be confused with other similar subjects of law. To accomplish this task, the thesis justifies the dogmatic autonomy of Water Law beginning by discussing the emergence of this branch of law both at international and regional levels. The thesis analyses the emergence of International Water Law, discussing the reasons of its existence, its subject and importance. It also explains the relationship between international watercourses and the need to regulate them, considering that rules related to the use and management of such resources, although created at international level, are meant to be applied at regional and local levels. The thesis demonstrates that the fact that some waters are international, because they cross different states or serve as border between two or more states, justifies the existence of international water law rules aplicable to the region and to the watercourse they are supposed to regulate. For this reason, this thesis considers not only international water law in relation with the aplicable regional water law, but also the regional law in relation with the rules aplicable to the water basins and particularly with the concerned water basin states. This relationship between rules leads us to discuss how these three spectrums of rules are conciliated, namely international or universal, regional and water basin rules. To demonstrate how all this works we chose SADC for our case study. The thesis also studies the States who benefit from rules of international water law, and all other subjects who directly use water from international watercourses, and the conclusion we reach is that who really benefits are the population of such states whose rights of access, use and management are regulated by international, regional and basin rules As we can imagine, it is not easy to concile so many different rules, applicable to a scarce resource to which many subjects in many states compete for. And the interaction of the different interests, which is done under different spectrum of rules, is what guided our study, in which we analyse how all this process functions. And the main reason of all the discussion is to conclude that there is, in fact, a dogmatic autonomy of water law. To reach such a conclusion, the thesis begins by studying how international water law is applied at local level. Considering that international watercourses usually have different regimes adopted by the basin states, which difference may cause conflicts, the thesis discusses how water law may contribute to solve possible conflicts. To do this, the thesis studies and compares rules of international water law with rules of water law applicable to SADC states, and figures out the level of interaction between such rules. Considering that basin states have to obey to local rules, first of all, and after that to international and basin level rules, the thesis studies how the differents interests at stake are managed by riparian states, who act on behalf of their population. SADC appeared to provide an excellent case study to reach this goal. And the thesis discusses all these matters, the rules and principles applicable, and provides solutions where applicable, always considering water as subject of our study. Accordingly, we discuss the right to water, its nature and how it functions, considering the facts mentioned previously. And, as we conclude, all these legal discussions over water are a clear sign of the dogmatic autonomy of water

Species distribution and in vitro fluconazole susceptibility of clinical Candida isolates in a Brazilian tertiary-care hospital over a 3-year period

INTRODUCTION: In this study, we aimed at identifying Candida isolates obtained from blood, urine, tracheal secretion, and nail/skin lesions from cases attended at the Hospital Universitário de Londrina over a 3-year period and at evaluating fluconazole susceptibilities of the isolates. METHODS: Candida isolates were identified by polymerase chain reaction (PCR) using species-specific forward primers. The in vitro fluconazole susceptibility test was performed according to EUCAST-AFST reference procedure. RESULTS: Isolates were obtained from urine (53.4%), blood cultures (19.2%), tracheal secretion (17.8%), and nail/skin lesions (9.6%). When urine samples were considered, prevalence was similar in women (45.5%) and in men (54.5%) and was high in the age group >61 years than that in younger ones. For blood samples, prevalence was high in neonates (35%) and advanced ages (22.5%). For nail and skin samples, prevalence was higher in women (71.4%) than in men (28.6%). Candida albicans was the most frequently isolated in the hospital, but Candida species other than C. albicans accounted for 64% of isolates, including predominantly Candida tropicalis (33.2%) and Candida parapsilosis (19.2%). The trend for non-albicans Candida as the predominant species was noted from all clinical specimens, except from urine samples. All Candida isolates were considered susceptible in vitro to fluconazole with the exception of isolates belonging to the intrinsically less-susceptible species C. glabrata. CONCLUSIONS: Non-albicans Candida species were more frequently isolated in the hospital. Fluconazole resistance was a rare finding in our study.

Relatório de estágio na Caixa Geral de Depósitos

This report will describe the activities undertaken during my internship at the Personnel Department (DPE-UPE4.1) in Caixa Geral de Depósitos (CGD), Lisbon, between September 22, 2014, and February 28, 2015. I consider that it is important to note from the outset i) that the subject of my training was suggested by my supervisor in the DPE and accepted by me; and ii) that the internship consisted essentially of carrying out research and information gathering into the different social systems that coexist within the bank and the application of each legal system in solving concrete situations of the CGD employees. The research and analysis of information was important not only for my study but for the CGD itself, as it enables the department to have such an important matter, full of specific characteristics, condensed into a single document, i.e. this report. This is a complex reality. The various welfare systems differ according to the contractual agreement linking the employee to the employer at the date when the labour contract is signed, and also the unique/singular characteristics of the CGD. In the early stage I started by trying to understand the financial institution and its organization and role and the department where I worked. So I analyzed the CGD Statutes and the legal measures that crystallized the scheme for its employees and I also researched its domestic and international operations. The first month was devoted to the research and analysis of such legislation to understand the creation of the CGD and its path to date. In the second and third months I studied the legal social systems that are applied to different groups of CGD workers. This period was quite important to identify and understand the differences between those regimes of CGD employees as well as the procedure inherent in each case. I highlighted the non-implementation of “the social protection regime of convergence” to the workers of this institution; the differences regarding the allocation of sickness subsidies paid to workers who belong to Social Security and CGA contributors, as well as the enforcement of internal rules to all the workers when a work-related accident happens. Then I focused on to assessing and examining external legislation and several internal regulations in order to obtain solutions to questions raised and situations involving by the workers, in order to understand how the DPE solves these situations. Over the last three months of internship, after this more theoretical work, I began the analysis of concrete situations involving employees carrying out their duties in Portugal and abroad. Some of these situations had been received by the department before the beginning of my internship and others over this period. When I was “working” in the DPE I analyzed “cases” that had been solved and some others without a final solution because they were still in courts. As for the last ones (new cases) I was able to follow their assessment and sometimes their outcome. Some of them became study cases for me. Over these five months of my internship, several cases were analyzed and discussed by legal experts of DPE in which I could participate. I always worked hard. I know that this action contributed to elucidate me about the treatment of the issues, and allowed me to have a direct contact with some workers and be part of a dynamic work team. For these reasons, my internship report is not merely descriptive of activities. It consists of an analysis of rules (legislation) and a regulatory framework of activities and it is also a description of several specific situations solved or in a solution process. Through this work I intend to make known the particular reality of a modern Portuguese financial institution not only because of its importance in our country but also such a large number of employees work here (in Portugal and abroad). I should add that throughout my internship I was allowed to attend conferences, within the scope of the bank in order to get a broader view of some issues related to the daily life of the DPE and the CGD. So, I participated in I Jornadas Bancárias and the Conferência Internacional do Contrato a Termo, given that the CGD is a bank and the DPE deals with legal and labour relations.

Relatório de estágio no Centro de Arbitragem Comercial da Câmara de Comércio e Indústria Portuguesa

This report is the outcome of an internship that took place in Centro de Arbitragem Comercial da Câmara de Comércio e Indústria Portuguesa and its completion is an essential part of the path towards obtaining the Master’s Degree in Faculdade de Direito da Universidade Nova de Lisboa. This report has been structured in two stages – firstly, the presentation of the Centro de Arbitragem Comercial, focusing on its field of expertise, organic structure, principles and advantages. Then, the description of the activities developed within the Secretariat over the several stages of the arbitration procedure – since the reception of the arbitration requirement in institutional proceedings, terms of reference in ad hoc procedures, through the monitoring of the arbitral tribunal sessions (preliminary hearings, submission of evidence and final allegations) and the notification of the arbitration award. The second stage of this report is related to the description of the functions and powers of the President of Centro de Arbitragem Comercial. Firstly, it defines those powers by analyzing the statutes and rules of proceedings of the Centro de Arbitragem, drawing comparisons between the above mention and the rules of proceedings of others arbitral institutional centres, some of them are international references. The report assesses and describes the presidential powers, such as: configuration and composition of the arbitral tribunal (including arbitrator’s replacements, excuses and refusals); deadline extensions; determination of procedural rules and decision-making on any procedural incidents which arise before the constitution of the arbitral tribunal; definition of arbitration costs and fees; joinder of parties and consolidation of proceedings admission; and appointment of an emergency arbitrator. Lastly, this report analyzes some decisions delivered by the President in the respective institutional procedures which took place in the Centre.

Área 'non aedificandi' em domínio privado. História breve do interstício entre prédios em Portugal

Partindo dos dispositivos jurídicos em vigor (Código Civil e Regulamento Geral das Edificações Urbanas) e recuando até às antigas influências jurídicas (romanas e islâmicas), neste artigo procura-se perceber como os interstícios entre prédios em Portugal foram estabelecidos ao longo do tempo pela ordem jurídica. São contextualizadas e analisadas as antigas normas da almotaçaria e as normas contemporâneas, procurando perceber inovações e persistências. Por fim, realça-se a importância deste conhecimento para o estudo da forma urbana portuguesa.

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

Who uses NHS saúde 24 hotline? Has the user changed over time?

There has been an increase in the use of telephone-based services and internet throughout the years and, therefore, the Saúde 24 Hotline has become an important service in Portugal. This service aims to screen, counsel and refer the patient in order to avoid unnecessary visits to health institutions and also to indicate the most appropriate resource according to the illness. This work has two different questions: the first one examines the determinants of satisfaction that have more influence on the overall satisfaction of the Saúde 24 Hotline users. The second one aims to analyze if the confidence level of the users is increasing over time, measured by following the recommendation. The first study was conducted on a random sample collected from June to October 2014, which was taken from the User Satisfaction Survey. The second approach includes data from January 2008 to December 2014 from the Clinical Data Base of all users who have called the Hotline. Findings suggest that the majority of users are very satisfied with the service and the variables with more impact on the overall satisfaction are commitment and availability from the nurse, adequacy of call duration and quick identification of the problem. The survey indicates that 94% of respondents follow the recommendation and on average people have called the hotline 3 times in the previous year. The results from the Clinical Database show that people who were recommended to go to the emergency room are more likely to follow the advice than the people who were recommended to book routine appointments

Over expression of AdeABC and AcrAB-TolC efflux systems confers tigecycline resistance in clinical isolates of Acinetobacter baumannii and Klebsiella pneumoniae

Abstract: INTRODUCTION: Due to the wide use of tigecycline in the treatment of severe infections caused by multidrug-resistant (MDR) bacteria, clinical resistance to tigecycline has increased in recent years. Here, we investigated the relationship between tigecycline resistance and the expression of efflux pumps. METHODS: Clinical isolates of Acinetobacter baumannii and Klebsiella pneumoniae were consecutively collected from hospitalized patients in three hospitals. The minimum inhibitory concentration (MIC) of tigecycline was determined using the broth microdilution method. Expression levels of efflux pump genes and regulators were examined by quantitative real-time reverse transcription polymerase chain reaction. The correlations between tigecycline MICs and gene expression levels were analyzed. RESULTS: Overall, 1,026 A. baumannii and 725 K. pneumoniae strains were collected. Most strains were isolated from sputum. The tigecycline resistance rate was 13.4% in A. baumannii isolates and 6.5% in K. pneumoniae isolates. Overexpression of AdeABC and AcrAB-TolC efflux systems was observed found in clinical tigecycline-resistant isolates. The tigecycline MIC had a linear relationship with the adeB expression level in A. baumannii isolates, but not with the acrB expression level in K. pneumoniae isolates. There were significant linear trends in the overexpression of ramA as the tigecycline MIC increased in K. pneumoniae isolates. CONCLUSIONS: Tigecycline resistance in A. baumannii and K. pneumoniae was strongly associated with the overexpression of efflux systems. More studies are needed to elucidate whether there are other regulators that affect the expression of adeB in A. baumannii and how ramA affects the expression of acrB in K. pneumoniae.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

Relatório de estágio na Caixa Geral de Depósitos

This report will describe the activities undertaken during my internship at the Personnel Department (DPE-UPE4.1) in Caixa Geral de Depósitos (CGD), Lisbon, between September 22, 2014, and February 28, 2015. I consider that it is important to note from the outset i) that the subject of my training was suggested by my supervisor in the DPE and accepted by me; and ii) that the internship consisted essentially of carrying out research and information gathering into the different social systems that coexist within the bank and the application of each legal system in solving concrete situations of the CGD employees. The research and analysis of information was important not only for my study but for the CGD itself, as it enables the department to have such an important matter, full of specific characteristics, condensed into a single document, i.e. this report. This is a complex reality. The various welfare systems differ according to the contractual agreement linking the employee to the employer at the date when the labour contract is signed, and also the unique/singular characteristics of the CGD. In the early stage I started by trying to understand the financial institution and its organization and role and the department where I worked. So I analyzed the CGD Statutes and the legal measures that crystallized the scheme for its employees and I also researched its domestic and international operations. The first month was devoted to the research and analysis of such legislation to understand the creation of the CGD and its path to date. In the second and third months I studied the legal social systems that are applied to different groups of CGD workers. This period was quite important to identify and understand the differences between those regimes of CGD employees as well as the procedure inherent in each case. I highlighted the non-implementation of “the social protection regime of convergence” to the workers of this institution; the differences regarding the allocation of sickness subsidies paid to workers who belong to Social Security and CGA contributors, as well as the enforcement of internal rules to all the workers when a work-related accident happens.Then I focused on to assessing and examining external legislation and several internal regulations in order to obtain solutions to questions raised and situations involving by the workers, in order to understand how the DPE solves these situations. Over the last three months of internship, after this more theoretical work, I began the analysis of concrete situations involving employees carrying out their duties in Portugal and abroad. Some of these situations had been received by the department before the beginning of my internship and others over this period. When I was “working” in the DPE I analyzed “cases” that had been solved and some others without a final solution because they were still in courts. As for the last ones (new cases) I was able to follow their assessment and sometimes their outcome. Some of them became study cases for me. Over these five months of my internship, several cases were analyzed and discussed by legal experts of DPE in which I could participate. I always worked hard. I know that this action contributed to elucidate me about the treatment of the issues, and allowed me to have a direct contact with some workers and be part of a dynamic work team. For these reasons, my internship report is not merely descriptive of activities. It consists of an analysis of rules (legislation) and a regulatory framework of activities and it is also a description of several specific situations solved or in a solution process. Through this work I intend to make known the particular reality of a modern Portuguese financial institution not only because of its importance in our country but also such a large number of employees work here (in Portugal and abroad). I should add that throughout my internship I was allowed to attend conferences, within the scope of the bank in order to get a broader view of some issues related to the daily life of the DPE and the CGD. So, I participated in I Jornadas Bancárias and the Conferência Internacional do Contrato a Termo, given that the CGD is a bank and the DPE deals with legal and labour relations.

Relatório de estágio curricular no Centro de Arbitragem Comercial da Câmara de Comércio e Indústria portuguesa

This report is the outcome of an internship that took place in Centro de Arbitragem Comercial da Câmara de Comércio e Indústria Portuguesa and its completion is an essential part of the path towards obtaining the Master’s Degree in Faculdade de Direito da Universidade Nova de Lisboa. This report has been structured in two stages – firstly, the presentation of the Centro de Arbitragem Comercial, focusing on its field of expertise, organic structure, principles and advantages. Then, the description of the activities developed within the Secretariat over the several stages of the arbitration procedure – since the reception of the arbitration requirement in institutional proceedings, terms of reference in ad hoc procedures, through the monitoring of the arbitral tribunal sessions (preliminary hearings, submission of evidence and final allegations) and the notification of the arbitration award. The second stage of this report is related to the description of the functions and powers of the President of Centro de Arbitragem Comercial. Firstly, it defines those powers by analyzing the statutes and rules of proceedings of the Centro de Arbitragem, drawing comparisons between the above mention and the rules of proceedings of others arbitral institutional centres, some of them are international references. The report assesses and describes the presidential powers, such as: configuration and composition of the arbitral tribunal (including arbitrator’s replacements, excuses and refusals); deadline extensions; determination of procedural rules and decision-making on any procedural incidents which arise before the constitution of the arbitral tribunal; definition of arbitration costs and fees; joinder of parties and consolidation of proceedings admission; and appointment of an emergency arbitrator. Lastly, this report analyzes some decisions delivered by the President in the respective institutional procedures which took place in the Centre.

A negociação no mercado a prazo do MIBEL

This master thesis has been developed during the internship in the Supervision Department of Supervision of the Intermediation and Market Structures of CMVM. My collaboration in such department was mainly focused on the derivatives market of the Iberian Electricity Market (MIBEL). MIBEL embodies two organized markets – the derivatives market in Portugal and the spot market in Spain The trading activity in the derivatives market of MIBEL is processed through the trading platform of the regulated market managed by OMIP, however, much of the negotiation is over-the-counter. The aim of this work is to describe the market from a legal and economic perspective and to analyse the evolution of the negotiation, namely the impact of OTC in the regulated market trading. To achieve this, I propose to analyse also MiFID and EMIR rules over derivative contracts and the role of central counterparties, as they both are important to the discussion. In parallel, we found that OTC transactions are considerably higher than those traded in the regulated market managed by OMIP, those findings can be justified by the contractual relationships based on trust already established between the partiesarties. Nevertheless, since 2011 this trend changed by an increase of the registered OTC. Thereafter, although the parties continued to trade bilaterally, these transactions were registered in a central counterparty in order to eliminate the inherent risks related to the OTC derivatives transactions. This change in the negotiation pattern may also be influenced by the mandatory reporting of transactions imposed by EMIR, that requires for some classes of derivatives the centralized clearing and for all other requires the implementation of risk mitigation techniques.

Changes in the floristic composition of a Terra Firme rain forest In Brazilian Amazonia over an eight-year period In response to logging

Changes in the floristic composition over an eight-year period in a logged area at the Tapajós National Forest in Brazilian Amazonia arc discussed. Two treatments of different intensities of logging were compared with an undisturbed (control) forest. Data were collected from permanent sample-plots. The effects of logging on floristic composition were stronger in the more heavily logged treatment. The number of species decreased immediately after logging, but started to increase before the fifth year after logging and was higher at the end of the study period than before logging. The more heavily logged plots responded more to disturbances, as judged by the increase in the number of species during the period after logging. This forest appears to recover its initial floristic composition after disturbance without intervention.

Growth rate of a terra firme rain forest in Brazilian Amazonia over an eight-year period in response to logging

This paper deals with growth rates of trees > 5cm dbh over an eight-year period from 257 species at the Tapajós National Forest. The discussion is centred on the behaviour of the forest after logging. Permanent sample plots were established in 1981 and measured at the first time. The area was logged in 1982. Measurements after logging occurred in 1983, 1987 and 1989. Considering all species together, diameter increment was similar for both intensities of logging until five years after logging. Light-demanding species showed significantly higher growth rates than shade-tolerant species in the logged forest, with greater increment in the heavier treatment intensity. Commercial species also had higher growth rates in the heavier logged area, although those were significantly different only in the period from one to five years after logging. In the undisturbed forest, growth rates increased with increasing dbh size. At species level, growth rate varied between and within treatments, as well as between trees within species, depending mainly on degree of canopy opening. The logging favoured the growth of commercial species, chiefly the light-demanders. Therefore, if the same growth conditions continue being given, for example by silvicultural treatments, to those species of commercial interest, the forest would reach a stock available for harvesting around year 30 after logging. However, the high variation in increment rates indicates that an eight-year period is not sufficient to allow predictions on cutting cycles or polycyclic management systems for the study forest.