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.

A utilização dos serviços de emergência pré-hospitalar, em Portugal Continental : estudo no INEM

RESUMO - A procura de cuidados de saúde constitui-se, desde há alguns anos, como um dos principais pontos de investigação na área da economia da saúde. São vários os estudos nacionais e internacionais publicados no decorrer do século passado, destacando-se o de Ronald Andersen, datado de 1960, que versou a utilização dos serviços de saúde pelas famílias e procurou descrever este fenómeno e os fatores condicionantes, na tentativa de conceber uma ferramenta de apoio ao desenvolvimento de políticas que promovessem a equidade no acesso aos serviços de saúde. Na década de 1970, Grossman, desenvolveu um modelo económico de procura em saúde (que ficou conhecido como Modelo de Grossman), estabelecendo que a procura de cuidados de saúde derivava da procura de saúde pelos indivíduos. A necessidade de caraterizar a procura dos cuidados de saúde, tem sido uma preocupação cada vez mais presente, considerando as restrições orçamentais que os sistemas de saúde atravessam, no contexto atual de restrições e medidas de austeridade. O Serviço Nacional de Saúde, em Portugal Continental, confronta-se, hoje mais do que nunca, com uma forte pressão orçamental, procurando promover a utilização mais racional e eficiente dos recursos disponíveis, o que condiciona todos os agentes que com ele contactam (profissionais de saúde, utentes, fornecedores e outros parceiros sociais). O presente estudo pretende caracterizar a procura e utilização dos cuidados de saúde de emergência pré-hospitalar, em 2010, em Portugal Continental, e contribuir, de uma forma restrita, para o processo de tomada de decisão adequada. A análise incidiu sobre os dados da procura do INEM, traduzida pelas chamadas (ocorrências) e pelas ativações de meios de emergências realizadas pelo CODU (Centros de Orientação de Doentes Urgentes). A via adotada para a prossecução deste estudo exploratório, baseou-se no Modelo Comportamental de Andersen, tendo sido escolhidas as variáveis, que melhor se enquadravam nos fatores predisponentes ou seja, aqueles que predispõem o indivíduo a utilizar os cuidados de saúde (e.g. sexo, idade), nos fatores capacitantes isto é, aqueles que habilitam (e.g. nível literário, instalações e equipamentos) e na necessidade de serviços de saúde (autoavaliada ou resultante da indicação de um profissional de saúde), todos eles definidos no referido modelo. Como variáveis de utilização efetiva dos cuidados de saúde, foram utilizados os dados fornecidos pelo INEM, nomeadamente o número de chamadas efetuadas para os CODU (ocorrências), e meios ativados, em consequência da ocorrência. Metodologicamente, optou-se por fazer uma análise descritiva dos resultados, seguida de análises de correlação e de regressão linear, de modo a aferir quais as variáveis que individualmente mais se correlacionam com a utilização e quais as variáveis (preditores) que melhor possibilitam a previsão da utilização dos cuidados de saúde de emergência pré-hospitalar. Os resultados obtidos na análise de correlação realizada por Concelho evidenciaram coeficientes de correlação, na sua maioria fracos ou moderados, não permitindo concluir de modo inequívoco que as variáveis predisponentes, capacitantes e de necessidade em saúde selecionadas, explicam a utilização dos cuidados de saúde de emergência pré-hospitalar. Foi possível, no entanto, e apesar de não muito marcante, demonstrar a existência de uma certa iniquidade na utilização, já que os fatores capacitantes parecem ser aqueles que melhor explicam a utilização dos cuidados de saúde de emergência pré-hospitalar, no ano de 2010. Quando a informação é agregada ao nível da Região e do CODU, as análises de correlação realizadas permitem constatar a existência de correlações moderadas e fortes entre os fatores que concorrem para a utilização (predisponentes, capacitantes e de necessidades em saúde). Os modelos preditivos determinados com recurso ao cálculo das regressões lineares não evidenciaram um comportamento homogéneo, quer no seu poder preditivo quer nas variáveis preditoras dos modelos. Verificou-se ainda que os modelos determinados tinham uma maior capacidade de predição da utilização de cuidados de emergência pré-hospitalar ao nível da ativação dos meios, do que ao nível do número de chamadas realizadas para os CODU, e que, de entre as ativações, os modelos determinados apresentaram maior capacidade preditiva da utilização de meios de suporte básico de vida, do que da utilização de meios de suporte avançado de vida. Um outro aspeto a ressaltar é a significância que as variáveis número de acidentes rodoviários com vítimas por 1000 habitantes, e número de meios de suporte básico de vida disponíveis por 100.000 habitantes têm nos modelos determinados, aparecendo em praticamente todos os modelos, como preditoras da utilização dos cuidados de saúde de emergência pré-hospitalar. Das análises realizadas ao nível das Regiões e dos CODU, verificou-se uma heterogeneidade nos resultados (influenciada pelas variáveis preditoras, nomeadamente das determinantes da procura – fatores demográficos, socioeconómicos e culturais), que influenciaram a capacidade preditiva dos modelos. Esta heterogeneidade, já havia sido descrita por Andersen, no seu modelo explicativo da utilização de cuidados de saúde. De facto, tal como no modelo teórico, também neste estudo se concluiu que as variáveis que mais contribuem para a predição da utilização são diversas, e variam de Região para Região, consoante a análise que se está a realizar. Fica em aberto a eventual pertinência da replicação do estudo, após a introdução de nova reorganização interna do INEM, nomeadamente com a eliminação da estrutura de 4 CODU passando a existir apenas um CODU nacional, a par da implementação de algoritmos de decisão, que poderão contribuir de forma significativa para a alteração da importância que as variáveis associadas à oferta, atualmente possuem, nos modelos determinados.

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

