A Framework for Design and Composition of Semantic Web Services

Semantic Web Services (SWS) are Web Services (WS) whose description is semantically enhanced with markup languages (e.g., OWL-S). This semantic description will enable external agents and programs to discover, compose and invoke SWSs. However, as a previous step to the specification of SWSs in a language, it must be designed at a conceptual level to guarantee its correctness and avoid inconsistencies among its internal components. In this paper, we present a framework for design and (semi) automatic composition of SWSs at a language-independent and knowledge level. This framework is based on a stack of ontologies that (1) describe the different parts of a SWS; and (2) contain a set of axioms that are really design rules to be verified by the ontology instances. Based on these ontologies, design and composition of SWSs can be viewed as the correct instantiation of the ontologies themselves. Once these instances have been created they will be exported to SWS languages such as OWL-S

ODESWS, A Semantic Web Service Development

ODE SWS is a development environment to design Semantic Web Services (SWS) at the knowledge level. ODE SWS describe the service following a problem-solving approach in which the SWS are modeled using tasks, to represent the SWS functional features, and methods, to describe the SWS internal structure. In this paper, we describe the ODE SWS architecture and the capabilities of its graphical interface, which enables users to design SWS independently of the semantic markup language used to represent them

SWSDesigner: The Graphical Interface of ODESWS

ODESWS is a development environment to design Semantic Web Services (SWS) at the knowledge level. ODESWS describe the service following a problem-solving approach in which the SWS are modelled using tasks, to represent the SWS functional features, and methods, to describe the SWS internal structure. In this paper, we describe the ODESWS graphical interface (called SWSDesinger). This interface enables users to design SWS independently of the semantic markup language in which the service will be implemented, and once the design has been export the service to an SWS implementation languag

Improving a Satellite Mission System by means of a Semantic Grid Architecture

The use of a semantic grid architecture can make easier the deployment of complex applications, in which several organizations are involved and diverse resources are shared. This paper presents the application of the architecture defined in the Ontogrid project (S-OGSA) into a scenario for the analysis of the quality of the products of satellite missions

Dairy food structures influence the rates of nutrient digestion through different in vitro gastric behaviour

peer-reviewedThe purpose of this study was to investigate in vitro the extent to which specific food structures alter gastric behaviour and could therefore impact on nutrient delivery and digestion in the small intestine. Results obtained from a specifically developed gastric digestion model, were compared to results from a previous human study on the same foods. The semi-dynamic model could simulate the main gastric dynamics including gradual acidification, lipolysis, proteolysis and emptying. Two dairy-based foods with the same caloric content but different structure were studied. The semi-solid meal comprised a mixture of cheese and yogurt and the liquid meal was an oil in water emulsion stabilised by milk proteins. Our findings showed similar gastric behaviour to that seen previously in vivo. Gastric behaviour was affected by the initial structure with creaming and sedimentation observed in the case of liquid and semi-solid samples, respectively. Lipid and protein digestion profiles showed clear differences in the amount of nutrients reaching the simulated small intestine and, consequently, the likely bioaccessibility after digestion. The semi-solid sample generated higher nutrient released into the small intestine at an early stage of digestion whereas nutrient accessibility from liquid sample was delayed due to the formation of a cream layer in the gastric phase. This shows the strong effect of the matrix on gastric behaviour, proteolysis and lipolysis, which explains the differences in physiological responses seen previously with these systems in terms of fullness and satiety.This work has funded by the Irish Dairy Levy Research Trust (project number MDDT6261). Ana-Isabel Mulet-Cabero was funded under Teagasc Walsh Fellowship scheme and BBSRC in the UK (grant BB/J004545/1)

Model systematics in time domain tests of binary black hole evolution

We perform several consistency tests between different phases of binary black hole dynamics; the inspiral, the merger, and the ringdown on the gravitational wave events GW150914 and GW170814. These tests are performed explicitly in the time domain, without any spectral leakage between the different phases. We compute posterior distributions on the mass and spin of the initial black holes and the final black hole. We also compute the initial areas of the two individual black holes and the final area from the parameters describing the remnant black hole. This facilitates a test of Hawking's black hole area theorem. We use different waveform models to quantify systematic waveform uncertainties for the area increase law with the two events. We find that these errors may lead to overstating the confidence with which the area theorem is confirmed. For example, we find $>99\%$ agreement with the area theorem for GW150914 if a damped sinusoid consisting of a single-mode is used at merger to estimate the final area. This is because this model overestimates the final mass. Including an overtone of the dominant mode decreases the confidence to $\sim94\%$; using a full merger-ringdown model further decreases the confidence to $\sim 85-90\%$. We find that comparing the measured change in the area to the expected change in area yields a more robust test, as it also captures over estimates in the change of area. We find good agreement with GR when applying this test to GW150914 and GW170814

3-OGC: Catalog of gravitational waves from compact-binary mergers

We present the third Open Gravitational-wave Catalog (3-OGC) of compact-binary coalescences, based on the analysis of the public LIGO and Virgo data from 2015 through 2019 (O1, O2, O3a). Our updated catalog includes a population of 57 observations, including four binary black hole mergers that had not previously been reported. This consists of 55 binary black hole mergers and the two binary neutron star mergers GW170817 and GW190425. We find no additional significant binary neutron star or neutron star--black hole merger events. The most confident new detection is the binary black hole merger GW190925\_232845 which was observed by the LIGO Hanford and Virgo observatories with $\mathcal{P}_{\textrm{astro}} > 0.99$; its primary and secondary component masses are $20.2^{+3.9}_{-2.5} M_{\odot}$ and $15.6^{+2.1}_{-2.6} M_{\odot}$, respectively. We estimate the parameters of all binary black hole events using an up-to-date waveform model that includes both sub-dominant harmonics and precession effects. To enable deep follow-up as our understanding of the underlying populations evolves, we make available our comprehensive catalog of events, including the sub-threshold population of candidates, and the posterior samples of our source parameter estimates