Using Insights from Psychology and Language to Improve How People Reason with Description Logics

Inspired by insights from theories of human reasoning and language, we propose additions to the Manchester OWL Syntax to improve comprehensibility. These additions cover: functional and inverse functional properties, negated conjunction, the definition of exceptions, and existential and universal restrictions. By means of an empirical study, we demonstrate the effectiveness of a number of these additions, in particular: the use of solely to clarify the uniqueness of the object in a functional property; the replacement of and with intersection in conjunction, which was particularly beneficial in negated conjunction; the use of except as a substitute for and not; and the replacement of some with including and only with noneOrOnly, which helped in certain situations to clarify the nature of these restrictions

Widespread impact-generated porosity in early planetary crusts.

NASA's Gravity Recovery and Interior Laboratory (GRAIL) spacecraft revealed the crust of the Moon is highly porous, with ~4% porosity at 20 km deep. The deep lying porosity discovered by GRAIL has been difficult to explain, with most current models only able to explain high porosity near the lunar surface (first few kilometers) or inside complex craters. Using hydrocode routines we simulated fracturing and generation of porosity by large impacts in lunar, martian, and Earth crust. Our simulations indicate impacts that produce 100-1000 km scale basins alone are capable of producing all observed porosity within the lunar crust. Simulations under the higher surface gravity of Mars and Earth suggest basin forming impacts can be a primary source of porosity and fracturing of ancient planetary crusts. Thus, we show that impacts could have supported widespread crustal fluid circulation, with important implications for subsurface habitable environments on early Earth and Mars

A biomechanical assessment of superior shoulder translation after reconstruction of anterior glenoid bone defects: The Latarjet procedure versus allograft reconstruction

BACKGROUND: The coracoacromial ligament (CAL) is an important restraint to superior shoulder translation. The effect of CAL release on superior stability following the Latarjet is unknown; therefore, our purpose was to compare the effect of two Latarjet techniques and allograft reconstruction on superior instability. MATERIALS AND METHODS: Eight cadaveric specimens were tested on a simulator. Superior translation was monitored following an axial force in various glenohumeral rotations (neutral, internal, and external) with and without muscle loading. Three intact CAL states were tested (intact specimen, 30% glenoid bone defect, and allograft reconstruction) and two CAL deficient states (classic Latarjet (classicLAT) and congruent-arc Latarjet (congruentLAT)). RESULTS: In neutral without muscle loading, a significant increase in superior translation occurred with the classicLAT as compared to 30% defect (P = 0.046) and allograft conditions (P = 0.041). With muscle loading, the classicLAT (P = 0.005, 0.002) and the congruentLAT (P = 0.018, 0.021) had significantly greater superior translation compared to intact and allograft, respectively. In internal rotation, only loaded tests produced significant results; specifically, classicLAT increased translation compared to all intact CAL states (P < 0.05). In external rotation, only unloaded tests produced significant results with classicLAT and congruentLAT allowing greater translations than intact (P ≤ 0.028). For all simulations, the allograft was not significantly different than intact (P > 0.05) and no differences (P = 1.0) were found between classicLAT and congruentLAT. DISCUSSION: In most simulations, CAL release with the Latarjet lead to increased superior humeral translation. CONCLUSION: The choice of technique for glenoid bone loss reconstruction has implications on the magnitude of superior humeral translation. This previously unknown effect requires further study to determine its clinical and kinematic outcomes

Retinal nerve fiber layer thickness in glaucomatous Nepalese eyes and its relation with visual field sensitivity.

BACKGROUND: To evaluate peripapillary retinal nerve fiber layer (RNFL) thickness in glaucomatous Nepalese eyes using spectral domain optical coherence tomography (SD-OCT) and study its relationship with visual field sensitivity. METHODS: A total of 120 eyes comprising primary open angle glaucoma (POAG), glaucoma suspects (GS), normal tension glaucoma (NTG) and healthy subjects (n=30 cases in each group) underwent a complete ophthalmic examination, including optic nerve head (ONH) evaluation and standard automated perimetry (SAP). RNFL thickness measurements around the optic disk were taken with circular spectral domain optical coherence tomography (SD-OCT) scans. Analysis of variance (ANOVA) was used for comparison of RNFL parameters among various study groups. The relationship of RNFL parameters with visual field (VF) global indices was evaluated with regression analysis. RESULTS: The mean pRNFL thickness was significantly less in the POAG (64.30±14.45μm, p<0.01), NTG (85.43±9.79μm, p<0.001) and GS (102.0±9.37μm, p<0.001) groups than in the healthy group (109.8±8.32μm). The RNFL was significantly thinner across all quadrants in all study group pairs (p<0.05) except for normal vs. GS (only superior and inferior quadrant, significant). Linear regression plots with RNFL thickness as a predictor of MD and LV demonstrated a strong and statistically significant degree of determination in the POAG group (R(2)=0.203 and 0.175, p=0.013 and 0.021). CONCLUSION: The RNFL thickness measurements with SD-OCT are lower in glaucomatous eyes as compared to age-matched GS and normal eyes in the Nepalese population. A high resolution SD-OCT could aid significantly in the early diagnosis of glaucoma in Nepal

