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

Expression of HIWI in human esophageal squamous cell carcinoma is significantly associated with poorer prognosis

<p>Abstract</p> <p>Background</p> <p>HIWI, the human homologue of Piwi family, is present in CD34⁺hematopoietic stem cells and germ cells, but not in well-differentiated cell populations, indicating that HIWI may play an impotent role in determining or maintaining stemness of these cells. That HIWI expression has been detected in several type tumours may suggest its association with clinical outcome in cancer patients.</p> <p>Methods</p> <p>With the methods of real-time PCR, western blot, immunocytochemistry and immunohistochemistry, the expression of HIWI in three esophageal squamous cancer cell lines KYSE70, KYSE140 and KYSE450 has been characterized. Then, we investigated HIWI expression in a series of 153 esophageal squamous cell carcinomas using immunohistochemistry and explored its association with clinicopathological features.</p> <p>Results</p> <p>The expression of HIWI was observed in tumour cell nuclei or/and cytoplasm in 137 (89.5%) cases, 16 (10.5%) cases were negative in both nuclei and cytoplasm. 86 (56.2%) were strongly positive in cytoplasm, while 49 (32.0%) were strongly positive in nuclei. The expression level of HIWI in cytoplasm of esophageal cancer cells was significantly associated with histological grade (<it>P </it>= 0.011), T stage (<it>P </it>= 0.035), and clinic outcome (<it>P </it>< 0.001), while there was no correlation between the nuclear HIWI expression and clinicopathological features.</p> <p>Conclusion</p> <p>The expression of HIWI in the cytoplasm of esophageal cancer cells is significantly associated with higher histological grade, clinical stage and poorer clinical outcome, indicating its possible involvement in cancer development.</p

Think globally, measure locally: The MIREN standardized protocol for monitoring plant species distributions along elevation gradients

Climate change and other global change drivers threaten plant diversity in mountains worldwide. A widely documented response to such environmental modifications is for plant species to change their elevational ranges. Range shifts are often idiosyncratic and difficult to generalize, partly due to variation in sampling methods. There is thus a need for a standardized monitoring strategy that can be applied across mountain regions to assess distribution changes and community turnover of native and non-native plant species over space and time. Here, we present a conceptually intuitive and standardized protocol developed by the Mountain Invasion Research Network (MIREN) to systematically quantify global patterns of native and non-native species distributions along elevation gradients and shifts arising from interactive effects of climate change and human disturbance. Usually repeated every five years, surveys consist of 20 sample sites located at equal elevation increments along three replicate roads per sampling region. At each site, three plots extend from the side of a mountain road into surrounding natural vegetation. The protocol has been successfully used in 18 regions worldwide from 2007 to present. Analyses of one point in time already generated some salient results, and revealed region-specific elevational patterns of native plant species richness, but a globally consistent elevational decline in non-native species richness. Non-native plants were also more abundant directly adjacent to road edges, suggesting that disturbed roadsides serve as a vector for invasions into mountains. From the upcoming analyses of time series, even more exciting results can be expected, especially about range shifts. Implementing the protocol in more mountain regions globally would help to generate a more complete picture of how global change alters species distributions. This would inform conservation policy in mountain ecosystems, where some conservation policies remain poorly implemented

Tailor-Made Zinc-Finger Transcription Factors Activate FLO11 Gene Expression with Phenotypic Consequences in the Yeast Saccharomyces cerevisiae

Cys2His2 zinc fingers are eukaryotic DNA-binding motifs, capable of distinguishing different DNA sequences, and are suitable for engineering artificial transcription factors. In this work, we used the budding yeast Saccharomyces cerevisiae to study the ability of tailor-made zinc finger proteins to activate the expression of the FLO11 gene, with phenotypic consequences. Two three-finger peptides were identified, recognizing sites from the 5′ UTR of the FLO11 gene with nanomolar DNA-binding affinity. The three-finger domains and their combined six-finger motif, recognizing an 18-bp site, were fused to the activation domain of VP16 or VP64. These transcription factor constructs retained their DNA-binding ability, with the six-finger ones being the highest in affinity. However, when expressed in haploid yeast cells, only one three-finger recombinant transcription factor was able to activate the expression of FLO11 efficiently. Unlike in the wild-type, cells with such transcriptional activation displayed invasive growth and biofilm formation, without any requirement for glucose depletion. The VP16 and VP64 domains appeared to act equally well in the activation of FLO11 expression, with comparable effects in phenotypic alteration. We conclude that the functional activity of tailor-made transcription factors in cells is not easily predicted by the in vitro DNA-binding activity

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

Extensive Gene-Specific Translational Reprogramming in a Model of B Cell Differentiation and Abl-Dependent Transformation

To what extent might the regulation of translation contribute to differentiation programs, or to the molecular pathogenesis of cancer? Pre-B cells transformed with the viral oncogene v-Abl are suspended in an immortalized, cycling state that mimics leukemias with a BCR-ABL1 translocation, such as Chronic Myelogenous Leukemia (CML) and Acute Lymphoblastic Leukemia (ALL). Inhibition of the oncogenic Abl kinase with imatinib reverses transformation, allowing progression to the next stage of B cell development. We employed a genome-wide polysome profiling assay called Gradient Encoding to investigate the extent and potential contribution of translational regulation to transformation and differentiation in v-Abl-transformed pre-B cells. Over half of the significantly translationally regulated genes did not change significantly at the level of mRNA abundance, revealing biology that might have been missed by measuring changes in transcript abundance alone. We found extensive, gene-specific changes in translation affecting genes with known roles in B cell signaling and differentiation, cancerous transformation, and cytoskeletal reorganization potentially affecting adhesion. These results highlight a major role for gene-specific translational regulation in remodeling the gene expression program in differentiation and malignant transformation