57 resultados para Semantic Web Internet
Resumo:
Dissertation presented to obtain the Ph.D degree in Bioinformatics
Resumo:
Dissertação para obtenção do Grau de Doutor em Informática
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Semantic web approach for dealing with administrative boundary revisions: a case study of Dhaka City
Resumo:
Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.
Resumo:
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.
Resumo:
Based in internet growth, through semantic web, together with communication speed improvement and fast development of storage device sizes, data and information volume rises considerably every day. Because of this, in the last few years there has been a growing interest in structures for formal representation with suitable characteristics, such as the possibility to organize data and information, as well as the reuse of its contents aimed for the generation of new knowledge. Controlled Vocabulary, specifically Ontologies, present themselves in the lead as one of such structures of representation with high potential. Not only allow for data representation, as well as the reuse of such data for knowledge extraction, coupled with its subsequent storage through not so complex formalisms. However, for the purpose of assuring that ontology knowledge is always up to date, they need maintenance. Ontology Learning is an area which studies the details of update and maintenance of ontologies. It is worth noting that relevant literature already presents first results on automatic maintenance of ontologies, but still in a very early stage. Human-based processes are still the current way to update and maintain an ontology, which turns this into a cumbersome task. The generation of new knowledge aimed for ontology growth can be done based in Data Mining techniques, which is an area that studies techniques for data processing, pattern discovery and knowledge extraction in IT systems. This work aims at proposing a novel semi-automatic method for knowledge extraction from unstructured data sources, using Data Mining techniques, namely through pattern discovery, focused in improving the precision of concept and its semantic relations present in an ontology. In order to verify the applicability of the proposed method, a proof of concept was developed, presenting its results, which were applied in building and construction sector.
Resumo:
Trabalho realizado sob orientação do Prof. António Brandão Moniz para a disciplina “Factores Sociais da Inovação” do Mestrado Engenharia Informática realizado na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (Portugal)
Resumo:
Master’s Degree Dissertation
Resumo:
Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica
Resumo:
ABSTRACT - The problem of how to support “intentions to make behavioural changes” (IBC) and “behaviour changes” (BC) in smoking cessation when there is a scarcity of resources is a pressing issue in public health terms. The present research focuses on the use of information and communications technologies and their role in smoking cessation. It is developed in Portugal after the ratification of WHO Framework Convention on Tobacco Control (on 8 November 2005). The prevalence of smokers over fifteen years of age within the population stood at 20.9% (30.9% for men and 11.8% for women). While the strategy of helping people to quit smoking has been emphasised at National Health Service (NHS) level, the uptake of cessation assistance has exceeded the capacity of the service. This induced the search of new theoretical and practical venues to offer alternative options to people willing to stop smoking. Among these, the National Health Plan (NHP) of Portugal (2004-2010), identifies the use of information technologies in smoking cessation. eHealth and the importance of health literacy as a means of empowering people to make behavioural changes is recurrently considered an option worth investigating. The overall objective of this research is to understand, in the Portuguese context, the use of the Internet to help people to stop smoking. Research questions consider factors that may contribute to “intentions to make behavioural changes” (IBC) and “behavioural changes” (BC) while using a Web-Assisted Tobacco Intervention Probe (WATIP). Also consideration is given to the trade-off on the use of the Web as a tool for smoking cessation: can it reach a vast number of people for a small cost (efficiency) demonstrating to work in the domain of smoking cessation (efficacy)”? In addition to the introduction, there is a second chapter in which the use of tobacco is discussed as a public health menace. The health gains achieved by stopping smoking and the means of quitting are also examined, as is the use of the Internet in smoking cessation. Then, several research issues are introduced. These include background theory and the theoretical framework for the Sense of Coherence. The research model is also discussed. A presentation of the methods, materials and of the Web-Assisted Tobacco Intervention Probe (WATIP) follows. In chapter four the results of the use of the Web-Assisted Tobacco Intervention Probe (WATIP) are presented. This study is divided into two sections. The first describes results related to quality control in relation to the Web-Assisted Tobacco Intervention Probe (WATIP) and gives an overview of its users. Of these, 3,150 answered initial eligibility questions. In the end, 1,463 met all eligibility requirements, completed intake, decided on a day to quit smoking (Dday) and declared their “intentions to make behavioural changes” (IBC) while a second targeted group of 650 did not decide on a Dday. With two quit attempts made before joining the platform, most of the participants had experienced past failures while wanting to stop. The smoking rate averaged 21 cigarettes per day. With a mean age of 35, of the participants 55% were males. Among several other considerations, gender and the Sense of Coherence (SOC) influenced the success of participants in their IBC and endeavour to set quit dates. The results of comparing males and females showed that, for current smokers, establishing a Dday was related to gender differences, not favouring males (OR=0.76, p<0.005). Belonging to higher Socio-economic strata (SES) was associated with the intention to consider IBC (when compared to lower SES condition) (OR=1.57, p<0.001) and higher number of school years (OR=0.70, p<0.005) favoured the decision to smoking cessation. Those who demonstrated higher confidence in their likelihood of success in stopping in the shortest time had a higher rate of setting a Dday (OR=0.51, p<0.001). There were differences between groups in IBC reflecting the high and low levels of the SOC score (OR=1.43, p=0.006), as those who considered setting a Dday had higher levels of SOC. After adjusting for all variables, stages of readiness to change and SOC were kept in the model. This is the first Arm of this research where the focus is a discussion of the system’s implications for the participants’ “intentions to make behavioural changes” (IBC). Moreover, a second section of this study (second Arm) offers input collected from 77 in-depth interviews with the Web-Assisted Tobacco Intervention Probe (WATIP) users. Here, “Behaviour Change” (BC) and the usability of the platform are explored a year after IBC was declared. A percentage of 32.9% of self-reported, 12-month quitters in continuous abstinence from smoking from Dday to the 12-month follow- up point of the use of the Web-Assisted Tobacco Intervention Probe (WATIP) has been assessed. Comparing the Sense of Coherence (SOC) scores of participants by their respective means, according to the two groups, there was a significant difference in these scores of non smokers (BC) (M=144,66, SD=22,52) and Sense of Coherence (SOC) of smokers (noBC) (M=131,51, SD=21,43) p=0.014. This WATIP strategy and its contents benefit from the strengthening of the smoker’s sense of coherence (SOC), so that the person’s progress towards a life without tobacco may be experienced as comprehensible, manageable and meaningful. In this sample the sense of coherence (SOC) effect is moderate although it is associated with the day to quit smoking (Dday). Some of the limitations of this research have to do with self-selection bias, sample size (power) and self-reporting (no biochemical validation). The enrolment of participants was therefore not representative of the smoking population. It is not possible to verify the Web-Assisted Tobacco Intervention Probe (WATIP) evaluation of external validity; consequently, the results obtained cannot be applied generalized. No participation bias is provided. Another limitation of this study is the associated limitations of interviews. Interviewees’ perception that fabricating answers could benefit them more than telling the simple truth in response to questions is a risk that is not evaluated (with no external validation like measuring participants’ carbon monoxide levels). What emerges in this analysis is the relevance of the process that leads to the establishment of the quit day (Dday) to stop using tobacco. In addition, technological issues, when tailoring is the focus, are key elements for scrutiny. The high number of dropouts of users of the web platform mandates future research that should concentrate on the matters of the user-centred design of portals. The focus on gains in health through patient-centred care needs more research, so that technology usability be considered within the context of best practices in smoking cessation.
Resumo:
Trabalho baseado no relatório para a disciplina “Sociologia das Novas Tecnologias de Informação” no âmbito do Mestrado Integrado de Engenharia e Gestão Industrial, da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa em 2015-16. O trabalho foi orientado pelo Prof. António Brandão Moniz do Departamento de Ciências Sociais Aplicadas (DCSA) na mesma Faculdade.
Resumo:
Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies
Resumo:
Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática
Resumo:
Thesis submitted to Faculdade de Ciências e Tecnologia of the Universidade Nova de Lisboa, in partial fulfillment of the requirements for the degree of Master in Computer Science