DogOnt - Ontology Modeling for Intelligent Domotic Environments

Abstract. Home automation has recently gained a new momentum thanks to the ever-increasing commercial availability of domotic components. In this context, researchers are working to provide interoperation mechanisms and to add intelligence on top of them. For supporting intelligent behaviors, house modeling is an essential requirement to understand current and future house states and to possibly drive more complex actions. In this paper we propose a new house modeling ontology designed to fit real world domotic system capabilities and to support interoperation between currently available and future solutions. Taking advantage of technologies developed in the context of the Semantic Web, the DogOnt ontology supports device/network independent description of houses, including both “controllable ” and architectural elements. States and functionalities are automatically associated to the modeled elements through proper inheritance mechanisms and by means of properly defined SWRL auto-completion rules which ease the modeling process, while automatic device recognition is achieved through classification reasoning.

Russia and "hybrid warfare"

In the aftermath of the Crimea annexation in March 2014, the idea of ‘hybrid warfare’ quickly gained prominence as a concept that could help to explain the success of Russian military operations in this conflict. Although the concept continues to enjoy widespread popularity in both scholarly and policy circles, its utility as an analytical tool is also heavily contested. This article adds to the literature critical of the ‘hybrid warfare’ concept. It argues that in addition to the fact that what is now described as a ‘hybrid’ approach to war is in fact nothing new, the problems pertaining to its utility for the study of contemporary Russia go deeper than this. ‘Hybrid warfare’ inadequately reflects the direction of Russian military modernisation and as such has led to a skewed understanding of Russian military capabilities. Moreover, the tendency to use ‘hybrid warfare’ not only to conceptualise developments in the Russian military, but in the country’s foreign policy in general, can lead to serious unintended consequences

Surface Engineering Methods for Powder Bed Printed Tablets to Optimize External Smoothness and Facilitate the Application of Different Coatings

In a previous attempt to achieve ileo-colonic targeting of bovine intestinal alkaline phosphatase (BIAP), we applied a pH-dependent coating, the ColoPulse coating, directly on powder bed printed (PBP) tablets. However, the high surface roughness necessitated an additional sub-coating layer [Nguyen, K. T. T., Pharmaceutics 2022]. In this study, we aimed to find a production method for PBP tablets containing BIAP that allows the direct application of coating systems. Alterations of the printing parameters, binder content, and printing layer height, when combined, were demonstrated to create visually less rough PBP tablets. The addition of ethanol vapor treatment further improved the surface’s smoothness significantly. These changes enabled the direct application of the ColoPulse, or enteric coating, without a sub-coating. In vitro release testing showed the desired ileo-colonic release or upper-intestinal release for ColoPulse or enteric-coated tablets, respectively. Tablets containing BIAP, encapsulated within an inulin glass, maintained a high enzymatic activity (over 95%) even after 2 months of storage at 2–8 °C. Importantly, the coating process did not affect the activity of BIAP. In this study, we demonstrate, for the first time, the successful production of PBP tablets with surfaces that are directly coatable with the ColoPulse coating while preserving the stability of the encapsulated biopharmaceutical, BIAP.</p

Modelling Marek's Disease Virus (MDV) infection: parameter estimates for mortality rate and infectiousness

Background: Marek's disease virus (MDV) is an economically important oncogenic herpesvirus of poultry. Since the 1960s, increasingly virulent strains have caused continued poultry industry production losses worldwide. To understand the mechanisms of this virulence evolution and to evaluate the epidemiological consequences of putative control strategies, it is imperative to understand how virulence is defined and how this correlates with host mortality and infectiousness during MDV infection. We present a mathematical approach to quantify key epidemiological parameters. Host lifespan, virus latent periods and host viral shedding rates were estimated for unvaccinated and vaccinated birds, infected with one of three MDV strains. The strains had previously been pathotyped to assign virulence scores according to pathogenicity of strains in hosts. Results: Our analyses show that strains of higher virulence have a higher viral shedding rate, and more rapidly kill hosts. Vaccination enhances host life expectancy but does not significantly reduce the shedding rate of the virus. While the primary latent period of the virus does not vary with challenge strain nor vaccine treatment of host, the time until the maximum viral shedding rate is increased with vaccination. Conclusions: Our approach provides the tools necessary for a formal analysis of the evolution of virulence in MDV, and potentially simpler and cheaper approaches to comparing the virulence of MDV strains

Tractable Fragments of Temporal Sequences of Topological Information

