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.

Identificação das práticas de inovação aberta nas parcerias estratégicas: avaliação realizada com prestadores de cloud computing

No atual contexto da inovação, um grande número de estudos tem analisado o potencial do modelo de Inovação Aberta. Neste sentido, o autor Henry Chesbrough (2003) considerado o pai da Inovação Aberta, afirma que as empresas estão vivenciando uma “mudança de paradigma” na maneira como desenvolvem os seus processos de inovação e na comercialização de tecnologia e conhecimento. Desta forma, o modelo de Inovação Aberta defende que as empresas podem e devem utilizar os recursos disponíveis fora das suas fronteiras sendo esta combinação de ideias e tecnologias internas e externas crucial para atingir uma posição de liderança no mercado. Já afirmava Chesbrough (2003) que não se faz inovação isoladamente e o próprio dinamismo do cenário atual reforça esta ideia. Assim, os riscos inerentes ao processo de inovação podem ser atenuados através da realização de parcerias entre empresas e instituições. A adoção do modelo de Inovação Aberta é percebida com base na abundância de conhecimento disponível, que poderá proporcionar valor também à empresa que o criou, como é o caso do licenciamento de patentes. O presente estudo teve como objetivo identificar as práticas de Inovação Aberta entre as parcerias mencionadas pelas empresas prestadoras de Cloud Computing. Através da Análise de Redes Sociais foram construídas matrizes referentes às parcerias mencionadas pelas empresas e informações obtidas em fontes secundárias (Sousa, 2012). Essas matrizes de relacionamento (redes) foram analisadas e representadas através de diagramas. Desta forma, foi possível traçar um panorama das parcerias consideradas estratégicas pelas empresas entrevistadas e identificar quais delas constituem, de fato, práticas de Inovação Aberta. Do total de 26 parcerias estratégicas mencionadas nas entrevistas, apenas 11 foram caracterizadas como práticas do modelo aberto. A análise das práticas conduzidas pelas empresas entrevistadas permite verificar algumas limitações no aproveitamento do modelo de Inovação Aberta. Por fim, são feitas algumas recomendações sobre a implementação deste modelo pelas pequenas e médias empresas baseadas em tecnologias emergentes, como é o caso do conceito de cloud computing.

Posicionamento do Brasil face aos países mais avançados em cloud computing

This study discusses some fundamental issues so that the development and diffusion of services based in cloud computing happen positively in several countries. For exposure of this subject is discusses public initiatives by the most advanced countries in terms of cloud computing application and the brazilin position in this context. Based on presented evidences here it appears that the essential elements for the development and diffusion of cloud computing in Brazil made important steps and show evidence of maturity, as the cybercrime legislation. However, other elements still require analysis and specifically adaptations for the cloud computing case, such as the Intellectual Property Rights. Despite showing broadband services still lacking, one cannot disregard the government effort to facilitate access for all society. In contrast, the large volume of the Brazilian IT market is an interest factor for companies seeking to invest in the country.

Overcoming the “European Paradox”: The role of Regional Innovation Systems (RIS) in translating R&D investments into economic and employment growth

The emergence of the so-called “European Paradox” shows that R&D investment is not maximally effective and that increasing the scale of public R&D expenditures is not sufficient to generate employment and sustained economic growth. Increasing Governmental R&D Investment is far from being a “panacea” for stagnant growth. It is worth noting that Government R&D Investment does not have a statistically significant impact on employment, indicating the need to assess the trade-offs of policies that could lead to significant increases in government expenditure. Surprisingly, Governmental R&D Employment does not contribute to “mass-market” employment, despite its quite important role in reducing Youth-Unemployment. Despite the negative side-effects of Governmental R&D Employment on both GVA and GDP, University R&D Employment appears to have a quite important role in reducing Unemployment, especially Youth-Unemployment, while it also does not have a downside in terms of economic growth. Technological Capacity enhancement is the most effective instrument for reducing Unemployment and is a policy without any downside regarding sustainable economical development. In terms of wider policy implications, the results reinforce the idea that European Commission Research and Innovation policies must be restructured, shifting from a transnational framework to a more localised, measurable and operational approach.

From "Humanities and Computing" to "Digital Humanities": Digital Humanities in Portugal with a focus on Historical Research

In the following text I will develop three major aspects. The first is to draw attention to those who seem to have been the disciplinary fields where, despite everything, the Digital Humanities (in the broad perspective as will be regarded here) have asserted themselves in a more comprehensive manner. I think it is here that I run into greater risks, not only for what I have mentioned above, but certainly because a significant part, perhaps, of the achievements and of the researchers might have escaped the look that I sought to cast upon the past few decades, always influenced by my own experience and the work carried out in the field of History. But this can be considered as a work in progress and it is open to criticism and suggestions. A second point to note is that emphasis will be given to the main lines of development in the relationship between historical research and digital methodologies, resources and tools. Finally, I will try to make a brief analysis of what has been the Digital Humanities discourse appropriation in recent years, with very debatable data and methods for sure, because studies are still scarce and little systematic information is available that would allow to go beyond an introductory reflection.