Serviços de informações portugueses. Estruturas, missões e recursos

As Informações são um instrumento essencial para a salvaguarda da segurança nacional dos Estados e no apoio ao processo de tomada de decisão dos agentes governativos. Em Portugal, o regime democrático vigente não é excepção, tendo a partir de 1984 sido instituído o SIRP – Sistema de Informações da República Portuguesa – volvidos apenas dez anos sobre o 25 de Abril de 1974 e a experiência opressiva da PIDE/DGS. No meio académico, poucos estudos têm sido publicados neste campo, tornando difícil o seu conhecimento aprofundado. A presente tese visa suprir algumas lacunas e proporcionar um contributo científico para uma melhor compreensão das Informações no actual regime democrático, propondo-se a analisar estruturas, recursos e missões dos serviços portugueses. Procede-se primeiramente ao estudo do percurso histórico do SIRP, para constatar o seu lento processo de consolidação institucional na orla do Estado, fruto das sucessivas alterações orgânicas. A impopularidade das Informações junto da classe política e da sociedade civil é identificada nesse processo, verificando-se que o seu enquadramento legal é prudente, restritivo e orientado pelo primado dos direitos, liberdades e garantias em detrimento das necessidades de carácter funcional. A segunda parte da dissertação efectua uma análise de carácter empírico-descritivo a algumas dimensões estruturantes dos serviços (chefias, recursos financeiros e missões). Verifica-se que apesar de o SIRP corresponder a uma estrutura de Intelligence de pequena dimensão cujo desenvolvimento não foi fácil, os serviços portugueses desempenham as suas missões com eficiência e reconhecida qualidade, não obstante a desfavorável cultura de Informações que os envolve.

Estudo das Perceções dos profissionais I-D sobre a qualidade da Informação e o seu impacto no desempenho dos serviços

O estudo da perceção dos Profissionais I-D sobre a qualidade da informação no desempenho das suas funções insere-se numa estratégia de investigação emergente em Portugal de gestão baseada em evidências, em que se pretende estudar e debater a problemática da qualidade da informação na formação dos futuros Profissionais da Informação. O universo estudado é o grupo de licenciados em Ciências da Informação e da Documentação pela Universidade Aberta que colaborou por meio da realização de um questionário através do Google Drive. É objetivo deste trabalho determinar a importância das dimensões da qualidade de informação em vários e heterogéneos domínios, nomeadamente; na tomada de decisão, na gestão da informação e no impacto no desempenho, seja em contexto privado ou laboral. As dimensões consideradas relevantes pelos respondentes foram as seguintes: qualidade da informação, quantidade de informação, acessibilidade, disponibilidade, usabilidade, compreensão, relevância, formato, concisão, impacto individual, aprendizagem, eficácia na decisão, impacto organizacional, tempo de resposta, objetividade e credibilidade da informação. Existe uma perceção generalizada na amostra estudada para que a qualidade da informação seja associada às características de fiabilidade, organização, concisão, facilidade de obtenção, pertinência, rapidez e segurança. Com efeito, é relevante e de indesmentível importância discutir no contexto académico o valor da informação por meio da avaliação dos seus atributos de qualidade, a fim de se dinamizarem novos indicadores e desempenhos que apontem para a efetividade das informações que são disponibilizadas em múltiplas situações informacionais.

Os serviços de informações de Portugal: organização e fiscalização

