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)

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 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

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

Complete chaotic synchronization in mutually coupled time-delay systems

Complete chaotic synchronization of end lasers has been observed in a line of mutually coupled, time-delayed system of three lasers, with no direct communication between the end lasers. The present paper uses ideas from generalized synchronization to explain the complete synchronization in the presence of long coupling delays, applied to a model of mutually coupled semiconductor lasers in a line. These ideas significantly simplify the analysis by casting the stability in terms of the local dynamics of each laser. The variational equations near the synchronization manifold are analyzed, and used to derive the synchronization condition that is a function of the parameters. The results explain and predict the dependence of synchronization on various parameters, such as time-delays, strength of coupling and dissipation. The ideas can be applied to understand complete synchronization in other chaotic systems with coupling delays and no direct communication between synchronized sub-systems.Comment: 22 pages, 6 figure

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