Taking Defeasible Entailment Beyond Rational Closure

We present a systematic approach for extending the KLM framework for defeasible entailment. We first present a class of basic defeasible entailment relations, characterise it in three distinct ways and provide a high-level algorithm for computing it. This framework is then refined, with the refined version being characterised in a similar manner. We show that the two well-known forms of defeasible entailment, rational closure and lexicographic closure, fall within our refined framework, that rational closure is the most conservative of the defeasible entailment relations within the framework (with respect to subset inclusion), but that there are forms of defeasible entailment within our framework that are more “adventurous” than lexicographic closure

A KLM Perspective on Defeasible Reasoning for Description Logics

In this paper we present an approach to defeasible reasoning for the description logic ALC. The results discussed here are based on work done by Kraus, Lehmann and Magidor (KLM) on defeasible conditionals in the propositional case. We consider versions of a preferential semantics for two forms of defeasible subsumption, and link these semantic constructions formally to KLM-style syntactic properties via representation results. In addition to showing that the semantics is appropriate, these results pave the way for more effective decision procedures for defeasible reasoning in description logics. With the semantics of the defeasible version of ALC in place, we turn to the investigation of an appropriate form of defeasible entailment for this enriched version of ALC. This investigation includes an algorithm for the computation of a form of defeasible entailment known as rational closure in the propositional case. Importantly, the algorithm relies completely on classical entailment checks and shows that the computational complexity of reasoning over defeasible ontologies is no worse than that of the underlying classical ALC. Before concluding, we take a brief tour of some existing work on defeasible extensions of ALC that go beyond defeasible subsumption

A narrative review on spinal deformities in people with cerebral palsy: Measurement, norm values, incidence, risk factors and treatment

Spinal deformities are common in people with cerebral palsy (CP), and there is a concern of an increase during the adult ageing period. There is especially a worry about the increase of scoliosis, thoracic hyperkyphosis, lumbar hyperlordosis, spondylolysis and spondylolisthesis incidence, though supporting literature is lacking. Therefore, the aim of this narrative review is to provide a scientific overview of how spinal curvatures should be measured, what the norm values are and the incidence in people with CP, as well as a description of the risk factors and the treatment regimens for these spinal abnormalities. This review can be used as a guideline relevant for a range of clinicians, including orthopaedic and neurosurgeons, radiologists, physiotherapists, and biokineticists, as well as academics

Scenario analysis for nutrient emission reduction in the European inland waters

International audienceDespite a large body of legislation, high nutrient loads are still emitted in European inland waters. In the present study we evaluate a set of alternative scenarios aiming at reducing nitrogen and phosphorus emissions from anthropogenic activities to all European Seas. In particular, we tested the full implementation of the European Urban Waste Water Directive, which controls emissions from point source. In addition, we associated the full implementation of this Directive with a ban of phosphorus-based laundry detergents. Then we tested two human diet scenarios and their impacts on nutrient emissions. We also developed a scenario based on an optimal use of organic manure. The impacts of all our scenarios were evaluated using a statistical model of nitrogen and phosphorus fate (GREEN) linked to an agro-economic model (CAPRI). We show that the ban of phosphorus-based laundry detergents coupled with the full implementation of the Urban Waste Water Directive is the most effective approach for reducing phosphorus emissions from human based activities. Concerning nitrogen, the highest reductions are obtained with the optimized use of organic manure

Linking an economic model for European agriculture with a mechanistic model to estimate nitrogen losses from cropland soil in Europe

International audienceFor the comprehensive assessment of the policy impact on greenhouse gas emissions from agricultural soils both socio-economic aspects and the environmental heterogeneity of the landscape are important factors that must be considered. We developed a modelling framework that links the large-scale economic model for agriculture CAPRI with the bio-geochemistry model DNDC to simulate greenhouse gas fluxes, carbon stock changes and the nitrogen budget of agricultural soils in Europe. The framework allows the ex-ante simulation of agricultural or agri-environmental policy impacts on wide range of environmental problems such as climate change (greenhouse gas emissions), air pollution and groundwater pollution. Those environmental impacts can be analysed in the context of economic and social indicators as calculated by the economic model. The methodology consists in four steps (i) the definition of appropriate calculation units that can be considered as homogeneous in terms of economic behaviour and environmental response; (ii) downscaling of regional agricultural statistics and farm management information from a CAPRI simulation run into the spatial calculation units; (iii) setting up of environmental model scenarios and model runs; and finally (iv) aggregating results for interpretation. We show first results of the nitrogen budget in cropland for the area of fourteen countries of the European Union. These results, in terms of estimated nitrogen fluxes, must still be considered as illustrative as needs for improvements in input data (e.g. the soil map) and management data (yield estimates) have been identified and will be the focus of future work. Nevertheless, we highlight inter-dependencies between farmer's choices of land uses and the environmental impact of different cultivation systems

Linking an economic model for European agriculture with a mechanistic model to estimate nitrogen and carbon losses from arable soils in Europe

