On the Complexity and Expressiveness of Description Logics with Counting

Simple counting quantifiers that can be used to compare the number of role successors of an individual or the cardinality of a concept with a fixed natural number have been employed in Description Logics (DLs) for more than two decades under the respective names of number restrictions and cardinality restrictions on concepts. Recently, we have considerably extended the expressivity of such quantifiers by allowing to impose set and cardinality constraints formulated in the quantifier-free fragment of Boolean Algebra with Presburger Arithmetic (QFBAPA) on sets of role successors and concepts, respectively. We were able to prove that this extension does not increase the complexity of reasoning. In the present paper, we investigate the expressive power of the DLs obtained in this way, using appropriate bisimulation characterizations and 0–1 laws as tools to differentiate between the expressiveness of different logics. In particular, we show that, in contrast to most classical DLs, these logics are no longer expressible in first-order predicate logic (FOL), and we characterize their first-order fragments. In most of our previous work on DLs with QFBAPA-based set and cardinality constraints we have employed finiteness restrictions on interpretations to ensure that the obtained sets are finite, as required by the standard semantics for QFBAPA. Here we dispense with these restrictions to ease the comparison with classical DLs, where one usually considers arbitrary models rather than finite ones, easier. It turns out that doing so does not change the complexity of reasoning

Biology and distribution of Danube barbel (Barbus balcanicus) (Osteichthyes: Cyprinidae) at the Northwestern limit of its range

Presence of Danube barbel Barbus balcanicus was investigated at the westernmost portion of its distribution area (Italian portion of the Isonzo River Basin). Genetic analyses carried out on specimens collected in different watercourses confirmed B. balcanicus presence in the same locations where Barbus caninus was erroneously classified in the past. More precisely, 4 Cyt b haplotypes belonging to the Balkanic species were described, three of which were evidenced for the first time. Analysis of meristic characters also confirmed genetic results and completed the taxonomical assessment. At the same time, a target population was studied to deepen knowledge about the species ecology. In this case, 120 specimens belonging to five age classes (from 0+ to 4+) were collected with monthly frequency in Barbucina Creek, representing the model watercourse inhabited by the species in the study area. Regression between total weight (W) and standard length (SL) did not differ significantly between males and females, therefore not displaying sexual dimorphism. SL values showed wide ranges, often overlapping among age classes. Mean condition factor (Kmean) decreased significantly with growth and age, as small individuals were in better nutritional condition. From an ecological point of view, biometric parameters seemed to be affected by habitat conditions and, specifically, to the limited space of the creeks, rather than by trophic conditions. Finally, trends of gonadosomatic index (GSI) showed that B. balcanicus reproductive period stretches between April and late May/early June. Results indicated that sexual maturity is reached at 1+ age, corresponding to a mean standard length equal to 5.50 ± 0.66 for female and 5.71 ± 0.53 for male breeders. In conclusion, experimental results highlighted the presence and adaptability of this "forgotten" species of the Italian fish fauna, which certainly will deserve attention in a future amendment of the Italian IUCN Red List of vertebrates

A semi-schematic model for the center of mass dynamics in supercooled molecular liquids

We introduce a semi-schematic mode-coupling model to describe the slow dynamics in molecular liquids, retaining explicitly only the description of the center of mass degrees of freedom. Angular degrees of freedom are condensed in a q-vector independent coupling parameter. We compare the time and q-dependence of the density fluctuation correlators with numerical data from a 250 ns long molecular dynamics simulation. Notwithstanding the choice of a network-forming liquid as a model for comparing theory and simulation, the model describes the main static and dynamic features of the relaxation in a broad q-vector range.Comment: Revtex, 2 figure

Aspetti della biologia ed analisi del ciclo riproduttivo di Gobio benacensis (Pollini, 1816) nel Nordest Italia

