Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term...Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking.展开更多
Stylistics applies modem linguistic theory to the description of and analysis into varieties of language and their stylistic features. As such it may serve to investigate the styles of British and American literary wo...Stylistics applies modem linguistic theory to the description of and analysis into varieties of language and their stylistic features. As such it may serve to investigate the styles of British and American literary works, thus facilitating the teaching of British and American literature. This paper, after surveying the basic stylistic theory and its relevance to research on and teaching of literature, illustrates how to effectively adopt the method of stylistic analysis in the teaching of British and American literature展开更多
Analytical solutions of the Grad-Shafranov equation are always useful because of their convenience and accuracy in theoretical study of stability, transport and kinetic analysis. For the quasi-uniform toroidal current...Analytical solutions of the Grad-Shafranov equation are always useful because of their convenience and accuracy in theoretical study of stability, transport and kinetic analysis. For the quasi-uniform toroidal current density case, the so-called Solov'ev configuration is the earliest one that was widely used for the magnetohydrodynamic (MHD) stability analysis and also used as benchmark for equilibrium code studies later.展开更多
西方哲学界有关中国思想史的研究和贡献不是非常多。在可称道的研究中,我想应该有马克斯·韦伯对"儒家和道家"(Confuzianismus und Taoismus)的研究,卡尔·雅斯贝斯(KarlJaspers)在《伟大的哲人》(Die grossen Philos...西方哲学界有关中国思想史的研究和贡献不是非常多。在可称道的研究中,我想应该有马克斯·韦伯对"儒家和道家"(Confuzianismus und Taoismus)的研究,卡尔·雅斯贝斯(KarlJaspers)在《伟大的哲人》(Die grossen Philosopher)中对孔子和老子的阐释,及其在《历史之源起和目标》(Vom Ursprung undZiel der Geschichte)中对中国的观照,最后,还应该包括同雅斯贝斯一样长于详实的分析,而又比韦伯拥有更开阔的视野的史怀哲(Albert Schweitzer,1875—1965)的论述。他的论述体现在最近出版的论述中国思想的手稿中(Albert Schweitzer,Geschichtedes Chinesischen Denkens,Werke aus dem Nachlass,Herausgegeben von Bernhard Kaempf und Joharnn Zuercher,Muenchen,Verlag C.H.Beck,2002)。展开更多
基金National Natural Science Foundation ofChina(No.70 2 710 3 8)
文摘Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking.
文摘Stylistics applies modem linguistic theory to the description of and analysis into varieties of language and their stylistic features. As such it may serve to investigate the styles of British and American literary works, thus facilitating the teaching of British and American literature. This paper, after surveying the basic stylistic theory and its relevance to research on and teaching of literature, illustrates how to effectively adopt the method of stylistic analysis in the teaching of British and American literature
基金Supported by the National Natural Science Foundation of China (10375018)
文摘Analytical solutions of the Grad-Shafranov equation are always useful because of their convenience and accuracy in theoretical study of stability, transport and kinetic analysis. For the quasi-uniform toroidal current density case, the so-called Solov'ev configuration is the earliest one that was widely used for the magnetohydrodynamic (MHD) stability analysis and also used as benchmark for equilibrium code studies later.
文摘西方哲学界有关中国思想史的研究和贡献不是非常多。在可称道的研究中,我想应该有马克斯·韦伯对"儒家和道家"(Confuzianismus und Taoismus)的研究,卡尔·雅斯贝斯(KarlJaspers)在《伟大的哲人》(Die grossen Philosopher)中对孔子和老子的阐释,及其在《历史之源起和目标》(Vom Ursprung undZiel der Geschichte)中对中国的观照,最后,还应该包括同雅斯贝斯一样长于详实的分析,而又比韦伯拥有更开阔的视野的史怀哲(Albert Schweitzer,1875—1965)的论述。他的论述体现在最近出版的论述中国思想的手稿中(Albert Schweitzer,Geschichtedes Chinesischen Denkens,Werke aus dem Nachlass,Herausgegeben von Bernhard Kaempf und Joharnn Zuercher,Muenchen,Verlag C.H.Beck,2002)。