语义Web中的自动推理和主动规则终止性分析

语义Web是现有Web的一个语义延伸，目标是使Web的应用具有一定的智能，能够进行更准确的信息搜索和一定的决策支持，帮助用户自动完成一些任务。语义Web的实现需要人工智能、数据库等领域的技术支持，需要对已有的技术进行改进和扩展，也需要对现有技术本身如ECA规则进行更深入的研究从而进一步将其扩展到语义Web。自动推理技术是语义Web实现的基础之一，而ECA规则可以为系统增加反应性行为能力，本文围绕自动推理和ECA规则，主要进行了如下研究：（1） 一阶逻辑推理技术对语义Web的推理支持。分析了语义Web语言需要的表达能力，对现有描述逻辑工具、一阶逻辑工具的能力进行了考察。现有的描述逻辑工具不足以处理应用所需要的更丰富的语言成分、任意的一阶逻辑规则等，而一阶逻辑自动定理证明工具和有限模型查找工具有分别都有较好的研究成果。把语义Web的推理问题化成可满足性判定问题后，本文给出了一阶逻辑定理证明器和有限模型查找器形成的并发过程进行可满足性判定的方法。这样既可以解决描述逻辑工具的不足，并可弥补定理证明器对可满足的公式推理的不完备性。（2） ECA规则(主动规则)的终止性分析。终止性是主动规则最重要的行为性质，不终止是由于主动规则的级联触发造成的，意味着定义错误。终止性检查通常是不可判定的。有效的静态分析方法是主动规则得以实际应用的保证。静态分析的关键是合适的数据库状态描述，本文给出用约束表示数据库状态的方法，通过模拟规则执行，使用约束求解进行条件计算和重复状态检查，判断主动规则集合是否终止。用约束精确表示了数据库状态，在规则处理中考虑了执行语义，从而得到更精确的终止性结论。

语义Web服务组合一致性验证及案例研究

语义Web和Web服务是当前热门的应用技术，而两者的结合——语义Web服务将在未来几年具有极大的应用前景。语义使得~Web~服务的自动发现和自动组装变得非常容易、高效，但是随之而来的问题是如何确保自动组装的~Web~服务组合在本体知识库的状态下是一致的，并且在执行过程中也始终保持一致。 本文介绍了一种基于路径的语义Web服务组合验证方案，通过对服务组合中的单个Web服务进行输入、输出、前置条件和执行效果（IOPE）进行语义标注，旨在找出组合执行过程中在任何结点处可能存在的不一致性。文章定义了显式不一致性和隐式不一致性，首先提出了语义Web服务前置条件和执行效果的正规化表示方法，然后介绍了顺序和并发执行的多个Web服务之执行效果自动化累积算法，接下来给出了基于路径的一致性验证算法。文章还给出了实现该验证方案的平台架构，给出了相关实验过程和结果。 文章还完整地介绍了中科院某研究所本体的构造和扩充过程，定义了研究生毕业申请服务组合，并介绍了服务的IOPE标注，最后运用验证方案对该组合进行验证，给出了验证结果。

Web-based spatiotemporal visualization of marine environment data

With long-term marine surveys and research, and especially with the development of new marine environment monitoring technologies, prodigious amounts of complex marine environmental data are generated, and continuously increase rapidly. Features of these data include massive volume, widespread distribution, multiple-sources, heterogeneous, multi-dimensional and dynamic in structure and time. The present study recommends an integrative visualization solution for these data, to enhance the visual display of data and data archives, and to develop a joint use of these data distributed among different organizations or communities. This study also analyses the web services technologies and defines the concept of the marine information gird, then focuses on the spatiotemporal visualization method and proposes a process-oriented spatiotemporal visualization method. We discuss how marine environmental data can be organized based on the spatiotemporal visualization method, and how organized data are represented for use with web services and stored in a reusable fashion. In addition, we provide an original visualization architecture that is integrative and based on the explored technologies. In the end, we propose a prototype system of marine environmental data of the South China Sea for visualizations of Argo floats, sea surface temperature fields, sea current fields, salinity, in-situ investigation data, and ocean stations. An integration visualization architecture is illustrated on the prototype system, which highlights the process-oriented temporal visualization method and demonstrates the benefit of the architecture and the methods described in this study.

