XQOWL: An Extension of XQuery for OWL Querying and Reasoning

One of the main aims of the so-called Web of Data is to be able to handle heterogeneous resources where data can be expressed in either XML or RDF. The design of programming languages able to handle both XML and RDF data is a key target in this context. In this paper we present a framework called XQOWL that makes possible to handle XML and RDF/OWL data with XQuery. XQOWL can be considered as an extension of the XQuery language that connects XQuery with SPARQL and OWL reasoners. XQOWL embeds SPARQL queries (via Jena SPARQL engine) in XQuery and enables to make calls to OWL reasoners (HermiT, Pellet and FaCT++) from XQuery. It permits to combine queries against XML and RDF/OWL resources as well as to reason with RDF/OWL data. Therefore input data can be either XML or RDF/OWL and output data can be formatted in XML (also using RDF/OWL XML serialization).Comment: In Proceedings PROLE 2014, arXiv:1501.0169

Lie groupoids and algebroids applied to the study of uniformity and homogeneity of material bodies

A Lie groupoid, called \textit{material Lie groupoid}, is associated in a natural way to any elastic material. The corresponding Lie algebroid, called \textit{material algebroid}, is used to characterize the uniformity and the homogeneity properties of the material. The relation to previous results in terms of $G-$structures is discussed in detail. An illustrative example is presented as an application of the theory

Markoff-Rosenberger triples in arithmetic progression

We study the solutions of the Rosenberg--Markoff equation ax^2+by^2+cz^2 = dxyz (a generalization of the well--known Markoff equation). We specifically focus on looking for solutions in arithmetic progression that lie in the ring of integers of a number field. With the help of previous work by Alvanos and Poulakis, we give a complete decision algorithm, which allows us to prove finiteness results concerning these particular solutions. Finally, some extensive computations are presented regarding two particular cases: the generalized Markoff equation x^2+y^2+z^2 = dxyz over quadratic fields and the classic Markoff equation x^2+y^2+z^2 = 3xyz over an arbitrary number field.Comment: To appear in Journal of Symbolic Computatio

Study of extremely reddened AGB stars in the Galactic bulge

Context. Extremely reddened AGB stars lose mass at high rates of >10^-5 Msun/yr. This is the very last stage of AGB evolution, in which stars in the mass range 2.0--4.0 Msun (for solar metallicity) should have been converted to C stars already. The extremely reddened AGB stars in the Galactic bulge are however predominantly O-rich, implying that they might be either low-mass stars or stars at the upper end of the AGB mass range. Aims. To determine the mass range of the most reddened AGB stars in the Galactic bulge. Methods. Using Virtual Observatory tools, we constructed spectral energy distributions of a sample of 37 evolved stars in the Galactic bulge with extremely red IRAS colours. We fitted DUSTY models to the observational data to infer the bolometric fluxes. Applying individual corrections for interstellar extinction and adopting a common distance, we determined luminosities and mass-loss rates, and inferred the progenitor mass range from comparisons with AGB evolutionary models. Results. The observed spectral energy distributions are consistent with a classification as reddened AGB stars, except for two stars, which are proto-planetary nebula candidates. For the AGB stars, we found luminosities in the range 3000--30,000 Lsun and mass-loss rates 10^-5--3x10^-4 Msun/yr. The corresponding mass range is 1.1--6.0 Msun assuming solar metallicity. Conclusions. Contrary to the predictions of the evolutionary models, the luminosity distribution is continuous, with many O-rich AGB stars in the mass range in which they should have been converted into C stars already. We suspect that bulge AGB stars have higher than solar metallicity and therefore may avoid the conversion to C-rich. The presence of low-mass stars in the sample shows that their termination of the AGB evolution also occurs during a final phase of very high mass-loss rate, leading to optically thick circumstellar shells