Design software architecture models using ontology

Software architecture plays an essential role in the high level description of a system design, where the structure and communication are emphasized. Despite its importance in the software engineering process, the lack of formal description and automated verification hinders the development of good software architecture models. In this paper, we present an approach to support the rigorous design and verification of software architecture models using the semantic web technology. We view software architecture models as ontology representations, where their structures and communication constraints are captured by the Web Ontology Language (OWL) and the Semantic Web Rule Language (SWRL). Specific configurations on the design are represented as concrete instances of the ontology, to which their structures and dynamic behaviors must conform. Furthermore, ontology reasoning tools can be applied to perform various automated verification on the design to ensure correctness, such as consistency checking, style recognition, and behavioral inference.

Knowledge representation and evaluation an ontology-based knowledge management approach

Competition between Higher Education Institutions is increasing at an alarming rate, while changes of the surrounding environment and demands of labour market are frequent and substantial. Universities must meet the requirements of both the national and European legislation environment. The Bologna Declaration aims at providing guidelines and solutions for these problems and challenges of European Higher Education. One of its main goals is the introduction of a common framework of transparent and comparable degrees that ensures the recognition of knowledge and qualifications of citizens all across the European Union. This paper will discuss a knowledge management approach that highlights the importance of such knowledge representation tools as ontologies. The discussed ontology-based model supports the creation of transparent curricula content (Educational Ontology) and the promotion of reliable knowledge testing (Adaptive Knowledge Testing System).

A Naturalist Abroad in the Museum of Ontology : Phillipe Descola's Beyond Nature and Culture

Peer reviewed

An Ontology for Experimentation with a Social Simulation of Land Use Change

Publisher PDF

Ontology and gnoseology of capitalism in Isaak Illich Rubin: 'Essays on marxist theory of value'

This concise essay attempts to show why Isaak Illich Rubin is, until today, the best interpreter, commentator and developer of The Capital of Karl Marx, understanding Marx’s work as an ontology and a gnoseology of the capitalist economic system. To do this, we analyze the relations existing between Marx, Rubin and the theory of science of the Spanish Marxist philosopher Gustavo Bueno. In this way, we can interpret the work “Essays on Marxist theory of value” also as an ontology and a gnoseology of capitalism.

Desenvolvimento de um sumo de fruta com adição da macroalga Gelidium corneum, recorrendo à tecnologia HPP: caracterização físico-química, microbiológica e sensorial

No setor alimentar, o controlo da qualidade dos produtos e dos processos é uma etapa essencial, uma vez que é por este meio que se avaliam os padrões exigidos, quer a nível de legislação, quer a nível de mercado. O presente trabalho teve, como objetivos principais, o desenvolvimento de um novo produto alimentar com adição de algas, bem como o controlo de qualidade a nível de uma unidade fabril de produção de sumos e polpas naturais, à base de hortofrutícolas. De forma a garantir a qualidade na obtenção de produtos, foi realizado, diariamente, o controlo de entradas dos produtos hortofrutícolas, o acompanhamento de processos nas linhas de produção da fábrica e a análise das amostras de referência. Considerando a tendência e potencial de crescimento apresentados pelo setor das bebidas, nomeadamente dos sumos de fruta naturais, juntamente com a incessante procura por ingredientes naturais ricos em vários nutrientes e com propriedades bioativas, tem-se vindo a registar o lançamento de um número considerável de bebidas inovadoras, onde as macroalgas têm merecido um papel de destaque. Desta forma, procedeu-se à elaboração de dois protótipos, nomeadamente, sumo de framboesa e sumo de espinafres, com a adição do extrato da alga Gelidium corneum, estabilizados através do processo de Hiperpressão a frio, com o intuito de se avaliar o impacto desse extrato nos diferentes parâmetros de qualidade dos sumos. No que respeita aos parâmetros físico-químicos, o pH e teor de sólidos solúveis (TSS) foram avaliados após produção (t0), no tempo intermédio (t15) e no tempo final (t30). A cor foi determinada no t0 e no t30 e os restantes parâmetros, como acidez titulável, quantificação total de polifenóis, capacidade de redução do radical DPPH, teor de proteína bruta, teor de cinzas, teor de minerais e oligoelementos e teor de vitaminas (A, B1, B2 e C) foram avaliados no tempo final (t30). Foram, também, avaliados os parâmetros microbiológicos mais significativos, nomeadamente, microrganismos totais a 30 ˚C, Escherichia coli, Salmonella spp, bolores e leveduras (ao t0, t15 e t30) e realizou-se uma avaliação sensorial ao 29.º dia após produção. Estes sumos apresentaram-se microbiologicamente estáveis, não se tendo verificado crescimento microbiológico durante o período de armazenamento de 30 dias. A análise dos resultados físico-químicos permitiram constatar que a adição do extrato da alga Gelidium corneum aos sumos influenciou as suas características, tendo havido um aumento significativo do pH com a consequente diminuição da acidez titulável e um aumento do teor de sólidos solúveis, em comparação com os sumos controlo. Em relação à avaliação da cor, no caso das amostras de sumos de framboesa, verificou-se que a adição do extrato de algas influenciou o parâmetro a*. No entanto, ambas as amostras permitiram a manutenção deste parâmetro, ao longo do tempo. Quanto ao parâmetro b*, as duas amostras de sumo com algas demonstraram uma evolução mais estável, em relação aos respetivos controlos. No que respeita ao teor em minerais, a adição do extrato da alga demonstrou aumentar os teores de magnésio, sódio, potássio e iodo. Em termos sensoriais, o sumo de framboesa com algas obteve maior aceitação por parte do painel de provadores, podendo-se constatar que o atributo da cor foi o que mostrou maiores variações, entre as duas amostras.

