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.

Creation of a web application for smart park system and parking prediction study for system integration

In the last few years, we have observed an exponential increasing of the information systems, and parking information is one more example of them. The needs of obtaining reliable and updated information of parking slots availability are very important in the goal of traffic reduction. Also parking slot prediction is a new topic that has already started to be applied. San Francisco in America and Santander in Spain are examples of such projects carried out to obtain this kind of information. The aim of this thesis is the study and evaluation of methodologies for parking slot prediction and the integration in a web application, where all kind of users will be able to know the current parking status and also future status according to parking model predictions. The source of the data is ancillary in this work but it needs to be understood anyway to understand the parking behaviour. Actually, there are many modelling techniques used for this purpose such as time series analysis, decision trees, neural networks and clustering. In this work, the author explains the best techniques at this work, analyzes the result and points out the advantages and disadvantages of each one. The model will learn the periodic and seasonal patterns of the parking status behaviour, and with this knowledge it can predict future status values given a date. The data used comes from the Smart Park Ontinyent and it is about parking occupancy status together with timestamps and it is stored in a database. After data acquisition, data analysis and pre-processing was needed for model implementations. The first test done was with the boosting ensemble classifier, employed over a set of decision trees, created with C5.0 algorithm from a set of training samples, to assign a prediction value to each object. In addition to the predictions, this work has got measurements error that indicates the reliability of the outcome predictions being correct. The second test was done using the function fitting seasonal exponential smoothing tbats model. Finally as the last test, it has been tried a model that is actually a combination of the previous two models, just to see the result of this combination. The results were quite good for all of them, having error averages of 6.2, 6.6 and 5.4 in vacancies predictions for the three models respectively. This means from a parking of 47 places a 10% average error in parking slot predictions. This result could be even better with longer data available. In order to make this kind of information visible and reachable from everyone having a device with internet connection, a web application was made for this purpose. Beside the data displaying, this application also offers different functions to improve the task of searching for parking. The new functions, apart from parking prediction, were: - Park distances from user location. It provides all the distances to user current location to the different parks in the city. - Geocoding. The service for matching a literal description or an address to a concrete location. - Geolocation. The service for positioning the user. - Parking list panel. This is not a service neither a function, is just a better visualization and better handling of the information.

Suporte para bilhética numa plataforma web para organização de eventos

Esta dissertação foi desenvolvida em ambiente empresarial com a empresa Opensoft. O tema da dissertação está focado no estudo e desenvolvimento de uma solução de acreditação e controlo de acessos de participantes em eventos. Tem como objetivo estender uma plataforma web já existente que permite a criação e gestão de eventos, por parte do organizador, e a inscrição e respetivo pagamento, no caso de existir, por parte dos participantes. Nesta dissertação realizou-se um estudo sobre registos de entradas, acreditação, controlo de acessos e entregáveis onde já existem diversas soluções no mercado. Existem várias soluções que se dedicam a diferentes modelos de eventos, sendo a maioria destas soluções de check-in apenas um registo simples de participantes sem um conceito de acreditação, e sendo a maior parte de carácter móvel. Estudou-se um sistema de gestão de inscrições em eventos e respetivos pagamentos, o Weventual, que tinha algumas desvantagens em relação às soluções existentes. Com vista a melhorar este sistema e promovê-lo como um grande concorrente aos outros sistemas de gestão de eventos, foi apresentada uma proposta de solução composta por duas vertentes, uma pelo uso do portal online para eventos que não têm a capacidade de adquirir dispositivos móveis ou queiram usar sempre a mesma plataforma, e outra pelo uso de uma aplicação móvel de forma a se facilitar a logística da maioria de eventos não sendo necessário de um posto fixo com um computador e diversos dispositivos periféricos associados e até poder ser offline. Neste projeto foi realizado um sistema que permite então a realização de registos de entradas e acreditação durante o decorrer de um evento, podendo este registo funcionar manualmente ou pela utilização de códigos de barras de forma a automatizar e agilizar o processo e ainda com propriedades web design responsive para integrar diversos tipos de dispositivos fixos e móveis. Foi incluída a emissão de recibos/fatura após o pagamento de uma inscrição num evento sendo utilizada uma ligação por web services a um sistema externo, o SIMN. Foi ainda proposta uma funcionalidade de apresentação de resultados sobre os participantes do evento. Esta solução encontra-se validada tendo sido implementada e adicionada ao Portal Weventual.

Web Design como ferramenta de Comunicação Digital

WEB DESIGN COMO FERRAMENTA DE COMUNICAÇÃO DIGITAL: DESIGN E DESENVOLVIMENTO DE SITES, UTILIZANDO O GESTOR DE CONTEÚDOS WORDPRESS; DESIGN DE CONTEÚDOS VISUAIS PARA O FACEBOOK DE UMA MARCA

Desenvolvimento de aplicações de Sistemas de Informação Geográfica WEB para gestão de resíduos urbanos.