Il presente studio si propone di approfondire la biologia ed il ciclo riproduttivo del gobione italiano (Gobio benacensis), specie endemica a corologia cisalpina inclusa nella categoria \u201cEndangered\u201d (EN) della lista rossa IUCN, con l\u2019intento di fornire informazioni utili a redigere corretti piani gestionali volti alla conservazione della specie. Le indagini sono state condotte in un corso d\u2019acqua del Bacino del Fiume Isonzo (Torrente Reca, Nordest Italia) ed hanno riguardato 86 esemplari catturati nell\u2019aprile 2016 al fine di definirne la consistenza e la struttura della popolazione e 77 esemplari, catturati mensilmente e bimestralmente tra aprile 2016 e febbraio 2017, per la definizione del ciclo riproduttivo. Le curve di regressione del peso sulla lunghezza totale per i maschi (W=0,1253TL2,8770) e per le femmine (W=0,1555TL2,7554), confrontate mediante ANCOVA, non hanno denunciato differenze significative. I valori medi \ub1 deviazione standard dell\u2019indice gonadosomatico GSI per i maschi sono compresi tra 0,61\ub10,49 e 1,75\ub10,58, mentre per le femmine tra 1,02\ub10,88 e 14,15\ub12,80. L\u2019indice epatosomatico HSI ha denunciato range compresi tra 0,05\ub10,02 e 2,68\ub11,26 e tra 0,25\ub10,19 e 1,75\ub10,58 rispettivamente per i maschi e per le femmine. Le analisi istologiche di ovari e testicoli, analizzati per la prima volta nella specie, hanno permesso di identificare gli stadi di maturazione, che unitamente all\u2019analisi del GSI indicano che la specie depone le uova a pi\uf9 riprese durante il periodo riproduttivo compreso tra aprile e giugno. Nei maschi \ue8 stata, tuttavia, evidenziata una prolungata attivit\ue0 riproduttiva che si protrae fino al mese di agosto

Legal immigrants: invasion of alien microbial communities during winter occurring desert dust storms

Background A critical aspect regarding the global dispersion of pathogenic microorganisms is associated with atmospheric movement of soil particles. Especially, desert dust storms can transport alien microorganisms over continental scales and can deposit them in sensitive sink habitats. In winter 2014, the largest ever recorded Saharan dust event in Italy was efficiently deposited on the Dolomite Alps and was sealed between dust-free snow. This provided us the unique opportunity to overcome difficulties in separating dust associated from “domestic” microbes and thus, to determine with high precision microorganisms transported exclusively by desert dust. Results Our metagenomic analysis revealed that sandstorms can move not only fractions but rather large parts of entire microbial communities far away from their area of origin and that this microbiota contains several of the most stress-resistant organisms on Earth, including highly destructive fungal and bacterial pathogens. In particular, we provide first evidence that winter-occurring dust depositions can favor a rapid microbial contamination of sensitive sink habitats after snowmelt. Conclusions Airborne microbial depositions accompanying extreme meteorological events represent a realistic threat for ecosystem and public health. Therefore, monitoring the spread and persistence of storm-travelling alien microbes is a priority while considering future trajectories of climatic anomalies as well as anthropogenically driven changes in land use in the source regions

A spatially explicit database of wind disturbances in European forests over the period 2000-2018

Strong winds may uproot and break trees and represent a major natural disturbance for European forests. Wind disturbances have intensified over the last decades globally and are expected to further rise in view of the effects of climate change. Despite the importance of such natural disturbances, there are currently no spatially explicit databases of wind-related impact at a pan-European scale. Here, we present a new database of wind disturbances in European forests (FORWIND). FORWIND is comprised of more than 80 000 spatially delineated areas in Europe that were disturbed by wind in the period 2000-2018 and describes them in a harmonized and consistent geographical vector format. The database includes all major windstorms that occurred over the observational period (e.g. Gudrun, Kyrill, Klaus, Xynthia and Vaia) and represents approximately 30% of the reported damaging wind events in Europe. Correlation analyses between the areas in FORWIND and land cover changes retrieved from the Landsat-based Global Forest Change dataset and the MODIS Global Disturbance Index corroborate the robustness of FORWIND. Spearman rank coefficients range between 0.27 and 0.48 (p value < 0.05). When recorded forest areas are rescaled based on their damage degree, correlation increases to 0.54. Wind-damaged growing stock volumes reported in national inventories (FORESTORM dataset) are generally higher than analogous metrics provided by FORWIND in combination with satellite-based biomass and country-scale statistics of growing stock volume. The potential of FORWIND is explored for a range of challenging topics and scientific fields, including scaling relations of wind damage, forest vulnerability modelling, remote sensing monitoring of forest disturbance, representation of uprooting and breakage of trees in large-scale land surface models, and hydrogeological risks following wind damage. Overall, FORWIND represents an essential and open-access spatial source that can be used to improve the understanding, detection and prediction of wind disturbances and the consequent impacts on forest ecosystems and the land-atmosphere system. Data sharing is encouraged in order to continuously update and improve FORWIND