Estudo de implementação da NP EN ISO 22000:2005 na Cooperativa de Olivicultores de Fátima, C. R.L.

O conceito de “Segurança Alimentar” faz sentido no momento em que o ser humano tem consciência de que o que ingere deve ser inócuo para a sua saúde e bem-estar. Para dar resposta a esta preocupação global, a indústria alimentar teve necessidade de adotar diretrizes orientadoras para a produção de alimentos seguros. Em consequência disso, surgiram as normas para os Sistemas de Gestão da Segurança Alimentar (SGSA) e a sua implementação é hoje em dia um elemento fundamental para a competitividade da empresa e dos produtos que comercializa. O trabalho desenvolvido na presente dissertação visa o estudo da implementação de um Sistema de Gestão da Segurança Alimentar com base no referencial de certificação NP EN ISO 22000:2005, na Cooperativa de Olivicultores de Fátima C. R. L.. A implementação de um sistema de gestão e a sua posterior certificação, é uma mais-valia para uma empresa. Ao obter a certificação, obtêm-se reconhecimento e satisfação dos clientes e outras partes interessadas, melhoria da imagem e prestigio, acesso a novos mercados, redução de custos de funcionamento através da melhoria do desempenho operacional e uma nova cultura com a sensibilização e motivação dos colaboradores, orientada para a melhoria continua e para a satisfação dos clientes e outras partes interessadas. Tendo por base os Códigos de Boas-práticas e HACCP existentes, fez-se a revisão e atualização de todo o sistema. Reapreciou-se o processo de fabrico e reavaliaram-se os pontos críticos. Reviram-se os Programas Pré-requisitos e melhorou-se o sistema HACCP. Os SGSA têm uma elevada relevância nas organizações associadas ao sector alimentar também nas indústrias produtoras de azeite, uma vez que estas devem implementar metodologias capazes de assegurar que os perigos para a saúde dos consumidores são eliminados ou reduzidos a níveis aceitáveis. Os principais perigos na indústria do azeite numa fase inicial são a presença de microrganismos patogénicos e parasitas da azeitona (Ex.: Bactrocera oleae) que se podem desenvolver devido ao excessivo tempo de espera até à operação ou por temperaturas inadequadas, podendo este perigo ser resolvido através do controlo na receção, de fornecedores, e do tempo de operação; boas práticas de fabrico e formação do pessoal. A presença de folhas, terra, pedras e metais diversos é outro dos perigos mais frequentes que são contornados através do controlo na receção; inspeção visual; avaliação dos fornecedores, limpeza e lavagem das azeitonas. Ao longo da produção e embalamento os principais perigos são os resíduos de produtos de higienização, incorporação de partículas estranhas ou restos de sujidade e a contaminação química por resíduos de massas e óleos de lubrificação, perigos estes que são colmatados através de boas práticas de fabrico; plano de higiene e de manutenção dos equipamentos e do uso de lubrificantes homologados para a indústria alimentar.

Distúrbios osteomioarticulares : lombalgia e escoliose : prevalência e fatores associados : um estudo analítico e transversal em adolescentes da região do Algarve

