The DLV System for Knowledge Representation and Reasoning

This paper presents the DLV system, which is widely considered the state-of-the-art implementation of disjunctive logic programming, and addresses several aspects. As for problem solving, we provide a formal definition of its kernel language, function-free disjunctive logic programs (also known as disjunctive datalog), extended by weak constraints, which are a powerful tool to express optimization problems. We then illustrate the usage of DLV as a tool for knowledge representation and reasoning, describing a new declarative programming methodology which allows one to encode complex problems (up to $\Delta^P_3$-complete problems) in a declarative fashion. On the foundational side, we provide a detailed analysis of the computational complexity of the language of DLV, and by deriving new complexity results we chart a complete picture of the complexity of this language and important fragments thereof. Furthermore, we illustrate the general architecture of the DLV system which has been influenced by these results. As for applications, we overview application front-ends which have been developed on top of DLV to solve specific knowledge representation tasks, and we briefly describe the main international projects investigating the potential of the system for industrial exploitation. Finally, we report about thorough experimentation and benchmarking, which has been carried out to assess the efficiency of the system. The experimental results confirm the solidity of DLV and highlight its potential for emerging application areas like knowledge management and information integration.Comment: 56 pages, 9 figures, 6 table

Transphyletic conservation of developmental regulatory state in animal evolution

Specific regulatory states, i.e., sets of expressed transcription factors, define the gene expression capabilities of cells in animal development. Here we explore the functional significance of an unprecedented example of regulatory state conservation from the cnidarian Nematostella to Drosophila, sea urchin, fish, and mammals. Our probe is a deeply conserved cis-regulatory DNA module of the SRY-box B2 (soxB2), recognizable at the sequence level across many phyla. Transphyletic cis-regulatory DNA transfer experiments reveal that the plesiomorphic control function of this module may have been to respond to a regulatory state associated with neuronal differentiation. By introducing expression constructs driven by this module from any phyletic source into the genomes of diverse developing animals, we discover that the regulatory state to which it responds is used at different levels of the neurogenic developmental process, including patterning and development of the vertebrate forebrain and neurogenesis in the Drosophila optic lobe and brain. The regulatory state recognized by the conserved DNA sequence may have been redeployed to different levels of the developmental regulatory program during evolution of complex central nervous systems

The HLH-6 Transcription Factor Regulates C. elegans Pharyngeal Gland Development and Function

The Caenorhabditis elegans pharynx (or foregut) functions as a pump that draws in food (bacteria) from the environment. While the “organ identity factor” PHA-4 is critical for formation of the C. elegans pharynx as a whole, little is known about the specification of distinct cell types within the pharynx. Here, we use a combination of bioinformatics, molecular biology, and genetics to identify a helix-loop-helix transcription factor (HLH-6) as a critical regulator of pharyngeal gland development. HLH-6 is required for expression of a number of gland-specific genes, acting through a discrete cis-regulatory element named PGM1 (Pharyngeal Gland Motif 1). hlh-6 mutants exhibit a frequent loss of a subset of glands, while the remaining glands have impaired activity, indicating a role for hlh-6 in both gland development and function. Interestingly, hlh-6 mutants are also feeding defective, ascribing a biological function for the glands. Pharyngeal pumping in hlh-6 mutants is normal, but hlh-6 mutants lack expression of a class of mucin-related proteins that are normally secreted by pharyngeal glands and line the pharyngeal cuticle. An interesting possibility is that one function of pharyngeal glands is to secrete a pharyngeal lining that ensures efficient transport of food along the pharyngeal lumen

Global maps of soil temperature

