The usability of description logics: understanding the cognitive difficulties presented by description logics

Description Logics have been extensively studied from the viewpoint of decidability and computational tractability. Less attention has been given to their usability and the cognitive difficulties they present, in particular for those who are not specialists in logic. This paper reports on a study into the difficulties associated with the most commonly used Description Logic features. Psychological theories are used to take account of these. Whilst most of the features presented no difficulty to participants, the comprehension of some was affected by commonly occurring misconceptions. The paper proposes explanations and remedies for some of these difficulties. In addition, the time to confirm stated inferences was found to depend both on the maximum complexity of the relations involved and the number of steps in the argument

Density-functional embedding using a plane-wave basis

The constrained electron density method of embedding a Kohn-Sham system in a substrate system (first described by P. Cortona, Phys. Rev. B {\bf 44}, 8454 (1991) and T.A. Wesolowski and A. Warshel, J. Phys. Chem {\bf 97}, 8050 (1993)) is applied with a plane-wave basis and both local and non-local pseudopotentials. This method divides the electron density of the system into substrate and embedded electron densities, the sum of which is the electron density of the system of interest. Coupling between the substrate and embedded systems is achieved via approximate kinetic energy functionals. Bulk aluminium is examined as a test case for which there is a strong interaction between the substrate and embedded systems. A number of approximations to the kinetic-energy functional, both semi-local and non-local, are investigated. It is found that Kohn-Sham results can be well reproduced using a non-local kinetic energy functional, with the total energy accurate to better than 0.1 eV per atom and good agreement between the electron densities.Comment: 11 pages, 4 figure

The role and importance of gene polymorphisms in the development of atherosclerosis

The development of atherosclerosis is a multifactorial process. The purpose of the study was to examine three genetic polymorphisms playing a role in the metabolic processes underlying the disease. We compared the data of 348 atherosclerotic non-diabetic patients with 260 atherosclerotic diabetic patients and 384 healthy controls. We analyzed the prevalence of myocardial infarction and stroke in three different groups of patients carrying different polymorphisms. It was proved that if the mutant TT eNOS Glu298ASP variant is present, a significantly higher number of myocardial infarctions can be observed than in patients carrying heterozygote GT or normal GG genotype. We proved that in the case of MTHFR 677CT heterozygote variants, the occurrence of myocardial infarction is significantly higher and the difference is also significant in case of the 677TT homozygote variant. It was verified that among patients with the mutant TNF-α AA genotype the occurrence of cardiovascular events was significantly higher. Screening the genetically high risk groups on the long run should be considered as an early detection opportunity that may give better chances for prevention and treatment. Understanding the inflammatory mechanisms of the atherosclerosis may give new therapeutical targets to pharmacologists

Subcellular localization and formation of huntingtin aggregates correlates with symptom onset and progression in a Huntington's disease model

Huntington's disease is caused by the expansion of a CAG repeat within exon 1 of the HTT gene, which is unstable, leading to further expansion, the extent of which is brain region and peripheral tissue specific. The identification of DNA repair genes as genetic modifiers of Huntington's disease, that were known to abrogate somatic instability in Huntington's disease mouse models, demonstrated that somatic CAG expansion is central to disease pathogenesis, and that the CAG repeat threshold for pathogenesis in specific brain cells might not be known. We have previously shown that the HTT gene is incompletely spliced generating a small transcript that encodes the highly pathogenic exon 1 HTT protein. The longer the CAG repeat, the more of this toxic fragment is generated, providing a pathogenic consequence for somatic expansion. Here, we have used the R6/2 mouse model to investigate the molecular and behavioural consequences of expressing exon 1 HTT with 90 CAGs, a mutation that causes juvenile Huntington's disease, compared to R6/2 mice carrying ∼200 CAGs, a repeat expansion of a size rarely found in Huntington's disease patient's blood, but which has been detected in post-mortem brains as a consequence of somatic CAG repeat expansion. We show that nuclear aggregation occurred earlier in R6/2(CAG)(90) mice and that this correlated with the onset of transcriptional dysregulation. Whereas in R6/2(CAG)(200) mice, cytoplasmic aggregates accumulated rapidly and closely tracked with the progression of behavioural phenotypes and with end-stage disease. We find that aggregate species formed in the R6/2(CAG)(90) brains have different properties to those in the R6/2(CAG)(200) mice. Within the nucleus, they retain a diffuse punctate appearance throughout the course of the disease, can be partially solubilized by detergents and have a greater seeding potential in young mice. In contrast, aggregates from R6/2(CAG)(200) brains polymerize into larger structures that appear as inclusion bodies. These data emphasize that a subcellular analysis, using multiple complementary approaches, must be undertaken in order to draw any conclusions about the relationship between HTT aggregation and the onset and progression of disease phenotypes

