framework

A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics

In this extended abstract we discuss the relationship between confidentiality-preserving frameworks and inconsistency-tolerant repair and update semantics in Description Logics (DL). In particular, we consider the well-known problems of Consistent Query Answering, Controlled Query Evaluation, and Knowledge Base Update in DL and introduce a unifying framework that can be naturally instantiated to capture significant settings for the above problems, previously investigated in the literature.

No saturation in the accumulation of alien species worldwide

Although research on human-mediated exchanges of species has substantially intensified
during the last centuries, we know surprisingly little about temporal dynamics of alien species
accumulations across regions and taxa. Using a novel database of 45,813 first records of
16,926 established alien species, we show that the annual rate of first records worldwide has
increased during the last 200 years, with 37% of all first records reported most recently
(1970–2014). Inter-continental and inter-taxonomic variation can be largely attributed to the

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma