Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Notes on distribution, variation and characterization of Erythrolamprus pseudocorallus Roze, 1959 (Serpentes: Colubridae) with the first records from Colombia

The Maracaibo false coral snake Erythrolamprus pseudocorallus, previously known only from Venezuela, is recorded from five departments in Colombia. These new data include the westernmost and the southernmost records presently known for the species. Two specimens previously identified as E. aesculapii, from the localities of El Valle, Distrito Federal, Venezuela, and Yarumal, Antioquia, Colombia, are now attributed to E. pseudocorallus, the first one representing the northeasternmost record of the species. Morphological characterization of E. pseudocorallus is expanded based on the new specimens.

Comparison Between Dcrit Considering the Abrupt Variation and Inflexion in the Concrete Mercury Intrusion Porosimetry Curve

Mercury intrusion porosimetry (MIP) has been widely used to evaluate the quality of concrete through the pore size distribution parameters. Two of these parameters are the critical pore diameter (Dcrit) and the percentage of the most interconnected net of pores compared to the total volume of pores. Some researchers consider Dcrit as the diameter obtained from the inflexion point of the cumulative mercury intrusion curve while others consider Dcrit as the diameter obtained from the point of abrupt variation in the same curve. This study aims to analyze two groups of concretes of varying w/c ratios, one cast with pozzolanic cement and another with high initial strength cement, in order to determine which of these diameters feature a better correlation with the quality parameters of the concretes. The concrete quality parameters used for the evaluations were (1) the w/c ratios and (2) chloride diffusion coefficients measured at approximately 90 days. MIP cumulative distributions of the same concretes were also measured at about 90 days, and Dcrit values were determined (1) from the point of abrupt variation and alternatively, (2) from the inflexion point of each of these plots. It was found that Dcrit values measured from the point of abrupt variation were useful indicators of the quality of the concrete, but the Dcrit values based on the inflexion points were not. Hence, it is recommended that Dcrit and the percentage of the most interconnected volume of pores should be obtained considering the point of abrupt variation of the cumulative curve of pore size distribution.

Charts & tables: production and consumption of manufactured dairy products, changes in seasonal variation of butter production, cost of manufacture and distribution of butter and cheese.

Cover title.

A natural history of the British butterflies ; their world-wide variation and geographical distribution. A text-book for students and collectors.

Volume 4 edited by George Wheeler.

The number, morphology, and distribution of retinal ganglion cells and optic axons in the Australian lungfish Neoceratodus forsteri (Krefft 1870)

Australian lungfish Neoceratodus forsteri may be the closest living relative to the first tetrapods and yet little is known about their retinal ganglion cells. This study reveals that lungfish possess a heterogeneous population of ganglion cells distributed in a horizontal streak across the retinal meridian, which is formed early in development and maintained through to adult stages. The number and complement of both ganglion cells and a population of putative amacrine cells within the ganglion cell layer are examined using retrograde labelling from the optic nerve and transmission electron-microscopic analysis of axons within the optic nerve. At least four types of retinal ganglion cells are present and lie predominantly within a thin ganglion cell layer, although two subpopulations are identified, one within the inner plexiform and the other within the inner nuclear layer. A subpopulation of retinal ganglion cells comprising up to 7% or the total population are significantly larger (> 400 mu m(2)) and are characterized as giant or alpha-like cells. Up to 44% of cells within the retinal ganglion cell layer represent a population of presumed amacrine cells. The optic nerve is heavily fasciculated and the proportion of myelinated axons increases with body length from 17% in subadults to 74% in adults. Spatial resolving power, based on ganglion cell spacing, is low (1.6-1.9 cycles deg(-1), n = 2) and does not significantly increase with growth. This represents the first detailed study of retinal ganglion cells in sarcopterygian fish, and reveals that, despite variation amongst animal groups, trends in ganglion cell density distribution and characteristics of cell types were defined early in vertebrate evolution.

Reasoning about change over time: Actions, events and their effects

This paper presents a new formalism for reasoning about change over time. The formalism derives a clean separation between the notion of states and situations. It allows more flexible temporal causal relationships than do other formalisms for reasoning about causal change, such as the situation calculus and the event calculus. It includes effects that start during, immediately after, or some time after their causes, and which end before, simultaneously with, or after their causes. A formal distinction between actions, action-types and events is proposed, which allows the expression of common-sense causal laws at high level. It is shown how these laws can be used to deduce state change over time at low level, when events occur under certain preconditions hold. Two problems that beset most interval-based temporal systems, i.e., the so-called dividing instant problem and intermingling problem, are absent from the formalism.

Children’s reasoning about other’s intentions: False-belief and counterfactual conditional inferences

Dados suplementares associados com o artigo e epígrafe estão disponíveis em: http://dx.doi.org/10.1016/j.cogdev.2016.08.007