Research in global change ecology relies heavily on global climatic grids derived from estimates of air temperature in open areas at around 2 m above the ground. These climatic grids do not reflect conditions below vegetation canopies and near the ground surface, where critical ecosystem functions occur and most terrestrial species reside. Here, we provide global maps of soil temperature and bioclimatic variables at a 1-km2 resolution for 0\u20135 and 5\u201315 cm soil depth. These maps were created by calculating the difference (i.e. offset) between in situ soil temperature measurements, based on time series from over 1200 1-km2 pixels (summarized from 8519 unique temperature sensors) across all the world's major terrestrial biomes, and coarse-grained air temperature estimates from ERA5-Land (an atmospheric reanalysis by the European Centre for Medium-Range Weather Forecasts). We show that mean annual soil temperature differs markedly from the corresponding gridded air temperature, by up to 10\ub0C (mean = 3.0 \ub1 2.1\ub0C), with substantial variation across biomes and seasons. Over the year, soils in cold and/or dry biomes are substantially warmer (+3.6 \ub1 2.3\ub0C) than gridded air temperature, whereas soils in warm and humid environments are on average slightly cooler ( 120.7 \ub1 2.3\ub0C). The observed substantial and biome-specific offsets emphasize that the projected impacts of climate and climate change on near-surface biodiversity and ecosystem functioning are inaccurately assessed when air rather than soil temperature is used, especially in cold environments. The global soil-related bioclimatic variables provided here are an important step forward for any application in ecology and related disciplines. Nevertheless, we highlight the need to fill remaining geographic gaps by collecting more in situ measurements of microclimate conditions to further enhance the spatiotemporal resolution of global soil temperature products for ecological applications

Global maps of soil temperature.

Research in global change ecology relies heavily on global climatic grids derived from estimates of air temperature in open areas at around 2 m above the ground. These climatic grids do not reflect conditions below vegetation canopies and near the ground surface, where critical ecosystem functions occur and most terrestrial species reside. Here, we provide global maps of soil temperature and bioclimatic variables at a 1-km <sup>2</sup> resolution for 0-5 and 5-15 cm soil depth. These maps were created by calculating the difference (i.e. offset) between in situ soil temperature measurements, based on time series from over 1200 1-km <sup>2</sup> pixels (summarized from 8519 unique temperature sensors) across all the world's major terrestrial biomes, and coarse-grained air temperature estimates from ERA5-Land (an atmospheric reanalysis by the European Centre for Medium-Range Weather Forecasts). We show that mean annual soil temperature differs markedly from the corresponding gridded air temperature, by up to 10°C (mean = 3.0 ± 2.1°C), with substantial variation across biomes and seasons. Over the year, soils in cold and/or dry biomes are substantially warmer (+3.6 ± 2.3°C) than gridded air temperature, whereas soils in warm and humid environments are on average slightly cooler (-0.7 ± 2.3°C). The observed substantial and biome-specific offsets emphasize that the projected impacts of climate and climate change on near-surface biodiversity and ecosystem functioning are inaccurately assessed when air rather than soil temperature is used, especially in cold environments. The global soil-related bioclimatic variables provided here are an important step forward for any application in ecology and related disciplines. Nevertheless, we highlight the need to fill remaining geographic gaps by collecting more in situ measurements of microclimate conditions to further enhance the spatiotemporal resolution of global soil temperature products for ecological applications

Cytoskeletal protein kinases: titin and its relations in mechanosensing

Titin, the giant elastic ruler protein of striated muscle sarcomeres, contains a catalytic kinase domain related to a family of intrasterically regulated protein kinases. The most extensively studied member of this branch of the human kinome is the Ca2+–calmodulin (CaM)-regulated myosin light-chain kinases (MLCK). However, not all kinases of the MLCK branch are functional MLCKs, and about half lack a CaM binding site in their C-terminal autoinhibitory tail (AI). A unifying feature is their association with the cytoskeleton, mostly via actin and myosin filaments. Titin kinase, similar to its invertebrate analogue twitchin kinase and likely other “MLCKs”, is not Ca2+–calmodulin-activated. Recently, local protein unfolding of the C-terminal AI has emerged as a common mechanism in the activation of CaM kinases. Single-molecule data suggested that opening of the TK active site could also be achieved by mechanical unfolding of the AI. Mechanical modulation of catalytic activity might thus allow cytoskeletal signalling proteins to act as mechanosensors, creating feedback mechanisms between cytoskeletal tension and tension generation or cellular remodelling. Similar to other MLCK-like kinases like DRAK2 and DAPK1, TK is linked to protein turnover regulation via the autophagy/lysosomal system, suggesting the MLCK-like kinases have common functions beyond contraction regulation