In this paper, we focus on qualitative temporal sequences of topological information. We firstly consider the context of topological temporal sequences of length greater than 3 describing the evolution of regions at consecutive time points. We show that there is no Cartesian subclass containing all the basic relations and the universal relation for which the algebraic closure decides satisfiability. However, we identify some tractable subclasses, by giving up the relations containing the non-tangential proper part relation and not containing the tangential proper part relation. We then formalize an alternative semantics for temporal sequences. We place ourselves in the context of the topological temporal sequences describing the evolution of regions on a partition of time (i.e. an alternation of instants and intervals). In this context, we identify large tractable fragments

Modal Logics of Topological Relations

Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial reasoning in AI. In analogy with Halpern and Shoham's modal logic of time intervals based on the Allen relations, we introduce a family of modal logics equipped with eight modal operators that are interpreted by the Egenhofer-Franzosa (or RCC8) relations between regions in topological spaces such as the real plane. We investigate the expressive power and computational complexity of logics obtained in this way. It turns out that our modal logics have the same expressive power as the two-variable fragment of first-order logic, but are exponentially less succinct. The complexity ranges from (undecidable and) recursively enumerable to highly undecidable, where the recursively enumerable logics are obtained by considering substructures of structures induced by topological spaces. As our undecidability results also capture logics based on the real line, they improve upon undecidability results for interval temporal logics by Halpern and Shoham. We also analyze modal logics based on the five RCC5 relations, with similar results regarding the expressive power, but weaker results regarding the complexity

Impact of ivermectin on onchocerciasis transmission: assessing the empirical evidence that repeated ivermectin mass treatments may lead to elimination/eradication in West-Africa

BACKGROUND: The Onchocerciasis Control Program (OCP) in West Africa has been closed down at the end of 2002. All subsequent control will be transferred to the participating countries and will almost entirely be based on periodic mass treatment with ivermectin. This makes the question whether elimination of infection or eradication of onchocerciasis can be achieved using this strategy of critical importance. This study was undertaken to explore this issue. METHODS: An empirical approach was adopted in which a comprehensive analysis was undertaken of available data on the impact of more than a decade of ivermectin treatment on onchocerciasis infection and transmission. Relevant entomological and epidemiological data from 14 river basins in the OCP and one basin in Cameroon were reviewed. Areas were distinguished by frequency of treatment (6-monthly or annually), endemicity level and additional control measures such as vector control. Assessment of results were in terms of epidemiological and entomological parameters, and as a measure of inputs, therapeutic and geographical coverage rates were used. RESULTS: In all of the river basins studied, ivermectin treatment sharply reduced prevalence and intensity of infection. Significant transmission, however, is still ongoing in some basins after 10–12 years of ivermectin treatment. In other basins, transmission may have been interrupted, but this needs to be confirmed by in-depth evaluations. In one mesoendemic basin, where 20 rounds of four-monthly treatment reduced prevalence of infection to levels as low as 2–3%, there was significant recrudescence of infection within a few years after interruption of treatment. CONCLUSIONS: Ivermectin treatment has been very successful in eliminating onchocerciasis as a public health problem. However, the results presented in this paper make it almost certain that repeated ivermectin mass treatment will not lead to the elimination of transmission of onchocerciasis from West Africa. Data on 6-monthly treatments are not sufficient to draw definitive conclusions

Characterizations of how species mediate ecosystem properties require more comprehensive functional effect descriptors

The importance of individual species in mediating ecosystem process and functioning is generally accepted, but categorical descriptors that summarize species-specific contributions to ecosystems tend to reference a limited number of biological traits and underestimate the importance of how organisms interact with their environment. Here, we show how three functionally contrasting sediment-dwelling marine invertebrates affect fluid and particle transport - important processes in mediating nutrient cycling - and use high-resolution reconstructions of burrow geometry to determine the extent and nature of biogenic modification. We find that individual functional effect descriptors fall short of being able to adequately characterize how species mediate the stocks and flows of important ecosystem properties and that, in contrary to common practice and understanding, they are not substitutable with one another because they emphasize different aspects of species activity and behavior. When information derived from these metrics is combined with knowledge of how species behave and modify their environment, however, detailed mechanistic information emerges that increases the likelihood that a species functional standing will be appropriately summarized. Our study provides evidence that more comprehensive functional effect descriptors are required if they are to be of value to those tasked with projecting how altered biodiversity will influence future ecosystems

Visual Ontology Cleaning: Cognitive Principles and Applicability

In this paper we connect two research areas, the Qualitative Spatial Reasoning and visual reasoning on ontologies. We discuss the logical limitations of the mereotopological approach to the visual ontology cleaning, from the point of view of its formal support. The analysis is based on three different spatial interpretations wich are based in turn on three different spatial interpretations of the concepts of an ontology.Ministerio de Educación y Ciencia TIN2004-0388