Regional variation and change in the history of English strong verbs

This thesis investigates how the strong verb system inherited from Old English evolved in the regional dialects of Middle English (ca. 1100-1500). Old English texts preserve a relatively complex system of strong verbs, in which traditionally seven different ablaut classes are distinguished. This system becomes seriously disrupted from the Late Old English and Early Middle English periods onwards. As a result, many strong verbs die out, or have their ablaut patterns affected by sound change and morphological analogy, or transfer to the weak conjugation. In my thesis, I study the beginnings of two of these developments in two strong verb classes to find out what the evidence from Middle English regional dialects can tell us about their origins and diffusion. Chapter 2 concentrates on the strong-to-weak shift in Class III verbs, and investigates to what extent strong, mixed and weak past tense and participle forms vary in Middle English dialects, and whether the variation is more pronounced in the paradigms of specific verbs or sub-classes. Chapter 3 analyses the regional distribution of ablaut levelling in strong Class IV verbs throughout the Middle English period. The Class III and IV data for the Early Middle English period are drawn from A Linguistic Atlas of Early Middle English, and the data for the Late Middle English period from a sub-corpus of files from The Penn-Helsinki Parsed Corpus of Middle English and The Middle English Grammar Corpus. Furthermore, The English Dialect Dictionary and Grammar are consulted as an additional reference point to find out to what extent the Middle English developments are reflected in Late Modern English dialects. Finally, referring to modern insights into language variation and change and linguistic interference, Chapter 4 discusses to what extent intra- and extra-linguistc factors, such as token and type frequency, stem structure and language contact, might correlate with the strong-to-weak shift and ablaut levelling in Class III and IV verbs in the Middle English period. The thesis is accompanied by six appendices that contain further information about my distinction of Middle English dialect areas (Appendix A), historical Class III and IV verbs (B and C) and the text samples and linguistic data from the Middle English text corpora (D, E and F).

WOOD DENSITY VARIATION AND TREE RING DEMARCATION IN Gmelina arborea TREES USING X-RAY DENSITOMETRY

Due to its relationship with other properties, wood density is the main wood quality parameter. Modern, accurate methods - such as X-ray densitometry - are applied to determine the spatial distribution of density in wood sections and to evaluate wood quality. The objectives of this study were to determinate the influence of growing conditions on wood density variation and tree ring demarcation of gmelina trees from fast growing plantations in Costa Rica. The wood density was determined by X-ray densitometry method. Wood samples were cut from gmelina trees and were exposed to low X-rays. The radiographic films were developed and scanned using a 256 gray scale with 1000 dpi resolution and the wood density was determined by CRAD and CERD software. The results showed tree-ring boundaries were distinctly delimited in trees growing in site with rainfall lower than 25 10 mm/year. It was demonstrated that tree age, climatic conditions and management of plantation affects wood density and its variability. The specific effect of variables on wood density was quantified by for multiple regression method. It was determined that tree year explained 25.8% of the total variation of density and 19.9% were caused by climatic condition where the tree growing. Wood density was less affected by the intensity of forest management with 5.9% of total variation.

Gene Expression Noise in Spatial Patterning: hunchback Promoter Structure Affects Noise Amplitude and Distribution in Drosophila Segmentation

Positional information in developing embryos is specified by spatial gradients of transcriptional regulators. One of the classic systems for studying this is the activation of the hunchback (hb) gene in early fruit fly (Drosophila) segmentation by the maternally-derived gradient of the Bicoid (Bcd) protein. Gene regulation is subject to intrinsic noise which can produce variable expression. This variability must be constrained in the highly reproducible and coordinated events of development. We identify means by which noise is controlled during gene expression by characterizing the dependence of hb mRNA and protein output noise on hb promoter structure and transcriptional dynamics. We use a stochastic model of the hb promoter in which the number and strength of Bcd and Hb (self-regulatory) binding sites can be varied. Model parameters are fit to data from WT embryos, the self-regulation mutant hb(14F), and lacZ reporter constructs using different portions of the hb promoter. We have corroborated model noise predictions experimentally. The results indicate that WT (self-regulatory) Hb output noise is predominantly dependent on the transcription and translation dynamics of its own expression, rather than on Bcd fluctuations. The constructs and mutant, which lack self-regulation, indicate that the multiple Bcd binding sites in the hb promoter (and their strengths) also play a role in buffering noise. The model is robust to the variation in Bcd binding site number across a number of fly species. This study identifies particular ways in which promoter structure and regulatory dynamics reduce hb output noise. Insofar as many of these are common features of genes (e. g. multiple regulatory sites, cooperativity, self-feedback), the current results contribute to the general understanding of the reproducibility and determinacy of spatial patterning in early development.