In, RDeS - Revista de Direito e Segurança, nº1 (Janeiro/Junho de 2013), 63-85 pp. que consiste numa versão actualizada do texto publicado na obra colectiva AAVV, Estudos de Direito e Segurança (coordenação de Jorge Bacelar Gouveia e Rui Carlos Pereira), Almedina, Coimbra, 2007, pp. 171 e ss.

Contratos de prestação de serviços de comunicações electrónicas

The object of this dissertation is the analysis of the legal framework applicable to contracts for provision of electronic communications services, while trying to offer solutions to some of the issues regarding this matter. The main focus of this study will be the rules concerning service’s suspension, which have been recently amended. The technological development and the establishment of these services as information transmitters and work tools were noteworthy for its growing importance at the present time. These services include cable television, telephone (landline and mobile) and internet and they are regulated by Law nr 23/96, July 26th, along with other essential public services. Said law sets a group of principles and duties, such as good faith (article 3), continuity and quality of the service (article 7) and the duty to rightfully inform the user (article 4), in order to protect the users. For the analysis of legal framework applicable to these particular contracts it is also fundamental to mention Law nr 5/2004, February 10th, known as Electronic Communications Law. The provisions regarding the service’s suspension are currently prescribed in articles 52.º and 52.º-A of the law. Given the amendments introduced by Law nr 10/2013, January 28th, consumers are subjected to a regulation different from the one applicable to the other users, established in the new article 52.º-A. From our analysis, we have concluded that the main change from past provisions has to do with the automatic termination of the contract as consequence of the consumer’s failure to pay the price or to conclude a written payment arrangement after service’s suspension.

Cliente mobile para consumo e disponibilização de serviços georreferenciados

Actualmente as aplicações móveis são indispensáveis para o utilizador. De acordo com estudos recentes, as receitas geradas pela sua utilização resultaram em aproximadamente 20 biliões de dólares só em 2013. Com estes valores estima-se que no futuro estes números aumentem, daí tornar-se imperativo abordar num estudo científico sobre este mercado em expansão. A somar às inúmeras aplicações referentes ao sistema móvel Android, surgem as aplicações de serviços georreferenciados que vão aqui ser abordadas em maior profundidade, nomeadamente o consumo e disponibilização destes serviços em clientes mobile. Ponderadas diversas soluções é possível com alguns melhoramentos atingir benefícios específicos para um maior número de utilizadores tendo em conta as suas características a priori. Uma das questões principais passa pela capacidade de publicação de diversas fontes de informação (vários publishers) com o uso de uma Application Programing Interface (API) documentada e aberta para que qualquer entidade possa publicar os seus conteúdos georreferenciados. O consumo por parte dos utilizadores (subscriber) é feita numa plataforma móvel Android onde os possam vários publishers possam publicar os seus conteúdos a partir da posição do utilizador. Esta publicação será facilitada criando bases de dados para o armazenamento de todas as informações relevantes tanto da parte dos publishers como dos subscribers. A validação deste trabalho consistiu em testar vários tipos de publicações, nomeadamente texto, imagem e gráficos na sua pesquisa e consumo numa plataforma móvel Android. Numa segunda fase, foi testada a publicação de gráficos em tempo real na plataforma.

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.

Gestão do ambiente e energia no sector dos serviços: caso estudo Logica

Num mundo globalizado, a competitividade entre organizações está a aumentar e tal como a Teoria de Darwin apenas sobrevivem os mais aptos, aqueles que se diferenciam pela inovação e sustentabilidade. Neste âmbito, a certificação pela norma ISO 14001 é encarada como uma norma de qualidade ambiental que permite diferenciar a organização pelas suas práticas. Este trabalho insere-se no protocolo de colaboração entre a FCT-UNL e a Logica TI Portugal e tem como objectivo principal a realização de uma auditoria ambiental a esta última. A auditoria consistiu no diagnóstico ambiental da organização e análise da distância à ISO 14001. Os resultados do diagnóstico indicam que os domínios ambientais significativos da organização são o consumo de energia eléctrica, a produção de resíduos, emissões atmosféricas e o consumo de papel e toners. Em relação ao cumprimento da ISO 14001, a organização já possui requisitos implementados pois é certificada pela ISO 9001 – Sistemas de Gestão da Qualidade que contem requisitos comuns. Uma vez que existe uma Política de Ambiente do grupo definida falta implementar processos que a realizem. Os resultados obtidos no diagnóstico ambiental permitiram apresentar recomendações para melhorar o desempenho ambiental da organização. Por outro lado, os resultados da distância à ISO 14001 permitiram elaborar tópicos para a implementação futura de um Sistema de Gestão Ambiental com base nos requisitos desta norma