Language, Logos, and Social Ontology: Naturalist and Post-Naturalist Narratives of Human Rationality and Social Reality

I distinguish two ways that philosophers have approached and explained the reality and status of human social institutions. I call these approaches “naturalist” and “post-naturalist”. Common to both approaches is an understanding that the status of mind and its relation to the world or “nature” has implications on a conception of the status of institutional reality. Naturalists hold that mind is explicable within a scientific frame that conceives of mind as a fundamentally material process. By proxy, social reality is also materially explicable. Post-naturalists critique this view, holding instead that naturalism is parasitic on contemporary science—it therefore is non-compulsory and distorts how we ought to understand mind and social reality. A comparison of naturalism and post-naturalism will comprise the content of the first chapter. The second chapter turns to tracing out the dimensions of a post-naturalist narrative of mind and social reality. Post-naturalists conceive of mind and its activity of thought as sui generis, and it transpires from this that social institutions are better understood as a rational mind’s mode of the expression in the world. Post-naturalism conceives of social reality as a necessary dimension of thought. Thought requires a second person and thereby a tradition or context of norms that come to both structure its expression and become the products of expression. This is in contrast to the idea that social reality is a production of minds, and thereby derivative. Social reality, self-conscious thought, and thought of the second person are therefore three dimensions of a greater unity.

Sumo detox e os seus ingredientes: análise comparativa da atividade antioxidante, flavonóides e fenólicos totais

Os antioxidantes e os compostos bioativos naturalmente presentes nas frutas e vegetais têm suscitado um especial interesse entre os consumidores devido aos potenciais benefícios que apresentam para a saúde. Hoje em dia, uma das formas de consumo de frutas e vegetais é sob forma de sumos detox. No entanto, é fundamental avaliar as propriedades nutricionais e bioativas dos alimentos quando se misturam, dado que grande parte da informação disponível na literatura diz respeito aos ingredientes. O objetivo deste trabalho foi realizar a análise comparativa da atividade antioxidante, do teor de compostos fenólicos totais e do teor de flavonóides totais, entre um sumo detox e os seus ingredientes. Foram analisados 3 tipos de frutas (laranja, pera e banana), 2 tipos de vegetais (espinafres e cenoura) e o sumo detox, cuja composição se baseou na junção dos ingredientes anteriormente referidos. A atividade antioxidante foi determinada utilizando dois métodos, 2,2-difenil-1-picril-hidrazilo (DPPH•) e o poder de redução férrica (FRAP). O teor de compostos fenólicos totais foi determinado pelo método Folin-Ciocalteu, sendo os resultados expressos em equivalentes de ácido gálhico (EAG). O teor de flavonóides totais foi expresso em equivalentes de epicatequina (EEC). De acordo com os resultados obtidos, a laranja foi a amostra que apresentou maior atividade antioxidante, nos dois métodos utilizados. Relativamente ao teor de compostos fenólicos totais e ao teor de flavonóides totais, os espinafres apresentaram o valor mais elevado, 0,369 ± 0,04 mg EAG/mL e 113,2 ± 8,0 µg EEC/mL, respetivamente. A cenoura foi a amostra que apresentou o menor valor para os dois métodos 0,135 ± 0,0 mg EAG/mL para os compostos fenólicos totais e 21,9 ± 1,3 µg EEC/mL para os flavonóides totais. Tendo por base os resultados obtidos é possível concluir que o sumo detox analisado, de uma forma geral, apresenta um baixo poder antioxidante, comparativamente aos seus ingredientes.