Protective immunity induced by CpG ODNs against white spot syndrome virus (WSSV) via intermediation of virus replication indirectly in Litopenaeus vannamei

The worldwide shrimp culture is beset with diseases mainly caused by white spot syndrome virus (WSSV) and suffered huge economic losses, which bring out an urgent need to develop the novel strategies to better protect shrimps against WSSV. In the present study, CpG-rich plasmid pUC57-CpG, plasmid pUC57 and PBS were employed to pretreat shrimps comparatively to evaluate the protective effects of CpG ODNs on shrimps against WSSV. The survival rates, WSSV copy numbers, and antiviral associated factors (Dicer, Argonaute, STAT and ROS) were detected in Litopenaeus vannamei. There were higher survival proportion, lower WSSV copy numbers, and higher mRNA expression of Dicer and STAT in pUC57-CpG-pretreatment shrimps than those in pUC57- and PBS-pretreatment shrimps after WSSV infection. The Argonaute mRNA expression in pUC57-CpG-, pUC57- and PBS-pretreatment shrimps after WSSV infection was significantly higher than that of shrimps post PBS stimulation on the first day. The ROS levels in pUC57-CpG-pretreatment shrimps post secondary stimulation of PBS were significantly higher than those post WSSV infection on the first day. These results together demonstrated that pUC57-CpG induced partial protective immunity in shrimps against WSSV via intermediation of virus replication indirectly and could be used as a potential candidate in the development of therapeutic agents for disease control of WSSV in L. vannamei. (C) 2009 Elsevier Ltd. All rights reserved.

Four viral proteins of white spot syndrome virus (WSSV) that attach to shrimp cell membranes

White spot syndrome virus (WSSV) is a major shrimp pathogen that has a widespread negative affect on shrimp production in Asia and the Americas. It is known that WSSV infects shrimp cells through viral attachment proteins (VAP) that bind with shrimp cell receptors. However, the identity of both WSSV VAP and shrimp cell receptors remains unclear. We used digoxigenin (DIG)labeled shrimp hemocyte and gill cell membranes to bind to WSSV proteins immobilized on nitrocellulose membranes, and 4 putative WSSV VAP (37 kDa, 39 kDa and 2 above 97 kDa) were identified. Mass spectrometric analysis identified the 37 kDa putative VAP as the product of WSSV gene VP281.

White spot syndrome virus (WSSV) infects specific hemocytes of the shrimp Penaeus merguiensis

White spot syndrome virus (WSSV) was specifically detected by PCR in Penaeus merguiensis hemocytes, hemolymph and plasma. This suggested a close association between the shrimp hemolymph and the virus. Three types of hemocyte from shrimp were isolated using flow cytometry. Dynamic changes of the hemocyte subpopulations in P. merguiensis at different times after infection were observed, indicating that the WSSV infection selectively affected specific subpopulations. Immunofluorescence assay (IFA) and a Wright-Giemsa double staining study of hemocyte types further confirmed the cellular localization of the virus in the infected hemocytes. Electron microscopy revealed virus particles in both vacuoles and the nucleus of the semigranular cells (SGC), as well as in the vacuoles of the granular cells (GC). However, no virus could be detected in the hyaline cells (HC). Our results suggest that the virus infects 2 types of shrimp hemocytes-GCs and SGCs. The SGC type contains higher virus loads and exhibits faster infection rates, and is apparently more susceptible to WSSV infection.

Discovery of the genes in response to white spot syndrome virus (WSSV) infection in Fenneropenaeus chinensis through cDNA microarray

