Engineering Temporal and Spatial Aspects in OWL using Patterns

WWW is a huge, open, heterogeneous system, however its contents data is mainly human oriented. The Semantic Web needs to assure that data is readable and “understandable” to intelligent software agents, though the use of explicit and formal semantics. Ontologies constitute a privileged artifact for capturing the semantic of the WWW data. Temporal and spatial dimensions are transversal to the generality of knowledge domains and therefore are fundamental for the reasoning process of software agents. Representing temporal/spatial evolution of concepts and their relations in OWL (W3C standard for ontologies) it is not straightforward. Although proposed several strategies to tackle this problem but there is still no formal and standard approach. This work main goal consists of development of methods/tools to support the engineering of temporal and spatial aspects in intelligent systems through the use of OWL ontologies. An existing method for ontology engineering, Fonte was used as framework for the development of this work. As main contributions of this work Fonte was re-engineered in order to: i) support the spatial dimension; ii) work with OWL Ontologies; iii) and support the application of Ontology Design Patterns. Finally, the capabilities of the proposed approach were demonstrated by engineering time and space in a demo ontology about football.

Implementation of the RIF-PRD

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

A framework for supporting knowledge representation – an ontological based approach

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

XATA 2010 : XML : Associated Technologies and Applications, 8th

These are the proceedings for the eighth national conference on XML, its Associated Technologies and its Applications (XATA'2010). The paper selection resulted in 33% of papers accepted as full papers, and 33% of papers accepted as short papers. While these two types of papers were distinguish during the conference, and they had different talk duration, they all had the same limit of 12 pages. We are happy that the selected papers focus both aspects of the conference: XML technologies, and XML applications. In the first group we can include the articles on parsing and transformation technologies, like “Processing XML: a rewriting system approach", “Visual Programming of XSLT from examples", “A Refactoring Model for XML Documents", “A Performance based Approach for Processing Large XML Files in Multicore Machines", “XML to paper publishing with manual intervention" and “Parsing XML Documents in Java using Annotations". XML-core related papers are also available, focusing XML tools testing on “Test::XML::Generator: Generating XML for Unit Testing" and “XML Archive for Testing: a benchmark for GuessXQ". XML as the base for application development is also present, being discussed on different areas, like “Web Service for Interactive Products and Orders Configuration", “XML Description for Automata Manipulations", “Integration of repositories in Moodle", “XML, Annotations and Database: a Comparative Study of Metadata Definition Strategies for Frameworks", “CardioML: Integrating Personal Cardiac Information for Ubiquous Diagnosis and Analysis", “A Semantic Representation of Users Emotions when Watching Videos" and “Integrating SVG and SMIL in DAISY DTB production to enhance the contents accessibility in the Open Library for Higher Education". The wide spread of subjects makes us believe that for the time being XML is here to stay what enhances the importance of gathering this community to discuss related science and technology. Small conferences are traversing a bad period. Authors look for impact and numbers and only submit their works to big conferences sponsored by the right institutions. However the group of people behind this conference still believes that spaces like this should be preserved and maintained. This 8th gathering marks the beginning of a new cycle. We know who we are, what is our identity and we will keep working to preserve that. We hope the publication containing the works of this year's edition will catch the same attention and interest of the previous editions and above all that this publication helps in some other's work. Finally, we would like to thank all authors for their work and interest in the conference, and to the scientific committee members for their review work.

Publicação de linked data: o caso de uso Pordata

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

User friendly knowledge acquisition system for medical devices actuation

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Geospatial data harmonization from regional level to european level: a usa case in forest fire data

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Providing energy efficiency location-based strategies for buildings using linked open data

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

GI Systems for public health with an ontology based approach

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Hypermedia-based Web Services as System Integrators

As we move more closely to the practical concept of the Internet of Things and, our reliance on public and private APIs increases, web services and their related topics have become utterly crucial to the informatics community. However, the question about which style of web services would best solve a particular problem, can raise signi cant and multifarious debates. There can be found two implementation styles that highlight themselves: the RPC-oriented style represented by the SOAP protocol’s implementations and the hypermedia style, which is represented by the REST architectural style’s implementations. As we search examples of already established web services, we can nd a handful of robust and reliable public and private SOAP APIs, nevertheless, it seems that RESTful services are gaining popularity in the enterprise community. For the current generation of developers that work on informatics solutions, REST seems to represent a fundamental and straightforward alternative and even, a more deep-rooted approach than SOAP. But are they comparable? Do both approaches have each speci c best suitable scenarios? Such study is brie y carried out in the present document’s chapters, starting with the respective background study, following an analysis of the hypermedia approach and an instantiation of its architecture, in a particular case study applied in a BPM context.

Providing Adaptation for an Adaptive Hypermedia System

O ensino à distância cresceu consideravelmente nos últimos anos e a tendência é para que continue a crescer em anos vindouros. No entanto, enquanto que a maioria das plataformas de ensino à distância utilizam a mesma abordagem de ensino para todos os utilizadores, os estudantes que as usam são na realidade pessoas de diferentes culturas, locais, idades e géneros, e que possuem diferentes níveis de educação. Ao contrário do ensino à distância tradicional, os sistemas de hipermédia adaptativa educacional adaptam interface, apresentação de conteúdos e navegação, entre outros, às características, necessidades e interesses específicos de diferentes utilizadores. Apesar da investigação na área de sistemas de hipermédia adaptativa já estar bastante desenvolvida, é necessário efetuar mais desenvolvimento e experimentação de modo a determinar quais são os aspetos mais eficazes destes sistemas e avaliar o seu sucesso. A Plataforma de Aprendizagem Colaborativa da Matemática (PCMAT) é um sistema de hipermédia adaptativa educacional com uma abordagem construtivista, que foi desenvolvido com o objetivo de contribuir para a investigação na área de sistemas de hipermédia adaptativa. A plataforma avalia o conhecimento do utilizador e apresenta conteúdos e atividades adaptadas às características e estilo de aprendizagem dominante de estudantes de matemática do segundo ciclo. O desenvolvimento do PCMAT tem também o propósito de auxiliar os alunos Portugueses com a aprendizagem da matemática. De acordo com o estudo PISA 2012 da OCDE [OECD, 2014], o desempenho dos alunos Portugueses na área da matemática melhorou em relação à edição anterior do estudo, mas os resultados obtidos permanecem abaixo da média da OCDE. Por este motivo, uma das finalidades deste projeto é desenvolver um sistema de hipermédia adaptativa que, ao adequar o ensino da matemática às necessidades específicas de cada aluno, os assista com a aquisição de conhecimento. A adaptação é efetuada pelo sistema usando a informação constante no modelo do utilizador para definir um grafo de conceitos do domínio específico. Este grafo é adaptado do modelo do domínio e utilizado para dar resposta às necessidades particulares de cada aluno. Embora a trajetória inicial seja definida pelo professor, o percurso percorrido no grafo por cada aluno é determinado pela sua interação com o sistema, usando para o efeito a representação do conhecimento do aluno e outras características disponíveis no modelo do utilizador, assim como avaliação progressiva. A adaptação é conseguida através de alterações na apresentação de conteúdos e na estrutura e anotações das hiperligações. A apresentação de conteúdos é alterada mostrando ou ocultando cada um dos vários fragmentos que compõe as páginas dum curso. Estes fragmentos são compostos por diferentes objetos de aprendizagem, tais como exercícios, figuras, diagramas, etc. As mudanças efetuadas na estrutura e anotações das hiperligações têm o objetivo de guiar o estudante, apontando-o na direção do conhecimento mais relevante e mantendo-o afastado de informação inadequada. A escolha de objectos de aprendizagem adequados às características particulares de cada aluno é um aspecto essencial do modelo de adaptação do PCMAT. A plataforma inclui para esse propósito um módulo responsável pela recomendação de objectos de aprendizagem, e um módulo para a pesquisa e recuperação dos mesmos. O módulo de recomendação utiliza lógica Fuzzy para converter determinados atributos do aluno num conjunto de parâmetros que caracterizam o objecto de aprendizagem que idealmente deveria ser apresentado ao aluno. Uma vez que o objecto “ideal” poderá não existir no repositório de objectos de aprendizagem do sistema, esses parâmetros são utilizados pelo módulo de pesquisa e recuperação para procurar e devolver ao módulo de recomendação uma lista com os objectos que mais se assemelham ao objecto “ideal”. A pesquisa é feita numa árvore k-d usando o algoritmo k-vizinhos mais próximos. O modelo de recomendação utiliza a lista devolvida pelo módulo de pesquisa e recuperação para seleccionar o objecto de aprendizagem mais apropriado para o aluno e processa-o para inclusão numa das páginas Web do curso. O presente documento descreve o trabalho desenvolvido no âmbito do projeto PCMAT (PTDS/CED/108339/2008), dando relevância à adaptação de conteúdos.

Web-assisted tobacco intervention in Portuguese : intentions to make behavioural changes and behavioural changes

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.

Service-oriented infrastructure to support the control, monitoring and management of a shop floor system

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

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.

Product extension services deployment platform

Due to the progresses made in the branch of embedded technologies, manufacturers are becoming able to pack their shop floor level manufacturing resources with even more complex functionalities. This technological progression is radically changing the way production systems are designed and deployed, as well as, monitored and controlled. The dissemination of smart devices inside production processes confers new visibility on the production system while enabling for a more efficient and effective management of the operations. By turning the current manufacturing resources functionalities into services based on a Service Oriented Architecture (SOA), in order to expose them as a service to the user, the binomial manufacturing resource/service will push the entire manufacturing enterprise visibility to another level while enabling the global optimization of the operations and processes of a production system while, at the same time, supporting its accommodation to the operational spike easily and with reduced impact on production. The present work implements a Cloud Manufacturing infrastructure for achieving the resource/service value-added i.e. to facilitate the creation of services that are the composition of currently available atomic services. In this context, manufacturing resource virtualization (i.e. formalization of resources capabilities into services accessible inside and outside the enterprise) and semantic representation/description are the pillars for achieving resource service composition. In conclusion, the present work aims to act on the manufacturing resource layer where physical resources and shop floor capabilities are going to be provided to the user as a SaaS (Software as a Service) and/or IaaS (Infrastructure as a Service).