A gestão do território contribui para o desenvolvimento socioeconómico e para o alcance de necessidades coletivas. A gestão de recursos, por sua vez, é uma das vias para atingir tais propósitos, convocando agentes, entidades e serviços para a administração de um território. O crescimento social e económico e a expansão urbana das últimas décadas tiveram um impacto significativo no consumo de recursos e na decorrente produção de resíduos, fazendo da gestão dos mesmos um importante meio para a gestão de recursos, com contributo para a gestão do território. Neste contexto, surgem serviços de gestão de resíduos urbanos, que dependem de informação geográfica referente ao seu sistema e ao do ambiente territorial em que o mesmo se insere. Face ao dinamismo e às relações entre diversos fenómenos e elementos presentes no referido ambiente, o processo de gestão de resíduos urbanos torna-se um desafio cada vez mais exigente e heterogéneo, em matéria de decisão espacial. Por esse motivo, é indispensável possuir ferramentas que integrem vários dados e que possibilitem abordagens metodológicas orientadas para uma intervenção territorial mais realista. Para tal, existem diversos métodos e técnicas, assentes em Tecnologias de Informação e Comunicação, com uma considerável adesão a soluções de Sistemas de Informação Geográfica, dada a necessidade de manipular informação com carácter espacial referente à gestão de resíduos urbanos. No quadro atual da produção e da prestação de serviços através de rede digital, as plataformas Web desses Sistemas de Informação Geográfica constituem-se como um instrumento para gestão de resíduos. Considerando o exemplo do Gabinete de Estudos, Planeamento e Controlo, dos Serviços Intermunicipalizados de Águas e Resíduos dos Municípios de Loures e Odivelas, no presente Trabalho de Projeto, pretende-se avaliar a situação atual das metodologias e dos recursos tecnológicos que um serviço deste tipo possui, percebendo o contributo que aplicações de Sistemas de Informação Geográfica Web podem ter para a concretização da sua missão, na conjuntura atual da tecnologia, da informação e da comunicação na Administração Pública. Assim, o presente Trabalho de Projeto propõe também um modelo de desenvolvimento das referidas aplicações, assentes em Sistemas de Informação Geográfica Desktop e Web de código aberto, livres e gratuitos. As aplicações abarcam informação interna, referente ao sistema de resíduos urbanos, dos Serviços Intermunicipalizados de Águas e Resíduos dos Municípios de Loures e Odivelas, e informação externa diversa, referente ao seu território de intervenção. A integração e relação da informação interna e externa, com resultados nas aplicações, são apresentadas como possíveis meios de assistência aos procedimentos efetuados no Gabinete de Estudos, Planeamento e Controlo e à prestação efetiva do serviço de gestão de resíduos urbanos. Igualmente, é possível inferir a versatilidade, a aplicabilidade e o potencial de aplicações de Sistemas de Informação Geográfica, em diversas vertentes e escalas de gestão do território.

WEB TV. Uma proposta na área das ciências da comunicação

Este relatório descreve as fases essenciais do desenvolvimento de uma proposta para uma Web TV num contexto universitário e sugere um modelo multimédia baseado num princípio de folksonomia. Este projecto pretende ser uma mais valia na forma como o trabalho académico é divulgado e partilhado e visa ser um instrumento que dá visibilidade ao trabalho desenvolvido numa instituição académica, dinamiza a relação entre alunos e professores e torna possível a publicação dos mesmos para o publico em geral. Foi desenvolvido a pensar nas especificidades do Departamento de Ciências da Comunicação (DCC) da Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa (FCSH-UNL), sobretudo ao nível dos conteúdos de media produzidos nos ateliers e cadeiras práticas. Modelo que pode ser aplicado a outras instituições em contextos idênticos. A Web TV representa, no universo dos média, um conjunto muito alargado de aplicações que abrange a publicidade, o divertimento, o jornalismo e o ensino entre outras. O ensino é provavelmente a área em que a Web TV mais pode contribuir como meio privilegiado de divulgação e partilha de informação tanto dentro como fora de uma instituição universitária. Com a Web TV podem ser apresentados e criados os mais diversos conteúdos, como, por exemplo: conferências, aulas, documentários, teses e/ou qualquer outro conteúdo de texto ou multimédia que seja de natureza científica. As competências da Web 2.0, aplicadas na Web TV que proponho, conferem-lhe características únicas para a promoção e divulgação do conhecimento científico, revestindo assim este projecto de especial importância.

Relatório de estágio na agência Ogilvy. A importância dos testes de usabilidade e do Responsive Web Design no desenvolvimento de projetos digitais