CODE-EHR best-practice framework for the use of structured electronic health-care records in clinical research.

Big data is important to new developments in global clinical science that aim to improve the lives of patients. Technological advances have led to the regular use of structured electronic health-care records with the potential to address key deficits in clinical evidence that could improve patient care. The COVID-19 pandemic has shown this potential in big data and related analytics but has also revealed important limitations. Data verification, data validation, data privacy, and a mandate from the public to conduct research are important challenges to effective use of routine health-care data. The European Society of Cardiology and the BigData@Heart consortium have brought together a range of international stakeholders, including representation from patients, clinicians, scientists, regulators, journal editors, and industry members. In this Review, we propose the CODE-EHR minimum standards framework to be used by researchers and clinicians to improve the design of studies and enhance transparency of study methods. The CODE-EHR framework aims to develop robust and effective utilisation of health-care data for research purposes

CODE-EHR best practice framework for the use of structured electronic healthcare records in clinical research.

Big data is central to new developments in global clinical science aiming to improve the lives of patients. Technological advances have led to the routine use of structured electronic healthcare records with the potential to address key gaps in clinical evidence. The covid-19 pandemic has demonstrated the potential of big data and related analytics, but also important pitfalls. Verification, validation, and data privacy, as well as the social mandate to undertake research are key challenges. The European Society of Cardiology and the BigData@Heart consortium have brought together a range of international stakeholders, including patient representatives, clinicians, scientists, regulators, journal editors and industry. We propose the CODE-EHR Minimum Standards Framework as a means to improve the design of studies, enhance transparency and develop a roadmap towards more robust and effective utilisation of healthcare data for research purposes

Antibiotic resistance determinants in the interplay between food and gut microbiota

A complex and heterogeneous microflora performs sugar and lactic acid fermentations in food products. Depending on the fermentable food matrix (dairy, meat, vegetable etc.) as well as on the species composition of the microbiota, specific combinations of molecules are produced that confer unique flavor, texture, and taste to each product. Bacterial populations within such “fermented food microbiota” are often of environmental origin, they persist alive in foods ready for consumption, eventually reaching the gastro-intestinal tract where they can interact with the resident gut microbiota of the host. Although this interaction is mostly of transient nature, it can greatly contribute to human health, as several species within the food microbiota also display probiotic properties. Such an interplay between food and gut microbiota underlines the importance of the microbiological quality of fermented foods, as the crowded environment of the gut is also an ideal site for genetic exchanges among bacteria. Selection and spreading of antibiotic resistance genes in foodborne bacteria has gained increasing interest in the past decade, especially in light of the potential transferability of antibiotic resistance determinants to opportunistic pathogens, natural inhabitants of the human gut but capable of acquiring virulence in immunocompromised individuals. This review aims at describing major findings and future prospects in the field, especially after the use of antibiotics as growth promoters was totally banned in Europe, with special emphasis on the application of genomic technologies to improve quality and safety of fermented foods

PD-1 instructs a tumor-suppressive metabolic program that restricts glycolysis and restrains AP-1 activity in T cell lymphoma.

peer reviewedThe PDCD1-encoded immune checkpoint receptor PD-1 is a key tumor suppressor in T cells that is recurrently inactivated in T cell non-Hodgkin lymphomas (T-NHLs). The highest frequencies of PDCD1 deletions are detected in advanced disease, predicting inferior prognosis. However, the tumor-suppressive mechanisms of PD-1 signaling remain unknown. Here, using tractable mouse models for T-NHL and primary patient samples, we demonstrate that PD-1 signaling suppresses T cell malignancy by restricting glycolytic energy and acetyl coenzyme A (CoA) production. In addition, PD-1 inactivation enforces ATP citrate lyase (ACLY) activity, which generates extramitochondrial acetyl-CoA for histone acetylation to enable hyperactivity of activating protein 1 (AP-1) transcription factors. Conversely, pharmacological ACLY inhibition impedes aberrant AP-1 signaling in PD-1-deficient T-NHLs and is toxic to these cancers. Our data uncover genotype-specific vulnerabilities in PDCD1-mutated T-NHL and identify PD-1 as regulator of AP-1 activity