Web ontology representation and reasoning via fragments of set theory

In this paper we use results from Computable Set Theory as a means to represent and reason about description logics and rule languages for the semantic web. Specifically, we introduce the description logic \mathcal{DL}\langle 4LQS^R\rangle(\D)--admitting features such as min/max cardinality constructs on the left-hand/right-hand side of inclusion axioms, role chain axioms, and datatypes--which turns out to be quite expressive if compared with \mathcal{SROIQ}(\D), the description logic underpinning the Web Ontology Language OWL. Then we show that the consistency problem for \mathcal{DL}\langle 4LQS^R\rangle(\D)-knowledge bases is decidable by reducing it, through a suitable translation process, to the satisfiability problem of the stratified fragment $4LQS^R$ of set theory, involving variables of four sorts and a restricted form of quantification. We prove also that, under suitable not very restrictive constraints, the consistency problem for \mathcal{DL}\langle 4LQS^R\rangle(\D)-knowledge bases is \textbf{NP}-complete. Finally, we provide a $4LQS^R$-translation of rules belonging to the Semantic Web Rule Language (SWRL)

Differential alphav integrin-mediated Ras-ERK signaling during two pathways of angiogenesis.

Antagonists of alphavbeta3 and alphavbeta5 disrupt angiogenesis in response to bFGF and VEGF, respectively. Here, we show that these alphav integrins differentially contribute to sustained Ras-extracellular signal-related kinase (Ras-ERK) signaling in blood vessels, a requirement for endothelial cell survival and angiogenesis. Inhibition of FAK or alphavbeta5 disrupted VEGF-mediated Ras and c-Raf activity on the chick chorioallantoic membrane, whereas blockade of FAK or integrin alphavbeta3 had no effect on bFGF-mediated Ras activity, but did suppress c-Raf activation. Furthermore, retroviral delivery of active Ras or c-Raf promoted ERK activity and angiogenesis, which anti-alphavbeta5 blocked upstream of Ras, whereas anti-alphavbeta3 blocked downstream of Ras, but upstream of c-Raf. The activation of c-Raf by bFGF/alphavbeta3 not only depended on FAK, but also required p21-activated kinase-dependent phosphorylation of serine 338 on c-Raf, whereas VEGF-mediated c-Raf phosphorylation/activation depended on Src, but not Pak. Thus, integrins alphavbeta3 and alphavbeta5 differentially regulate the Ras-ERK pathway, accounting for distinct vascular responses during two pathways of angiogenesis

In-flight calibration of the Herschel-SPIRE instrument

SPIRE, the Spectral and Photometric Imaging REceiver, is the Herschel Space Observatory's submillimetre camera and spectrometer. It contains a three-band imaging photometer operating at 250, 350 and 500 μm, and an imaging Fourier-transform spectrometer (FTS) covering 194–671 μm (447-1550 GHz). In this paper we describe the initial approach taken to the absolute calibration of the SPIRE instrument using a combination of the emission from the Herschel telescope itself and the modelled continuum emission from solar system objects and other astronomical targets. We present the photometric, spectroscopic and spatial accuracy that is obtainable in data processed through the “standard” pipelines. The overall photometric accuracy at this stage of the mission is estimated as 15% for the photometer and between 15 and 50% for the spectrometer. However, there remain issues with the photometric accuracy of the spectra of low flux sources in the longest wavelength part of the SPIRE spectrometer band. The spectrometer wavelength accuracy is determined to be better than 1/10th of the line FWHM. The astrometric accuracy in SPIRE maps is found to be 2 arcsec when the latest calibration data are used. The photometric calibration of the SPIRE instrument is currently determined by a combination of uncertainties in the model spectra of the astronomical standards and the data processing methods employed for map and spectrum calibration. Improvements in processing techniques and a better understanding of the instrument performance will lead to the final calibration accuracy of SPIRE being determined only by uncertainties in the models of astronomical standards

