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.展开更多
The application of single nanofiltration （NF） and sequential filtration of microfiltration （MF） and NF for the concentration of vinasse were studied. Filtration experiments were performed at 60 ℃, 500 rpm and dif...The application of single nanofiltration （NF） and sequential filtration of microfiltration （MF） and NF for the concentration of vinasse were studied. Filtration experiments were performed at 60 ℃, 500 rpm and different transmembrane pressures using four commercial membranes： MF, PVDF 0.2 μm; NF, PES 300, 500 and 1000 Da. The process effectiveness was evaluated through the permeate flux and the total solids （TS） concentration in the retentate. Because the retention of TS and permeate fluxes were very similar for MF, PVDF-0.2 membrane at 0.10 MPa was selected because of its lower power consumption. The best conditions tested for NF were the following： PES-1000 at 3.50 MPa with a flux of 183.2 kg/m^2 h at a volume reduction factor （VRF） of 2, under which 68% of solids were retained. For the MF ＋ NF, a PES-1000 at 3.50 MPa was selected because a higher permeate flux was achieved at a VRF of 4, and PES-500 at 3.50 MPa because a higher retention of TS was achieved compared to the other experiments. A single NF resulted in a retentate concentration that was almost twice as high as the hybrid MF and NF process, allowing reduced costs in its transportation from distilleries to distant areas.展开更多
Philosophy of science has arisen as alternative to epistemology, because scientific development wanted another kind of explanation than traditional epistemological one. The latter kind of explanation is theoretically ...Philosophy of science has arisen as alternative to epistemology, because scientific development wanted another kind of explanation than traditional epistemological one. The latter kind of explanation is theoretically loaded and based on latent ontological assumptions. Epistemology offers science a ＂road map＂ for researcher＇s thinking. Thus epistemology knows what science should be, and philosophy of science take science for granted--existing as an empirical fact. Philosophy of science had always been a reflective and critical discipline that didn＇t want any a-priory knowledge. The main distinction between these fields of knowledge is as follows： epistemology is theoretical and projective kind of knowledge whereas philosophy of science is a non-theoretical, or better, a ＂post-theoretical＂ discipline. All facts and statements arising from philosophy of science lie within the heterogeneous space, where there is continuous transit of pre-theoretical, theoretical and post-theoretical versions of knowledge. The inevitability of conservation and utilization of human thought products is recognized, which is supplemented by the need to study the impact of theoretical thinking upon social practices.展开更多
Identification of disease-causing genes among a large number of candidates is a fundamental challenge in human disease studies.However,it is still time-consuming and laborious to determine the real disease-causing gen...Identification of disease-causing genes among a large number of candidates is a fundamental challenge in human disease studies.However,it is still time-consuming and laborious to determine the real disease-causing genes by biological experiments.With the advances of the high-throughput techniques,a large number of protein-protein interactions have been produced.Therefore,to address this issue,several methods based on protein interaction network have been proposed.In this paper,we propose a shortest path-based algorithm,named SPranker,to prioritize disease-causing genes in protein interaction networks.Considering the fact that diseases with similar phenotypes are generally caused by functionally related genes,we further propose an improved algorithm SPGOranker by integrating the semantic similarity of gene ontology(GO)annotations.SPGOranker not only considers the topological similarity between protein pairs in a protein interaction network but also takes their functional similarity into account.The proposed algorithms SPranker and SPGOranker were applied to 1598 known orphan disease-causing genes from 172 orphan diseases and compared with three state-of-the-art approaches,ICN,VS and RWR.The experimental results show that SPranker and SPGOranker outperform ICN,VS,and RWR for the prioritization of orphan disease-causing genes.Importantly,for the case study of severe combined immunodeficiency,SPranker and SPGOranker predict several novel causal genes.展开更多
基金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.
文摘The application of single nanofiltration （NF） and sequential filtration of microfiltration （MF） and NF for the concentration of vinasse were studied. Filtration experiments were performed at 60 ℃, 500 rpm and different transmembrane pressures using four commercial membranes： MF, PVDF 0.2 μm; NF, PES 300, 500 and 1000 Da. The process effectiveness was evaluated through the permeate flux and the total solids （TS） concentration in the retentate. Because the retention of TS and permeate fluxes were very similar for MF, PVDF-0.2 membrane at 0.10 MPa was selected because of its lower power consumption. The best conditions tested for NF were the following： PES-1000 at 3.50 MPa with a flux of 183.2 kg/m^2 h at a volume reduction factor （VRF） of 2, under which 68% of solids were retained. For the MF ＋ NF, a PES-1000 at 3.50 MPa was selected because a higher permeate flux was achieved at a VRF of 4, and PES-500 at 3.50 MPa because a higher retention of TS was achieved compared to the other experiments. A single NF resulted in a retentate concentration that was almost twice as high as the hybrid MF and NF process, allowing reduced costs in its transportation from distilleries to distant areas.
文摘Philosophy of science has arisen as alternative to epistemology, because scientific development wanted another kind of explanation than traditional epistemological one. The latter kind of explanation is theoretically loaded and based on latent ontological assumptions. Epistemology offers science a ＂road map＂ for researcher＇s thinking. Thus epistemology knows what science should be, and philosophy of science take science for granted--existing as an empirical fact. Philosophy of science had always been a reflective and critical discipline that didn＇t want any a-priory knowledge. The main distinction between these fields of knowledge is as follows： epistemology is theoretical and projective kind of knowledge whereas philosophy of science is a non-theoretical, or better, a ＂post-theoretical＂ discipline. All facts and statements arising from philosophy of science lie within the heterogeneous space, where there is continuous transit of pre-theoretical, theoretical and post-theoretical versions of knowledge. The inevitability of conservation and utilization of human thought products is recognized, which is supplemented by the need to study the impact of theoretical thinking upon social practices.
基金supported in part by the National Natural Science Foundation of China(61370024,61428209,61232001)Program for New Century Excellent Talents in University(NCET-12-0547)
文摘Identification of disease-causing genes among a large number of candidates is a fundamental challenge in human disease studies.However,it is still time-consuming and laborious to determine the real disease-causing genes by biological experiments.With the advances of the high-throughput techniques,a large number of protein-protein interactions have been produced.Therefore,to address this issue,several methods based on protein interaction network have been proposed.In this paper,we propose a shortest path-based algorithm,named SPranker,to prioritize disease-causing genes in protein interaction networks.Considering the fact that diseases with similar phenotypes are generally caused by functionally related genes,we further propose an improved algorithm SPGOranker by integrating the semantic similarity of gene ontology(GO)annotations.SPGOranker not only considers the topological similarity between protein pairs in a protein interaction network but also takes their functional similarity into account.The proposed algorithms SPranker and SPGOranker were applied to 1598 known orphan disease-causing genes from 172 orphan diseases and compared with three state-of-the-art approaches,ICN,VS and RWR.The experimental results show that SPranker and SPGOranker outperform ICN,VS,and RWR for the prioritization of orphan disease-causing genes.Importantly,for the case study of severe combined immunodeficiency,SPranker and SPGOranker predict several novel causal genes.
