In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in whi...In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.展开更多
In this paper, the function of the iel gene from baculovirus Spodoptera exigua multiple nucleopolyhedrovirus (SeMNPV), belonging to group II nucleopolyhedrovirus, was studied in mammalian cells We amplified the SeMN...In this paper, the function of the iel gene from baculovirus Spodoptera exigua multiple nucleopolyhedrovirus (SeMNPV), belonging to group II nucleopolyhedrovirus, was studied in mammalian cells We amplified the SeMNPV iel gene and expressed it by fusing to the C terminal of enhanced GFP protein in HEK 293 cells. Confocal microscopy revealed that the IE1-GFP fusion protein was localized in the nucleus of the mammalian cells. The promoter sequences of AcMNPV gp64, SeMNPV F protein and Drosophila hsp70 were also analyzed, to further study the function of SeMNPV IE1. The results showed that, in the absence of the hr sequence, IE1 improved the expression of the F promoter but didn't influence the gp64 promoter significantly, but IE1 moderately stimulated the hsp70 promoter.展开更多
基金Sponsored by the National Basic Research Program of China (the Natural Key Basis Research and Development Plan (Grant No.973:2003CB316905))the National Natural Science Foundation of China(Grant No.60374071)
文摘In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.
基金The knowledge innovation program of the Chinese Academy of Sciences (KSCX2-YW-Z-0938)
文摘In this paper, the function of the iel gene from baculovirus Spodoptera exigua multiple nucleopolyhedrovirus (SeMNPV), belonging to group II nucleopolyhedrovirus, was studied in mammalian cells We amplified the SeMNPV iel gene and expressed it by fusing to the C terminal of enhanced GFP protein in HEK 293 cells. Confocal microscopy revealed that the IE1-GFP fusion protein was localized in the nucleus of the mammalian cells. The promoter sequences of AcMNPV gp64, SeMNPV F protein and Drosophila hsp70 were also analyzed, to further study the function of SeMNPV IE1. The results showed that, in the absence of the hr sequence, IE1 improved the expression of the F promoter but didn't influence the gp64 promoter significantly, but IE1 moderately stimulated the hsp70 promoter.