RESUMO - Introdução: Os distúrbios osteomioarticulares envolvem diversas condições donde se destacam a lombalgia e a escoliose, a primeira considerando o fato que a sua prevalência tem vindo a aumentar em adolescentes consistindo num problema crescente de saúde pública que envolve custos indiretos e a escoliose pela ausência de estudos nacionais. Diversos fatores físicos, genéticos, mecânicos, comportamentais e ambientais podem estar envolvidos na patogénese das lombalgias e escolioses. O ambiente escolar, incluindo as posturas adotadas pelos alunos e o transporte das mochilas escolares, e alguns hábitos de estilos de vida constituem fatores que podem contribuir para o desenvolvimento destes distúrbios osteomioarticulares. Este estudo também aborda o estado ponderal, nomeadamente o excesso de peso e a obesidade, pois este é referido frequentemente como um potencial fator de risco destes distúrbios osteomioarticulares (apesar de ainda apresentar controvérsia na literatura), além de ser, por si só, atualmente considerado como um dos mais graves problemas de saúde pública a nível mundial. Objetivos do estudo: (1) determinar a prevalência pontual, anual e ao longo da vida de lombalgia, assim como a prevalência de escoliose em adolescentes da região do Algarve; (2) identificar os fatores associados ao desenvolvimento destes distúrbios osteomioarticulares; (3) determinar a prevalência de excesso de peso e de obesidade e explorar a sua eventual associação com a prevalência de lombalgia e escoliose em adolescentes; (4) comparar os resultados obtidos nos diferentes métodos antropométricos (Índice de massa corporal - IMC, medição das pregas cutâneas e circunferência abdominal) e verificar a sua concordância. Material e métodos: O desenho deste estudo foi de natureza observacional, analítico e transversal. O estudo foi aprovado pela Comissão de Ética da Administração Regional de Saúde do Algarve, pela Direção Regional de Educação do Algarve, pela Direção-Geral de Inovação e de Desenvolvimento Curricular, Ministério da Educação e Ciência, e pelas Direções dos Agrupamentos de Escolas que participaram do projeto. A amostra incluiu 966 adolescentes da região do Algarve, sul de Portugal, com idades compreendidas entre os 10 e 16 anos (12,24±1,53 anos), sendo 437 (45,2%) do sexo masculino e 529 (54,8%) do feminino. O método de amostragem foi aleatório estratificado, com base nos concelhos da região do Algarve, assumindo que poderia existir heterogeneidades geográficas. Os instrumentos de medida foram aplicados num único momento (2011/2012) e incluíram o Questionário de Lombalgia e Hábitos Posturais para caracterizar a presença de lombalgia e os hábitos posturais adotados pelos alunos em casa e na escola, o escoliómetro para avaliar a presença de escoliose, a balança, o estadiómetro (sendo posteriormente calculado o IMC), o adipómetro e a fita métrica. A análise dos dados incluiu técnicas de estatística descritiva, gráficas e analíticas aplicadas à todas as variáveis em estudo. Para determinar a associação entre as variáveis do estudo foi utilizada a estatística inferencial, nomeadamente o teste de independência do Qui-quadrado. Para analisar as correlações entre as medidas obtidas com os métodos antropométricos (na sua forma quantitativa), foi utilizado o coeficiente de Spearman. A influência das diversas variáveis na presença de lombalgia foi aferida através de regressões logísticas binárias, sendo os resultados apresentados como odds ratios brutos e ajustados e respetivos intervalos de confiança. Resultados: O presente estudo revelou uma elevada prevalência de lombalgia (anual: 47,2%; pontual: 15,7%; ao longo da vida: 62,1%). As raparigas apresentaram 2,05 de probabilidade de apresentar lombalgia comparativamente aos rapazes (IC 95%: 1,58-2,65; p<0,001), assim como os alunos com idades mais avançadas (13-16 anos) comparativamente aos mais novos (10-12 anos) que tiveram 1,54 de chances (IC 95%: 1,19-1,99; p=0,001). Os alunos que indicaram adotar uma postura de sentado com a coluna vertebral posicionada incorretamente apresentaram 2,49 de probabilidade de revelar lombalgia (IC 95%: 1,91-3,24; p<0,001), os alunos que afirmaram se posicionar de forma inadequada para assistir televisão ou jogar videojogos tiveram a probabilidade de 2,01 (IC 95%: 1,55- 2,61; p<0,001) e aqueles que adotaram a postura de pé incorretamente tiveram 3,39 de chance de apresentar lombalgia (IC 95%: 2,19-5,23; p<0,001). A escoliose esteve presente em 41 (4,2%) alunos. As raparigas apresentaram a maior prevalência (4,5% versus 3,9%) do que os rapazes e o mesmo foi observado nas raparigas que apresentaram a menarca tardia (8,6% versus 3,3%) e os que foram classificados como magros (7,1%), não sendo no entanto estas diferenças estatisticamente significativas. Relativamente à prevalência de excesso de peso e obesidade, os valores variaram de 31,6%, 61,4% e 41,1% de acordo com a medição do IMC, pregas cutâneas e circunferência abdominal, respetivamente. Os valores obtidos com a avaliação dos três métodos antropométricos apresentaram um elevado alto grau de correlação entre o IMC e as pregas cutâneas (p<0,001; r=0,712), entre o IMC e circunferência abdominal (p<0,001; r=0,884) e entre a circunferência abdominal e as pregas cutâneas (p<0,001; r=0,701). Conclusões: O presente estudo revelou valores de prevalência de lombalgia semelhante a estudos anteriores sendo que os alunos com idade mais avançada, ou do sexo feminino ou aqueles que adotavam a postura sentada e de pé de forma inadequada ou os que transportavam indevidamente a mochila escolar apresentaram a maior prevalência. Quanto à presença de escoliose, observou-se uma baixa prevalência não sendo verificada nenhuma associação significativa com os fatores analisados. Relativamente ao estado ponderal, verificou-se uma elevada prevalência de excesso de peso e obesidade, com a utilização dos três métodos antropométricos: IMC, medição das pregas cutâneas e circunferência abdominal, tendo sido verificado um elevado grau de correlação entre estes três métodos antropométricos. Este estudo contribuiu para determinar a magnitude destes distúrbios osteomiarticulares nesta população específica, assim como seus possíveis fatores associados. De acordo os resultados obtidos no presente estudo, torna-se necessário ações de intervenção nas escolas, envolvendo não somente os alunos, mas toda a comunidade escolar, com o objetivo de prevenção destes distúrbios osteomioarticulares através da promoção de hábitos de vida saudável.