A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)

Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service Modelling Ontology (WSMO) has recently been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring, etc.) involved in both intra- and inter-enterprise integration of Web Services. To support the standardization and tool support of WSMO, a formal semantics of the language is highly desirable. As there are a few variants of WSMO and it is still under development, the semantics of WSMO needs to be formally defined to facilitate easy reuse and future development. In this paper, we present a formal Object-Z semantics of WSMO. Different aspects of the language have been precisely defined within one unified framework. This model not only provides a formal unambiguous model which can be used to develop tools and facilitate future development, but as demonstrated in this paper, can be used to identify and eliminate errors presented in existing documentation

A Formal Model of Semantic Web Service Ontology (WSMO) Execution

Semantic Web Services have been one of the most significant research areas within the Semantic Web vision, and have been recognized as a promising technology that exhibits huge commercial potential. Current Semantic Web Service research focuses on defining models and languages for the semantic markup of all relevant aspects of services, which are accessible through a Web service interface. The Web Service Modelling Ontology (WSMO) is one of the most significant Semantic Web Service framework proposed to date. To support the standardization and tool support of WSMO, a formal semantics of the language is highly desirable. As there are a few variants of WSMO and it is still under development, the semantics of WSMO needs to be formally defined to facilitate easy reuse and future development. In this paper, we present a formal Object-Z semantics of WSMO. Different aspects of the language have been precisely defined within one unified framework. This model provides a formal unambiguous specification, which can be used to develop tools and facilitate future development

Magnetic structure of free cobalt clusters studied with Stern-Gerlach deflection experiments

We have studied the magnetic properties of free cobalt clusters in two semi-independent Stern-Gerlach deflection experiments at temperatures between 60 and 307 K. We find that clusters consisting of 13 to 200 cobalt atoms exhibit behavior that is entirely consistent with superparamagnetism, though complicated by finite-system fluctuations in cluster temperature. By fitting the data to the Langevin function, we report magnetic moments per atom for each cobalt cluster size and compare the results of our two measurements and all those performed previously. In addition to a gradual decrease in moment per atom with increasing size, there are oscillations that appear to be caused by geometrical shell structure. We discuss our observations in light of the two competing models for Langevin-like magnetization behavior in free clusters, superparamagnetism and adiabatic magnetization, and conclude that the evidence strongly supports the superparamagnetic model

Oil spill source identification using colorimetric detection

The colorimetric detection of polycyclic aromatic hydrocarbons (PAHs) was investigated for the quick and easy identification of likely oil spill offenders. In this new technology, photochromic compounds were used to sense PAHs by varying their photoswitching capacity. To that end, three photochromes were designed and showed varying degrees of photoswitching inhibition depending on PAH analyte, photochrome and excitation wavelength. PAH mixtures that mimic oil spills showed the same varying response and demonstrated the accuracy of this technology. To prove the applicability of this technology, an array was assembled using the three photochromes at three excitation wavelengths and tested against authentic crude oil samples. Not only could these samples be differentiated, weathering of two distinctly different oil samples showed limited variation in response, demonstrating that this may be a viable technique for in situ oil identification

Spontaneous Rupture of the Extensor Pollicis Longus Tendon in a Tailor

A spontaneous rupture of the extensor pollicis longus (EPL) tendon is associated with rheumatoid arthritis, fractures of the wrist, systemic or local steroids and repetitive, and excessive abnormal motion of the wrist joint. The authors encountered a case of a spontaneous rupture of the EPL tendon. The patient had no predisposing factors including trauma or steroid injection. Although the patient had a positive rheumatoid factor, he did not demonstrate other clinical or radiological findings of rheumatoid arthritis. During surgery, the EPL tendon was found to be ruptured at the extensor retinaculum (third compartment). Reconstruction of the extensor tendon using the palmaris longus tendon was performed. At the 18-month follow-up, the patient showed satisfactory extension of the thumb and 40° extension and flexion at the wrist

Toxoplasma gondii Inhibits Apoptosis in Infected Cells by Caspase Inactivation and NF-κB Activation

Our experiments aimed to clarify the mechanism by which host cell apoptosis is inhibited by infection with the intracellular protozoan parasite, Toxoplasma gondii (T. gondii). Mouse spleen cells were cultured in 6-well plates with RPMI 1640/10% FBS at 37℃, in a 5% CO2 atmosphere. Apoptosis of spleen cells was induced by actinomycin-D (AD) treatment for 1 h prior to infection with T. gondii. A variety of assays were used to assess the progression of apoptosis: DNA size analysis on agarose gel electrophoresis, flow cytometry with annexin V/PI staining, and analysis of expression levels of Bcl-2 family and NF-κB mRNA and proteins by RT-PCR, Western blotting, and EMSA. Additionally, transmission electron microscopy (TEM) was performed to observe changes in cell morphology. Fragmentation of DNA was inhibited in spleen cells treated with AD and T. gondii 5 h and 18 h post infection, respectively, and flow cytometry studies showed a decreased apoptotic rates in AD and T. gondii treated spleen cells. We observed decreased expression of Bax mRNA and protein, while levels of Bcl-2 mRNA remained constant in spleen cells treated with AD and T. gondii. Caspase 3 and PARP were inactivated in cells treated with AD and T. gondii, and increased levels of cleaved caspase 8 were also observed. Analysis of EMSA and Western blot data suggests that activation of transcription factor NF-κB may be involved in the blockade of apoptosis by T. gondii. TEM analysis showed nuclear fragmentation and chromatin condensation occurring in spleen cells treated with AD; however, such apoptosis-associated morphological changes were not observed in cells treated with both AD and T. gondii tachyzoites. Together, these data show that T. gondii infection inhibits AD induced apoptosis via caspase inactivation and NF-κB activation in mouse spleen cells