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.展开更多
By applying two nonlinear Granger causality testing methods and rolling window strategy to explore the relationship between speculative activities and crude oil prices, the unidirectional Granger causality from specul...By applying two nonlinear Granger causality testing methods and rolling window strategy to explore the relationship between speculative activities and crude oil prices, the unidirectional Granger causality from speculative activities to returns of crude oil prices during the high price phase is discovered. It is proved that speculative activities did contribute to high crude oil prices after the Asian financial crisis and OPEC＇s output cut in 1998. The unidirectional Granger causality from returns of crude oil prices to speculative activities is significant in general. But after 2000, with the sharp rise in crude oil prices, this unidirectional Granger causality became a complex nonlinear relationship, which cannot be detected by any linear Granger causaIity test.展开更多
基金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.
基金supported by the National Natural Science Foundation of China
文摘By applying two nonlinear Granger causality testing methods and rolling window strategy to explore the relationship between speculative activities and crude oil prices, the unidirectional Granger causality from speculative activities to returns of crude oil prices during the high price phase is discovered. It is proved that speculative activities did contribute to high crude oil prices after the Asian financial crisis and OPEC＇s output cut in 1998. The unidirectional Granger causality from returns of crude oil prices to speculative activities is significant in general. But after 2000, with the sharp rise in crude oil prices, this unidirectional Granger causality became a complex nonlinear relationship, which cannot be detected by any linear Granger causaIity test.