We used microarray technology to study differentially expressed genes in white spot syndrome virus (WSSV)-infected shrimp. A total of 3136 cDNA targets, including 1578 unique genes from a cephalothorax cDNA library and 1536 cDNA clones from reverse and forward suppression subtractive hybridization (SSH) libraries of Fenneropenaeus chinensis, plus 14 negative and 8 blank control clones, were spotted onto a 18 x 18 mm area of NH2-modified glass slides. Gene expression patterns in the cephalothorax of shrimp at 6 h after WSSV injection and moribund shrimp naturally infected by WSSV were analyzed. A total of 105 elements on the arrays showed a similar regulation pattern in artificially infected shrimp and naturally infected moribund shrimp; parts of the results were confirmed by semiquantitative reverse transcriptase-polymerase chain reaction (RT-PCR). The up-regulated expression of immune-related genes, including heat shock proteins (HSP70 and HSP90), trehalose-phosphate synthase (TPS), ubiquitin C, and so forth, were observed when shrimp were challenged with WSSV. Genes including myosin LC2, ATP synthase A chain, and arginine kinase were found to be down-regulated after WSSV infection. The expression of housekeeping genes such as actin, elongation factor, and tubulin is not stable, and so these genes are not suitable as internal standards for semiquantitative RT-PCR when shrimp are challenged by WSSV. As a substitute, we found that triosephosphate isomerase (TPI) was an ideal candidate of interstandards in this situation.

Characterization and mapping of expressed sequence tags isolated from a subtracted cDNA library of Litopenaeus vannamei injected with white spot syndrome virus