O presente relatório de estágio enquadra-se no método de avaliação final do Mestrado em Novos Media e Práticas Web, da Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa e pretende abordar o trabalho desenvolvido por mim durante o estágio curricular realizado na agência de comunicação e publicidade Ogilvy. O estágio decorreu entre novembro de 2014 e fevereiro de 2015, durante o qual desempenhei o cargo de online producer e fui supervisionada por Sara Cabral Fonseca, diretora de projeto. Todos os trabalhos tiveram como objetivo principal o acompanhamento e conhecimento do processo ligado ao desenvolvimento de projetos digitais, desde o briefing até à programação e conteúdo. Os trabalhos compreenderam a realização de testes de usabilidade em deskop e mobile dos sites e aplicações desenvolvidos pelo departamento digital da empresa, e também o apoio na realização de tarefas ligadas à gestão de conteúdos de vários websites. Este relatório resulta de todo o trabalho concretizado e pretende efetuar uma contextualização teórica ligada à importância dos testes de usabilidade e do Responsive Web Design (RWD) na implementação de projetos digitais.

QEAT: Pergunta, Responde e Interage. Projeto de Comunicação de Nutrição na Web

A nutrição e a alimentação. Dois conceitos tão pessoais quanto públicos, que geram discussão e abrem espaço a mitos e crenças. O interesse coletivo nestes assuntos é causa e consequência da grande quantidade de informação, por vezes pouco rigorosa, outras contraditória, disponível online. Impõe-se portanto não só a transmissão de informação fidedigna, que reflita o estado atual da ciência, mas também a criação de espaços de diálogo, capazes de suscitar sentido crítico, num contexto de interação e comunicação online. Contextualiza-se assim a relevância do projeto QEAT, uma plataforma de comunicação de ciência, assente numa matriz de Envolvimento Público da Ciência ou Public Engagement with Science (PES), na sua expressão em inglês. O QEAT pretende ser um espaço de referência online, que promove o diálogo ao serviço da informação sobre alimentação e nutrição. Uma plataforma onde há espaço para o esclarecimento, a discussão e a participação, reunindo especialistas e não especialistas na mesma missão de comunicar nutrição. O modelo eleito seguirá um formato de rede social de pergunta e resposta (SQ&A), aproveitando a interatividade e a transversalidade destes canais de comunicação, abrindo aos diferentes públicos a possibilidade de participar na plataforma com perguntas, ideias, conteúdos. Desta forma, as ciências da nutrição e alimentação serão o tópico dominante das conversas, abertas a todos os interessados, instigadas e moderadas pelos gestores da plataforma. O canal QEAT será alimentado por conteúdos coproduzidos por nutricionistas, cientistas e diferentes profissionais da comunicação, no âmbito do projeto, a par de conteúdos produzidos pelos utilizadores (user generated contents), sujeitos a uma votação, ou seja, um controlo de qualidade. Todos os contribuidores vão construindo a sua reputação de acordo com a validade dos conteúdos que produzem. Uma gestão de conteúdos que permite por um lado monitorizar a qualidade e o rigor da informação, mas também perceber os tópicos que interessam aos utilizadores, bem como as suas dúvidas. A implementação deste projeto procura criar um espaço de referência online capaz de funcionar como um repositório dinâmico de informação sobre nutrição; e fomentar uma relação bidirecional entre os diferentes públicos do projeto. Da persecução destes objetivos, espera-se que resultem novas ideias, conhecimentos e direções dos caminhos a tomar no sentido de uma comunicação responsável na área da nutrição.

Wave4IOPT - editor e visualizador web de formas de onda – aplicação a controladores digitais especificados com modelos de Redes de Petri IOPT

Este trabalho tem o objectivo de criar um Editor e Visualizador Web de Formas de Onda para controladores digitais especificados com modelos Redes de Petri Input-Output Place-Transition (IOPT). Após uma análise das ferramentas existentes e constatando-se a inexistência de uma ferramenta adequada a essa função, desenvolveu-se uma ferramenta denominada Wave4IOPT, que permite a visualização das formas de onda de sinais e eventos de entrada e de saída ao longo do tempo. A ferramenta permite também a visualização dos resultados do histórico de uma simulação de uma Rede de Petri IOPT, proveniente do Simulador das IOPT-Tools. Esta ferramenta incorpora funcionalidades de edição, modos de visualização e um módulo básico de identificação e correcção de erros dos valores das formas de onda. O Wave4IOPT está disponível a partir de um browser e prevê-se que venha a estar integrado no ambiente de ferramentas IOPT-Tools. Esta ferramenta foi construída utilizando tecnologias Web como HTML, JavaScript, CSS, SVG e JSON. Adicionalmente, o Wave4IOPT poderá também servir para a edição, visualização e análise de outros tipos de sinais digitais, desde que sejam preenchidos os requisitos da estrutura do ficheiro JSON que será lido pela ferramenta.

How to reduce the causes of call center contact by implementing web self-service at Sonae MC?

This project aims to provide feasible solutions to improve customer´s Help Area at Continente Online. The goal is to increase satisfaction and loyalty by reducing the main causes that lead customers to appeal to Call Center or abandon the website. The pursued solution is the implementation of Web Self-Service and the vision taken is focused not only on providing customers basic help tools but also innovate with international best practices to sustain Sonae MC´s present and future market leader position. Customer´s feedback, costs and impact are taken in consideration to find the best fit for the company.