The original SPARQL proposal was often criticized for its inability to navigate through the structure of RDF documents. For this reason property paths were introduced in SPARQL 1.1, but up to date there are no theoretical studies examining how their addition to the language affects main computational tasks such as query evaluation, query containment, and query subsumption. In this paper we tack...

How does the United States maintain the highest-quality research and teaching in its professional science workforce and ensure that those in this workforce are effectively trained and representative of national demographics? In the pathway to science careers, the postdoctoral stage is formative, providing the experiences that define the independent work of one's first faculty position. It is al...

L. Kohlberg (1969) argued that his moral stages captured a developmental sequence specific to the moral domain. To explore that contention, the author compared stage assignments obtained with the Standard Issue Scoring System (A. Colby & L. Kohlberg, 1987a, 1987b) and those obtained with a generalized content-independent stage-scoring system called the Hierarchical Complexity Scoring System (T....

This paper explains how to select the correct statistical test for a research project, clinical trial, or other investigation. The first step is to decide in what scale of measurement your data are as this will affect your decision-nominal, ordinal, or interval. The next stage is to consider the purpose of the analysis-for example, are you comparing independent or paired groups? Several statist...

Taking the standard size coal block samples defined by ISRM as research objects, both properties of methane diffusion of coal block under triaxial compressive stress and characteristic influences caused by methane pressure were systematically studied with thermo-fluid-solid coupling with triaxial servocontrolled seepage equipment of methane-containing coal. The result shows the methane diffusio...

Matchmaking between offers and requests is an essential mechanism in electronic market places. Description Logics have been proposed as a appropriate framework for representing offers and requests and standard methods from description logics reasoning have been proposed for computing matches. We argue that classical reasoning is not well suited for realistic scenarios as it does not allow to co...

We introduce a feature structure, corresponding to a timespan tree based on ‘A Generative Theory of Tonal Music’ (GTTM) for a music piece, and represent the reduction of the tree by the subsumption among these feature structures. As the collection of them forms a lattice, we can define the join and meet operations. We show a melodic morphing algorithm based on these simple operations.