Structural mapping in statistical word problems: A relational reasoning approach to Bayesian inference

Presenting natural frequencies facilitates Bayesian inferences relative to using percentages. Nevertheless, many people, including highly educated and skilled reasoners, still fail to provide Bayesian responses to these computationally simple problems. We show that the complexity of relational reasoning (e.g., the structural mapping between the presented and requested relations) can help explain the remaining difficulties. With a non-Bayesian inference that required identical arithmetic but afforded a more direct structural mapping, performance was universally high. Furthermore, reducing the relational demands of the task through questions that directed reasoners to use the presented statistics, as compared with questions that prompted the representation of a second, similar sample, also significantly improved reasoning. Distinct error patterns were also observed between these presented- and similar-sample scenarios, which suggested differences in relational-reasoning strategies. On the other hand, while higher numeracy was associated with better Bayesian reasoning, higher-numerate reasoners were not immune to the relational complexity of the task. Together, these findings validate the relational-reasoning view of Bayesian problem solving and highlight the importance of considering not only the presented task structure, but also the complexity of the structural alignment between the presented and requested relations

Diel turbidity cycles in a headwater stream: evidence of nocturnal bioturbation?

Purpose: A small number of recent studies have linked daily cycles in stream turbidity to nocturnal bioturbation by aquatic fauna, principally crayfish, and demonstrated this process can significantly impact upon water quality under baseflow conditions. Adding to this limited body of research, we use high-resolution water quality monitoring data to investigate evidence of diel turbidity cycles in a lowland, headwater stream with a known signal crayfish (Pacifastacus leniusculus) population and explore a range of potential causal mechanisms. Materials and methods: Automatic bankside monitoring stations measured turbidity and other water quality parameters at 30-min resolution at three locations on the River Blackwater, Norfolk, UK during 2013. Specifically, we focused on two 20-day periods of baseflow conditions during January and April 2013 which displayed turbidity trends typical of winter and spring seasons, respectively. The turbidity time-series, which were smoothed with 6.5 hour Savitzky-Golay filters to highlight diel trends, were correlated against temperature, stage, dissolved oxygen and pH to assess the importance of abiotic influences on turbidity. Turbidity was also calibrated against suspended particulate matter (SPM) over a wide range of values via linear regression. Results and discussion: Pronounced diel turbidity cycles were found at two of the three sites under baseflow conditions during April. Spring night-time turbidity values consistently peaked between 21:00 and 04:00 with values increasing by ~10 nephelometric turbidity units (NTU) compared with the lowest recorded daytime values which occurred between 10:00 and 14:00. This translated into statistically significant increases in median midnight SPM concentration of up to 76% compared with midday, with night-time (18:00 – 05:30) SPM loads also up to 30% higher than that recorded during the daytime (06:00 – 17:30). Relating turbidity to other water quality parameters exhibiting diel cycles revealed there to be neither any correlation that might indicate a causal link, nor any obvious mechanistic connections to explain the temporal turbidity trends. Diel turbidity cycles were less prominent at all sites during the winter. Conclusions: Considering the seasonality and timing of elevated turbidity, visual observations of crayfish activity, and an absence of mechanistic connections with other water quality parameters, the results presented here are consistent with the hypothesis that nocturnal bioturbation is responsible for generating diel turbidity cycles under baseflow conditions in headwater streams. However, further research in a variety of fluvial environments is required to better assess the spatial extent, importance and causal mechanisms of this phenomenon

Sporormiella as a tool for detecting the presence of large herbivores in the Neotropics

The reliability of using the abundance of Sporormiella spores as a proxy for the presence and abundance of megaherbivores was tested in southern Brazil. Mud-water interface samples from nine lakes, in which cattle-use was categorized as high, medium, or low, were assayed for Sporormiella representation. The sampling design allowed an analysis of both the influence of the number of animals using the shoreline and the distance of the sampling site from the nearest shoreline. Sporormiella was found to be a reliable proxy for the presence of large livestock. The concentration and abundance of spores declined from the edge of the lake toward the center, with the strongest response being in sites with high livestock use. Consistent with prior studies in temperate regions, we find that Sporormiella spores are a useful proxy to study the extinction of Pleistocene megafauna or the arrival of European livestock in Neotropical landscapes