The sensorium at work: the sensory phenomenology of the working body

The sociology of the body and the sociology of work and occupations have both neglected to some extent the study of the ‘working body’ in paid employment, particularly with regard to empirical research into the sensory aspects of working practices. This gap is perhaps surprising given how strongly the sensory dimension features in much of working life. This article is very much a first step in calling for a more phenomenological, embodied and ‘fleshy’ perspective on the body in employment, and examines some of the theoretical and conceptual resources available to researchers wishing to focus on the lived working-body experiences of the sensorium. We also consider some possible representational forms for a more evocative, phenomenologically-inspired portrayal of sensory, lived-working-body experiences, and offer suggestions for future avenues of research

Measurement of the longitudinal diffusion of ionization electrons in the MicroBooNE detector

Abstract: Accurate knowledge of electron transport properties is vital to understanding the information provided by liquid argon time projection chambers (LArTPCs). Ionization electron drift-lifetime, local electric field distortions caused by positive ion accumulation, and electron diffusion can all significantly impact the measured signal waveforms. This paper presents a measurement of the effective longitudinal electron diffusion coefficient, DL, in MicroBooNE at the nominal electric field strength of 273.9 V/cm. Historically, this measurement has been made in LArTPC prototype detectors. This represents the first measurement in a large-scale (85 tonne active volume) LArTPC operating in a neutrino beam. This is the largest dataset ever used for this measurement. Using a sample of ∼70,000 through-going cosmic ray muon tracks tagged with MicroBooNE's cosmic ray tagger system, we measure DL = 3.74+0.28 -0.29 cm2/s

Post-acute COVID-19 neuropsychiatric symptoms are not associated with ongoing nervous system injury

A proportion of patients infected with severe acute respiratory syndrome coronavirus 2 experience a range of neuropsychiatric symptoms months after infection, including cognitive deficits, depression and anxiety. The mechanisms underpinning such symptoms remain elusive. Recent research has demonstrated that nervous system injury can occur during COVID-19. Whether ongoing neural injury in the months after COVID-19 accounts for the ongoing or emergent neuropsychiatric symptoms is unclear. Within a large prospective cohort study of adult survivors who were hospitalized for severe acute respiratory syndrome coronavirus 2 infection, we analysed plasma markers of nervous system injury and astrocytic activation, measured 6 months post-infection: neurofilament light, glial fibrillary acidic protein and total tau protein. We assessed whether these markers were associated with the severity of the acute COVID-19 illness and with post-acute neuropsychiatric symptoms (as measured by the Patient Health Questionnaire for depression, the General Anxiety Disorder assessment for anxiety, the Montreal Cognitive Assessment for objective cognitive deficit and the cognitive items of the Patient Symptom Questionnaire for subjective cognitive deficit) at 6 months and 1 year post-hospital discharge from COVID-19. No robust associations were found between markers of nervous system injury and severity of acute COVID-19 (except for an association of small effect size between duration of admission and neurofilament light) nor with post-acute neuropsychiatric symptoms. These results suggest that ongoing neuropsychiatric symptoms are not due to ongoing neural injury