Random field Ising systems on a general hierarchical lattice: Rigorous inequalities

Random Ising systems on a general hierarchical lattice with both, random fields and random bonds, are considered. Rigorous inequalities between eigenvalues of the Jacobian renormalization matrix at the pure fixed point are obtained. These inequalities lead to upper bounds on the crossover exponents $\{\phi_i\}$.Comment: LaTeX, 13 pages, figs. 1a,1b,2. To be published in PR

End to end distance on contour loops of random gaussian surfaces

A self consistent field theory that describes a part of a contour loop of a random Gaussian surface as a trajectory interacting with itself is constructed. The exponent \nu characterizing the end to end distance is obtained by a Flory argument. The result is compared with different previuos derivations and is found to agree with that of Kondev and Henley over most of the range of the roughening exponent of the random surface.Comment: 7 page

The Induced Magnetic Field of the Moon: Conductivity Profiles and Inferred Temperature

Electromagnetic induction in the moon driven by fluctuations of the interplanetary magnetic field is used to determine the lunar bulk electrical conductivity. The present data clearly show the north-south and east-west transfer function difference as well as high frequency rollover. The difference is shown to be compatible over the mid-frequency range with a noise source associated with the compression of the local remanent field by solar wind dynamic pressure fluctuations. Models for two, three, and four layer; current layer, double current layer, and core plus current layer moons are generated by inversion of the data using a theory which incorporates higher order multipoles. Core radii conductivities generally are in the range 1200 to 1300 km and 0.001 to 0.003 mhos/m; and for the conducting shell 1500 to 1700 km with 0.0001 to 0.0007 mhos/m with an outer layer taken as nonconducting. Core temperature based on available olivine data is 700 to 1000 C

Energy conditions for a generally coupled scalar field outside a reflecting sphere

We calculate the stress-energy tensor for a scalar field with general curvature coupling, outside a perfectly reflecting sphere with Dirichlet boundary conditions. For conformal coupling we find that the null energy condition is always obeyed, and therefore the averaged null energy condition (ANEC) is also obeyed. Since the ANEC is independent of curvature coupling, we conclude that the ANEC is obeyed for scalar fields with any curvature coupling in this situation. We also show how the spherical case goes over to that of a flat plate as one approaches the sphere.Comment: Accepted for publication in Phys. Rev.

A Study of Snippet Length and Informativeness: Behaviour, Performance and User Experience

The design and presentation of a Search Engine Results Page (SERP) has been subject to much research. With many contemporary aspects of the SERP now under scrutiny, work still remains in investigating more traditional SERP components, such as the result summary. Prior studies have examined a variety of different aspects of result summaries, but in this paper we investigate the influence of result summary length on search behaviour, performance and user experience. To this end, we designed and conducted a within-subjects experiment using the TREC AQUAINT news collection with 53 participants. Using Kullback-Leibler distance as a measure of information gain, we examined result summaries of different lengths and selected four conditions where the change in information gain was the greatest: (i) title only; (ii) title plus one snippet; (iii) title plus two snippets; and (iv) title plus four snippets. Findings show that participants broadly preferred longer result summaries, as they were perceived to be more informative. However, their performance in terms of correctly identifying relevant documents was similar across all four conditions. Furthermore, while the participants felt that longer summaries were more informative, empirical observations suggest otherwise; while participants were more likely to click on relevant items given longer summaries, they also were more likely to click on non-relevant items. This shows that longer is not necessarily better, though participants perceived that to be the case - and second, they reveal a positive relationship between the length and informativeness of summaries and their attractiveness (i.e. clickthrough rates). These findings show that there are tensions between perception and performance when designing result summaries that need to be taken into account

A characterization of quasi-rational polygons

The aim of this paper is to study quasi-rational polygons related to the outer billiard. We compare different notions introduced, and make a synthesis of those.Comment: 15 pages, 9 figure