A system of relational syllogistic incorporating full Boolean reasoning

We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: Some A are R-related to some B; Some A are R-related to all B; All A are R-related to some B; All A are R-related to all B. Such primitives formalize sentences from natural language like `All students read some textbooks'. Here A and B denote arbitrary sets (of objects), and R denotes an arbitrary binary relation between objects. The language of the logic contains only variables denoting sets, determining the class of set terms, and variables denoting binary relations between objects, determining the class of relational terms. Both classes of terms are closed under the standard Boolean operations. The set of relational terms is also closed under taking the converse of a relation. The results of the paper are the completeness theorem with respect to the intended semantics and the computational complexity of the satisfiability problem.Comment: Available at http://link.springer.com/article/10.1007/s10849-012-9165-

Drosophila Ribosomal Protein Mutants Control Tissue Growth Non-Autonomously via Effects on the Prothoracic Gland and Ecdysone

The ribosome is critical for all aspects of cell growth due to its essential role in protein synthesis. Paradoxically, many Ribosomal proteins (Rps) act as tumour suppressors in Drosophila and vertebrates. To examine how reductions in Rps could lead to tissue overgrowth, we took advantage of the observation that an RpS6 mutant dominantly suppresses the small rough eye phenotype in a cyclin E hypomorphic mutant (cycEJP). We demonstrated that the suppression of cycEJP by the RpS6 mutant is not a consequence of restoring CycE protein levels or activity in the eye imaginal tissue. Rather, the use of UAS-RpS6 RNAi transgenics revealed that the suppression of cycEJP is exerted via a mechanism extrinsic to the eye, whereby reduced Rp levels in the prothoracic gland decreases the activity of ecdysone, the steroid hormone, delaying developmental timing and hence allowing time for tissue and organ overgrowth. These data provide for the first time a rationale to explain the counter-intuitive organ overgrowth phenotypes observed for certain members of the Minute class of Drosophila Rp mutants. They also demonstrate how Rp mutants can affect growth and development cell non-autonomously

Diet and Energy-Sensing Inputs Affect TorC1-Mediated Axon Misrouting but Not TorC2-Directed Synapse Growth in a Drosophila Model of Tuberous Sclerosis

The Target of Rapamycin (TOR) growth regulatory system is influenced by a number of different inputs, including growth factor signaling, nutrient availability, and cellular energy levels. While the effects of TOR on cell and organismal growth have been well characterized, this pathway also has profound effects on neural development and behavior. Hyperactivation of the TOR pathway by mutations in the upstream TOR inhibitors TSC1 (tuberous sclerosis complex 1) or TSC2 promotes benign tumors and neurological and behavioral deficits, a syndrome known as tuberous sclerosis (TS). In Drosophila, neuron-specific overexpression of Rheb, the direct downstream target inhibited by Tsc1/Tsc2, produced significant synapse overgrowth, axon misrouting, and phototaxis deficits. To understand how misregulation of Tor signaling affects neural and behavioral development, we examined the influence of growth factor, nutrient, and energy sensing inputs on these neurodevelopmental phenotypes. Neural expression of Pi3K, a principal mediator of growth factor inputs to Tor, caused synapse overgrowth similar to Rheb, but did not disrupt axon guidance or phototaxis. Dietary restriction rescued Rheb-mediated behavioral and axon guidance deficits, as did overexpression of AMPK, a component of the cellular energy sensing pathway, but neither was able to rescue synapse overgrowth. While axon guidance and behavioral phenotypes were affected by altering the function of a Tor complex 1 (TorC1) component, Raptor, or a TORC1 downstream element (S6k), synapse overgrowth was only suppressed by reducing the function of Tor complex 2 (TorC2) components (Rictor, Sin1). These findings demonstrate that different inputs to Tor signaling have distinct activities in nervous system development, and that Tor provides an important connection between nutrient-energy sensing systems and patterning of the nervous system

Pro-Survival Role for Parkinson's Associated Gene DJ-1 Revealed in Trophically Impaired Dopaminergic Neurons

A mouse genetic study reveals a novel cell-survival role for the Parkinson's disease-associated gene DJ-1 in dopaminergic neurons that have reduced support from endogenous survival factors

Dynamic Switch of Negative Feedback Regulation in Drosophila Akt–TOR Signaling

Akt represents a nodal point between the Insulin receptor and TOR signaling, and its activation by phosphorylation controls cell proliferation, cell size, and metabolism. The activity of Akt must be carefully balanced, as increased Akt signaling is frequently associated with cancer and as insufficient Akt signaling is linked to metabolic disease and diabetes mellitus. Using a genome-wide RNAi screen in Drosophila cells in culture, and in vivo analyses in the third instar wing imaginal disc, we studied the regulatory circuitries that define dAkt activation. We provide evidence that negative feedback regulation of dAkt occurs during normal Drosophila development in vivo. Whereas in cell culture dAkt is regulated by S6 Kinase (S6K)–dependent negative feedback, this feedback inhibition only plays a minor role in vivo. In contrast, dAkt activation under wild-type conditions is defined by feedback inhibition that depends on TOR Complex 1 (TORC1), but is S6K–independent. This feedback inhibition is switched from TORC1 to S6K only in the context of enhanced TORC1 activity, as triggered by mutations in tsc2. These results illustrate how the Akt–TOR pathway dynamically adapts the routing of negative feedback in response to the activity load of its signaling circuit in vivo

Regulation of cellular proliferation, differentiation and cell death by activated Raf

The protein kinases Raf-1, A-Raf and B-Raf connect receptor stimulation with intracellular signaling pathways and function as a central intermediate in many signaling pathways. Gain-of-function experiments shed light on the pleiotropic biological activities of these enzymes. Expression experiments involving constitutively active Raf revealed the essential functions of Raf in controlling proliferation, differentiation and cell death in a cell-type specific manner

MAP4K3 Is a Component of the TORC1 Signalling Complex that Modulates Cell Growth and Viability in Drosophila melanogaster

Background: MAP4K3 is a conserved Ser/Thr kinase that has being found in connection with several signalling pathways, including the Imd, EGFR, TORC1 and JNK modules, in different organisms and experimental assays. We have analyzed the consequences of changing the levels of MAP4K3 expression in the development of the Drosophila wing, a convenient model system to characterize gene function during epithelial development. Methodology and Principal Findings: Using loss-of-function mutants and over-expression conditions we find that MAP4K3 activity affects cell growth and viability in the Drosophila wing. These requirements are related to the modulation of the TORC1 and JNK signalling pathways, and are best detected when the larvae grow in a medium with low protein concentration (TORC1) or are exposed to irradiation (JNK). We also show that MAP4K3 display strong genetic interactions with different components of the InR/Tor signalling pathway, and can interact directly with the GTPases RagA and RagC and with the multi-domain kinase Tor. Conclusions and Significance: We suggest that MAP4K3 has two independent functions during wing development, one related to the activation of the JNK pathway in response to stress and other in the assembling or activation of the TORC1 complex, being critical to modulate cellular responses to changes in nutrient availability

A Comparative Structural Bioinformatics Analysis of the Insulin Receptor Family Ectodomain Based on Phylogenetic Information

The insulin receptor (IR), the insulin-like growth factor 1 receptor (IGF1R) and the insulin receptor-related receptor (IRR) are covalently-linked homodimers made up of several structural domains. The molecular mechanism of ligand binding to the ectodomain of these receptors and the resulting activation of their tyrosine kinase domain is still not well understood. We have carried out an amino acid residue conservation analysis in order to reconstruct the phylogeny of the IR Family. We have confirmed the location of ligand binding site 1 of the IGF1R and IR. Importantly, we have also predicted the likely location of the insulin binding site 2 on the surface of the fibronectin type III domains of the IR. An evolutionary conserved surface on the second leucine-rich domain that may interact with the ligand could not be detected. We suggest a possible mechanical trigger of the activation of the IR that involves a slight ‘twist’ rotation of the last two fibronectin type III domains in order to face the likely location of insulin. Finally, a strong selective pressure was found amongst the IRR orthologous sequences, suggesting that this orphan receptor has a yet unknown physiological role which may be conserved from amphibians to mammals

Mechanisms of TSC-mediated Control of Synapse Assembly and Axon Guidance

Tuberous sclerosis complex is a dominant genetic disorder produced by mutations in either of two tumor suppressor genes, TSC1 and TSC2; it is characterized by hamartomatous tumors, and is associated with severe neurological and behavioral disturbances. Mutations in TSC1 or TSC2 deregulate a conserved growth control pathway that includes Ras homolog enriched in brain (Rheb) and Target of Rapamycin (TOR). To understand the function of this pathway in neural development, we have examined the contributions of multiple components of this pathway in both neuromuscular junction assembly and photoreceptor axon guidance in Drosophila. Expression of Rheb in the motoneuron, but not the muscle of the larval neuromuscular junction produced synaptic overgrowth and enhanced synaptic function, while reductions in Rheb function compromised synapse development. Synapse growth produced by Rheb is insensitive to rapamycin, an inhibitor of Tor complex 1, and requires wishful thinking, a bone morphogenetic protein receptor critical for functional synapse expansion. In the visual system, loss of Tsc1 in the developing retina disrupted axon guidance independently of cellular growth. Inhibiting Tor complex 1 with rapamycin or eliminating the Tor complex 1 effector, S6 kinase (S6k), did not rescue axon guidance abnormalities of Tsc1 mosaics, while reductions in Tor function suppressed those phenotypes. These findings show that Tsc-mediated control of axon guidance and synapse assembly occurs via growth-independent signaling mechanisms, and suggest that Tor complex 2, a regulator of actin organization, is critical in these aspects of neuronal development