A large number of polymorphic simple sequence repeats (SSRs) or microsatellites are needed to develop a genetic map for shrimp. However, developing an SSR map is very time-consuming, expensive, and most SSRs are not specifically linked to gene loci of immediate interest. We report here on our strategy to develop polymorphic markers using expressed sequence tags (ESTs) by designing primers flanking single or multiple SSRs with three or more repeats. A subtracted cDNA library was prepared using RNA from specific pathogen-free (SPF) Litopenaeus vannamei juveniles (similar to 1 g) collected before (0) and after (48 h) inoculation with the China isolate of white spot syndrome virus (WSSV). A total of 224 clones were sequenced, 194 of which were useful for homology comparisons against annotated genes in NCBI nonredundant (nr) and protein databases, providing 179 sequences encoded by nuclear DNA, 4 mitochondrial DNA, and 11 were similar to portions of WSSV genome. The nuclear sequences clustered in 43 groups, 11 of which were homologous to various ESTs of unknown function, 4 had no homology to any sequence, and 28 showed similarities to known genes of invertebrates and vertebrates, representatives of cellular metabolic processes such as calcium ion balance, cytoskeleton mRNAs, and protein synthesis. A few sequences were homologous to immune system-related (allergens) genes and two were similar to motifs of the sex-lethal gene of Drosophila. A large number of EST sequences were similar to domains of the EF-hand superfamily (Ca2+ binding motif and FRQ protein domain of myosin light chains). Single or multiple SSRs with three or more repeats were found in approximately 61 % of the 179 nuclear sequences. Primer sets were designed from 28 sequences representing 19 known or putative genes and tested for polymorphism (EST-SSR marker) in a small test panel containing 16 individuals. Ten (53%) of the 19 putative or unknown function genes were polymorphic, 4 monomorphic, and 3 either failed to satisfactorily amplify genomic DNA or the allele amplification conditions need to be further optimized. Five polymorphic ESTs were genotyped with the entire reference mapping family, two of them (actin, accession #CX535973 and shrimp allergen arginine kinase, accession #CX535999) did not amplify with all offspring of the IRMF panel suggesting presence of null alleles, and three of them amplified in most of the IRM F offspring and were used for linkage analysis. EF-hand motif of myosin light chain (accession #CX535935) was placed in ShrimpMap's linkage group 7, whereas ribosomal protein S5 (accession #CX535957) and troponin I (accession #CX535976) remained unassigned. Results indicate that (a) a large number of ESTs isolated from this cDNA library are similar to cytoskeleton mRNAs and may reflect a normal pathway of the cellular response after im infection with WSSV, and (b) primers flanking single or multiple SSRs with three or more repeats from shrimp ESTs could be an efficient approach to develop polymorphic markers useful for linkage mapping. Work is underway to map additional SSR-containing ESTs from this and other cDNA libraries as a plausible strategy to increase marker density in ShrimpMap.

Modulatory effects of ammonia-N on the immune system of Penaeus japonicus to virulence of white spot syndrome virus

To study response to white spot syndrome virus (WSSV) under ammonia stress, Penaeus japonicus were exposed to 5 mg l(-1) ammonia-N and challenged orally with WSSV (NW). Controls consisted of an ammonia-N-exposed control group (N), a WSSV-challenged positive control group (W), and an untreated control group (control). Immune parameters measured were total haemocyte count (THC), haemocyte phagocytosis, plasma protein content and haemolymph enzymatic activities for prophenoloxidase (proPO), alkaline phosphatase (ALP), and nitric oxide synthase (NOS). THC and plasma protein had downward trends with time in all treatment groups (NW, N, and W) in contrast to the untreated control group (control). The percentage phagocytosis, NOS activity, and ALP and proPO activity of W and NW decreased initially then increased from 6 to 78 h (except for NOS and ALP, from 6 to 54 h) before declining thereafter until the end of the experiment. Compared with untreated controls (control), there was a downward trend for all measured parameters in the treatment groups (N, NW, and W), but the degree was W > NW > N. WSSV was detected at 78 h postchallenge in both W and NW. In conclusion, 5 mg l(-1) ammonia-N reduced the immunocompetence of P japonicus and may have decreased the virulence of WSSV (C) 2004 Elsevier B.V. All rights reserved.

Studies on the transmission of WSSV (white spot syndrome virus) in juvenile Marsupenaeus japonicus via marine microalgae

We studied the possible role that marine microalgae may play during the outbreaks of WSS (white spot syndrome). In order to elucidate the possibility of marine microalgae carrying WSSV (white spot syndrome virus), six marine microallgae (Isochr.vsis galbana, Skeletonema costatum, Chlorella sp., Heterosigma akashiwo, Scrippsiella trochoidea, Dunaliella salina) were co-cultured with adult Marsupenaeus japollicus infected with WSSV and were assayed daily by nested-PCR to study whether they could carry WSSV. Further experiments were conducted to investigate whether the virus carried by microalgae could re-infect juvenile M. japonicus. Results showed that all of the experimental microalgae, except H. akashiwo could carry WSSV, and among them, Chlorella sp. and S. trochoidea had the strongest WSSV-carrying ability. Unlike other invertebrate carriers of WSSV, the WSSV detections in microalgae, which were positive after I and 3 days, were negative after 10 days of incubation. WSSV detection results in juvenile M. japonicus showed that the juvenile shrimp were re-infected by co-cultured Chlorella sp., although the juvenile M. japonicus carried so small an amount of WSSV that it could only be detected by nested-PCR. The results of this experiment suggest that microalgae might be one possible horizontal transmission pathway for WSSV. Further research, however, is required to better understand the factors behind the different carrying abilities and virus-carrying mechanisms of different microalgae. (c) 2007 Elsevier Inc. All rights reserved.

Studies on nitric oxide synthase activity in haemocytes of shrimps Fenneropenaeus chinensis and Marsupenaeus japonicus after white spot syndrome virus infection

The nitric oxide synthase (NOS) activity in the haemocytes of shrimps Fenneropenaeus chinensis (Osbeck) and Marsupenaeus japonicus (Bate) was Studied after white spot syndrome virus (WSSV) infection to determine its characteristics in response to virus infection. First, the NOS activity in haemocytes of shrimps was determined by the means of NBT reduction and changes in cell conformation. And the variations of NOS activity in shrimps after challenge with WSSV intramuscularly were evaluated through the analysis Of L-citrulline and total nitrite/nitrate (both as NO derivates) concentrations. The result showed that NOS activity in the haemocytes of F chinensis increased slightly from 0 to 12 h postchallenge, indicated by the variations Of L-Citrulline (from 11.15 +/- 0.10 to 12.08 +/- 0.64 mu M) and total nitrite/nitrate concentrations (from 10.45 +/- 0.65 to 12.67 +/- 0.52 mu M). Then it decreased sharply till the end of the experiment (84 h postchallenge), the concentrations Of L-Citrulline and total nitrite/nitrate at 84 It were 1.58 +/- 0.24 and 2.69 +/- 0.70 mu M, respectively. The LPS-stimulated NOS activity kept constant during the experiment. However, in M. japonicus, the NOS activity kept increasing during the first 72 It postchallenge, the concentrations Of L-Citrulline and total nitrite/nitrate increased from 7.82 +/- 0.77 at 0 h to 10.79 +/- 0.50 mu M at 72 h, and from 8.98 +/- 0.43 at 0 h to 11.20 +/- 0.37 mu M at 72 h, respectively. Then it decreased till the end of the experiment (216 h postchallenge), and the concentrations of L-Citrulline and total nitrite/nitrate at 216 h were 5.66 +/- 0.27 and 4.68 +/- 0.16 mu M, respectively. More importantly, an apparent increase of I-PS-stimulated NOS activity was observed in M japonicus at 48 h postchallenge, which was about 4 times higher than that in the control group of health shrimps. In correspondence with the difference of NOS activity between the two species of shrimps, the Cumulative mortalities of the shrimps were also different. All shrimps of F. chinensis in the mortality experiment died in 66 h, much more quickly than M. japonicus, Whose accumulative mortality reached 100% after 240 h. Data here reported let us hypothesize that NOS activity in the haemocytes of shrimps F chinensis and M. japonicus responses to WSSV infection differently, and this might be one of the reasons for the different susceptibility of F chinensis and M. japonicus to WSSV infection. (c) 2005 Elsevier Inc. All rights reserved.

The effect of acute salinity change on white spot syndrome (WSS) outbreaks in Fenneropenaeus chinensis

In order to observe the effect of salinity on disease resistance and white spot syndrome virus (WSSV) proliferation in Fenneropenaeus chinensis, shrimps with latent WSSV were subjected to two acute salinity changes from the original salinity of 22 ppt to 18 and 14 ppt in an hour, respectively. The total haemocyte count (THC) of the challenged group showed no evident change under salinity adjustments, but the phenoloxidase (PO) index declined significantly (P<0.05) corresponding to continuing acute salinity changes from the 24th to the 72nd hour. According to the WSSV load detected by quantitative real-time PCR method, it was found that WSSV carried by the challenged group and control group were significantly different (P<0.05); acute salinity change from 22 to 14 ppt led to the WSSV carried in the challenged group being significantly higher (P<0.05) than that of those surviving in 22 ppt, but salinity change from 22 to 18 ppt had no such effect. At the end of the 72-h experiment, the challenged group subjected to salinity change from 22 to 14 ppt had nearly 3 times the WSSV load as the control group with no salinity change. Therefore, salinity changes over a particular range could result in a decrease of immunocompetence and obvious WSSV proliferation in the shrimps, leading to white spot syndrome developing from a latent infection to an acute outbreak. (C) 2005 Elsevier B.V All rights reserved.

Intra-habitat heterogeneity of microbial food web structure under the regime of eutrophication and sediment resuspension in the large subtropical shallow Lake Taihu, China

Planktonic microbial community structure and classical food web were investigated in the large shallow eutrophic Lake Taihu (2338 km(2), mean depth 1.9 m) located in subtropical Southeast China. The water column of the lake was sampled biweekly at two sites located 22 km apart over a period of twelve month. Site 1 is under the regime of heavy eutrophication while Site 2 is governed by wind-driven sediment resuspension. Within-lake comparison indicates that phosphorus enrichment resulted in increased abundance of microbial components. However, the coupling between total phosphorus and abundance of microbial components was different between the two sites. Much stronger coupling was observed at Site 1 than at Site 2. The weak coupling at Site 2 was mainly caused by strong sediment resuspension, which limited growth of phytoplankton and, consequently, growth of bacterioplankton and other microbial components. High percentages of attached bacteria, which were strongly correlated with the biomass of phytoplankton, especially Microcystis spp., were found at Site 1 during summer and early autumn, but no such correlation was observed at Site 2. This potentially leads to differences in carbon flow through microbial food web at different locations. Overall, significant heterogeneity of microbial food web structure between the two sites was observed. Site-specific differences in nutrient enrichment (i.e. nitrogen and phosphorus) and sediment resuspension were identified as driving forces of the observed intra-habitat differences in food web structure.