Response toolkit to provide an active response against intrusions using Ontology-Based IRS

Los sistemas de respuesta activa tienen por objetivo ejecutar una respuesta en contra de una intrusión de forma automática. Sin embargo, ejecutar una respuesta automáticamente no es una tarea trivial ya que el costo de ejecutar una respuesta podría ser más grande que el efecto que cause la intrusión propiamente dicha. También, el sistema debe contar con un amplio conjunto de acciones de respuesta y un algoritmo que seleccione la respuesta óptima. Este artículo propone un toolkit de respuestas que será integrado a un IRS basado en Ontologías para permitir la ejecución automática de la mejor respuesta cuando una intrusión es detectada. Se presenta un conjunto de respuestas basadas en host y basadas en red que pueden ser ejecutadas por el IRS, dicha ejecución es llevada a cabo mediante agentes basados en plugins que han sido distribuidos en la red. Finalmente, se realiza la verificación del sistema propuesto, tomando como caso de uso un ataque de defacement obteniéndose resultados satisfactorios.

An ontology for risk management of digital collections

Maintaining accessibility to and understanding of digital information over time is a complex challenge that often requires contributions and interventions from a variety of individuals and organizations. The processes of preservation planning and evaluation are fundamentally implicit and share similar complexity. Both demand comprehensive knowledge and understanding of every aspect of to-be-preserved content and the contexts within which preservation is undertaken. Consequently, means are required for the identification, documentation and association of those properties of data, representation and management mechanisms that in combination lend value, facilitate interaction and influence the preservation process. These properties may be almost limitless in terms of diversity, but are integral to the establishment of classes of risk exposure, and the planning and deployment of appropriate preservation strategies. We explore several research objectives within the course of this thesis. Our main objective is the conception of an ontology for risk management of digital collections. Incorporated within this are our aims to survey the contexts within which preservation has been undertaken successfully, the development of an appropriate methodology for risk management, the evaluation of existing preservation evaluation approaches and metrics, the structuring of best practice knowledge and lastly the demonstration of a range of tools that utilise our findings. We describe a mixed methodology that uses interview and survey, extensive content analysis, practical case study and iterative software and ontology development. We build on a robust foundation, the development of the Digital Repository Audit Method Based on Risk Assessment. We summarise the extent of the challenge facing the digital preservation community (and by extension users and creators of digital materials from many disciplines and operational contexts) and present the case for a comprehensive and extensible knowledge base of best practice. These challenges are manifested in the scale of data growth, the increasing complexity and the increasing onus on communities with no formal training to offer assurances of data management and sustainability. These collectively imply a challenge that demands an intuitive and adaptable means of evaluating digital preservation efforts. The need for individuals and organisations to validate the legitimacy of their own efforts is particularly prioritised. We introduce our approach, based on risk management. Risk is an expression of the likelihood of a negative outcome, and an expression of the impact of such an occurrence. We describe how risk management may be considered synonymous with preservation activity, a persistent effort to negate the dangers posed to information availability, usability and sustainability. Risk can be characterised according to associated goals, activities, responsibilities and policies in terms of both their manifestation and mitigation. They have the capacity to be deconstructed into their atomic units and responsibility for their resolution delegated appropriately. We continue to describe how the manifestation of risks typically spans an entire organisational environment, and as the focus of our analysis risk safeguards against omissions that may occur when pursuing functional, departmental or role-based assessment. We discuss the importance of relating risk-factors, through the risks themselves or associated system elements. To do so will yield the preservation best-practice knowledge base that is conspicuously lacking within the international digital preservation community. We present as research outcomes an encapsulation of preservation practice (and explicitly defined best practice) as a series of case studies, in turn distilled into atomic, related information elements. We conduct our analyses in the formal evaluation of memory institutions in the UK, US and continental Europe. Furthermore we showcase a series of applications that use the fruits of this research as their intellectual foundation. Finally we document our results in a range of technical reports and conference and journal articles. We present evidence of preservation approaches and infrastructures from a series of case studies conducted in a range of international preservation environments. We then aggregate this into a linked data structure entitled PORRO, an ontology relating preservation repository, object and risk characteristics, intended to support preservation decision making and evaluation. The methodology leading to this ontology is outlined, and lessons are exposed by revisiting legacy studies and exposing the resource and associated applications to evaluation by the digital preservation community.