A comprehensive assessment of policy impact on greenhouse gas (GHG) emissions from agricultural soils requires careful consideration of both socio-economic aspects and the environmental heterogeneity of the landscape. We developed a modelling framework that links the large-scale economic model for agriculture CAPRI (Common Agricultural Policy Regional Impact assessment) with the biogeochemistry model DNDC (DeNitrification DeComposition) to simulate GHG fluxes, carbon stock changes and the nitrogen budget of agricultural soils in Europe. The framework allows the ex-ante simulation of agricultural or agri-environmental policy impacts on a wide range of environmental problems such as climate change (GHG emissions), air pollution and groundwater pollution. Those environmental impacts can be analyzed in the context of economic and social indicators as calculated by the economic model. The methodology consists of four steps: (i) definition of appropriate calculation units that can be considered as homogeneous in terms of economic behaviour and environmental response; (ii) downscaling of regional agricultural statistics and farm management information from a CAPRI simulation run into the spatial calculation units; (iii) designing environmental model scenarios and model runs; and finally (iv) aggregating results for interpretation. We show the first results of the nitrogen budget in croplands in fourteen countries of the European Union and discuss possibilities to improve the detailed assessment of nitrogen and carbon fluxes from European arable soils

Skeletal ontogeny of Indostomus

43 p. : ill. (some col.) ; 26 cm.Includes bibliographical references (p. 36-37).On the basis of an ontogenetic series of Indostomus paradoxus, we test characters that have been proposed for the phylogenetic placement of this enigmatic taxon. Contrary to previous authors, we found that the body armor of Indostomus differs from that of syngnathoids greatly and it closely resembles that of gasterosteoids in many unique details. The body plates originate from two different sources, that is, the endoskeleton (proximal-middle radials of dorsal and anal fin, neural and hemal spines, pelvic cartilages) and the exoskeleton (postcleithra, lateral body plates, sternal plate). The median bone in the ethmoid region develops from two centers and most likely represents the nasal bones that fuse during ontogeny with each other and with the vomer. Identity of the opercular bones is clarified, and it is demonstrated that Indostomus has an interopercle. The single pterygoid bone is the ectopterygoid. A parietal is lacking. There is only one cartilaginously preformed hypural element in the caudal fin. There is no parhypural, but a similar structure, termed the pseudoparhypural by us, develops as membranous outgrowths of the single hypural and the ural centrum. The pectoral radial plate fuses to the scapulocoracoid cartilage, and the pectoral radials ossify within that fused plate without prior fragmentation of the plate into individual radials, being specializations of the pectoral girdle that we think to be shared with all gasterosteoids. Indostomus shares with other gasterosteiforms the modification of the tripartite occipital condyle into an articulation of the basioccipital and the first centrum through loss of the articulation between exoccipitals and the first centrum in all developmental stages. Indostomus lacks distal radials in all pterygiophores supporting fin spines at all developmental stages, a character shared with other gasterosteiforms, mastacembelids, and probably other smegmamorphs. We conclude that Indostomus is a gasterosteoid gasterosteiform

Age of diagnosis for congenital hearing loss at Universitas Hospital, Bloemfontein

Background. Congenital hearing loss affects 3 - 6/1 000 children worldwide. The benefits of early identification of hearing loss and early intervention have been clearly established. There are no previous studies reporting on the age of diagnosis of congenital hearing loss in the Free State province.Objectives. To determine the age of diagnosis of congenital hearing loss in the Otorhinolaryngology Clinic at Universitas Hospital. Secondary aims included determining age at first visit, as well as the time delay between first visit and diagnosis, and documenting any interventions which took  place.Methods. A retrospective, descriptive study was undertaken, analysing data from 2001 to 2010.Results. A total of 260 cases of congenital hearing loss were analysed. The median age of diagnosis of hearing loss was 44.5 months. The median age of first visit was 40.9 months, and the median delay between first visit and diagnosis was 49 days.Conclusions. The median age of diagnosis far exceeds national and  international benchmarks. This has a profoundly negative impact on the development and outcomes of children with hearing loss. These results have been used to motivate for the expansion of hearing screening and diagnostic services in the province

Towards a fullerene-based quantum computer

Molecular structures appear to be natural candidates for a quantum technology: individual atoms can support quantum superpositions for long periods, and such atoms can in principle be embedded in a permanent molecular scaffolding to form an array. This would be true nanotechnology, with dimensions of order of a nanometre. However, the challenges of realising such a vision are immense. One must identify a suitable elementary unit and demonstrate its merits for qubit storage and manipulation, including input / output. These units must then be formed into large arrays corresponding to an functional quantum architecture, including a mechanism for gate operations. Here we report our efforts, both experimental and theoretical, to create such a technology based on endohedral fullerenes or 'buckyballs'. We describe our successes with respect to these criteria, along with the obstacles we are currently facing and the questions that remain to be addressed.Comment: 20 pages, 13 figs, single column forma