Ontology-Based Workflow Design for the Coordination of Homecare Interventions

Part 20: Health and Care Networks

Building an Ontology of Product/Service-Systems: Using a Maritime Case Study to Elicit Classifications and Characteristics

Part 4: Transition Towards Product-Service Systems

Ontology forecasting in scientific literature:semantic concepts prediction based on innovation-adoption priors

The ontology engineering research community has focused for many years on supporting the creation, development and evolution of ontologies. Ontology forecasting, which aims at predicting semantic changes in an ontology, represents instead a new challenge. In this paper, we want to give a contribution to this novel endeavour by focusing on the task of forecasting semantic concepts in the research domain. Indeed, ontologies representing scientific disciplines contain only research topics that are already popular enough to be selected by human experts or automatic algorithms. They are thus unfit to support tasks which require the ability of describing and exploring the forefront of research, such as trend detection and horizon scanning. We address this issue by introducing the Semantic Innovation Forecast (SIF) model, which predicts new concepts of an ontology at time t + 1, using only data available at time t. Our approach relies on lexical innovation and adoption information extracted from historical data. We evaluated the SIF model on a very large dataset consisting of over one million scientific papers belonging to the Computer Science domain: the outcomes show that the proposed approach offers a competitive boost in mean average precision-at-ten compared to the baselines when forecasting over 5 years.

Forms, Foundations, and the Ethos of Foremost: Zen Practice, Epistemology, and Ontology in Reflective Knowledge Organization

In reflecting on the practice of knowledge organization, we tacitly or explicitly root our conceptions of work and its value in some epistemic and ontological foundation. Zen Buddhist philosophy offers a unique set of conceptions vis-à-vis organizing, indexing, and describing documents.When we engage in knowledge organization, we are setting our mind to work with an intention. We intend to make some sort of intervention. We then create a form a realization of an abstraction (like classes or terms) [1], we do this from a foundation of some set of beliefs (epistemology, ontology, and ethics), and because we have to make decisions about what to privilege, we need to decide what is foremost in our minds. We must ask what is the most important thing?Form, foundation, and the ethos of foremost require evoke in our reflection on work number of ethical, epistemic, and ontological concerns that ripple throughout our conceptions of space, “good work”, aesthetics, and moral mandate [2,3]. We reflect on this.

Empirical ontology design patterns

Knowledge graphs (KGs) and ontologies have been widely adopted for modelling numerous domains. However, understanding the content of an ontology/KG is far from straightforward: existing methods partially address this issue. This thesis is based on the assumption that identifying the Ontology Design Patterns (ODPs) in an ontology or a KG contributes to address this problem. Most times, the reused ODPs are not explicitly annotated, or their reuse is unintentional. Therefore, there is a challenge to automatically identify ODPs in existing ontologies and KGs, which is the main focus of this research work. This thesis analyses the role of ODPs in ontology engineering, through experiences in actual ontology projects, placing this analysis in the context of existing ontology reuse approaches. Moreover, this thesis introduces a novel method for extracting empirical ODPs (EODPs) from ontologies, and a novel method for extracting EODPs from knowledge graphs, whose schemas are implicit. The first method groups the extracted EODPs in clusters: conceptual components. Each conceptual component represents a modelling problem, e.g. representing collections. As EODPs are fragments possibly extracted from different ontologies, some of them will fall in the same cluster, meaning that they are implemented solutions to the same modelling problem. EODPs and conceptual components enable the empirical observation and comparison of modelling solutions to common modelling problems in different ontologies. The second method extracts EODPs from a KG as sets of probabilistic axioms/constraints involving the ontological entities instantiated. These EODPs may support KG inspection and comparison, providing insights on how certain entities are described in a KG. An additional contribution of this thesis is an ontology for annotating ODPs in ontologies and KGs.