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.展开更多
Firstly, this paper is to illustrate through the analysis of Aristotelian texts that two kinds of necessity involved in the teleological account, the necessity απλωζand the necessity εξυποθεσεωζare rel...Firstly, this paper is to illustrate through the analysis of Aristotelian texts that two kinds of necessity involved in the teleological account, the necessity απλωζand the necessity εξυποθεσεωζare related to an achievement of an endaccording to two thoroughly different ontological and logical grounds. Secondly, it is to bring the irreducibility of the teleological to non-teleological into organic development to unprecedented light so as to show how the ontological predominance of the finality over the material necessity may be adequately expressed by a logical implication, if it is appropriately stated and well distinct from other similar logical connectives such as the material implication and the biconditional if-and-only-if.展开更多
Ontology mapping is a critical problem for integrating the heterogeneous information sources. It can identify the elements corresponding to each other. At present, there are many ontology mapping algorithms, but most ...Ontology mapping is a critical problem for integrating the heterogeneous information sources. It can identify the elements corresponding to each other. At present, there are many ontology mapping algorithms, but most of them are based on database schema. After analyzing the similarity and difference of ontology and schema, we propose a parsing graph-based algorithm for ontology mapping. The ontology parsing graph （OP-graph） extends the general concept of graph, encodes logic relationship, and semantic information which the ontology contains into vertices and edges of the graph. Thus, the problem of ontology mapping is translated into a problem of finding the optimal match between the two OP-graphs. With the definition of a universal measure for comparing the entities of two ontoiogies, we calculate the whole similarity between the two OP-graphs iteratively, until the optimal match is found. The results of experiments show that our algorithm is promising.展开更多
Every philosophical system of Aristotle is structured around different forms of rationalities. Each form of rationality, according to its method, object, and purpose, seeks to apprehend and to know a specific dimensio...Every philosophical system of Aristotle is structured around different forms of rationalities. Each form of rationality, according to its method, object, and purpose, seeks to apprehend and to know a specific dimension of being, because being manifests itself in many ways, that is, the totality of reality. Yet, each form of understanding the being has its epistemological and ontological status, always anchored in the logic criteria. In general, the aim of the paper is to characterize some aspects of the main forms of rationalities in the thought of Aristotle, i.e., demonstrative, dialectic, physics, metaphysics, productive, and practices. But before that, succinctly, it is necessary to talk about the different dimensions of being and teleology.展开更多
Plato＇s lifelong confrontation with Parmenides and his metaphysical mire of believing that nothing （το μη ǒν） does not actually exist, gradually in the Sophist comes into finish, insofar as the philosopher a...Plato＇s lifelong confrontation with Parmenides and his metaphysical mire of believing that nothing （το μη ǒν） does not actually exist, gradually in the Sophist comes into finish, insofar as the philosopher after facing the foe and having the last laugh simmers down. In this paper after giving an interpretation of what Parmenides says, I shall present an analysis of Plato＇s drastic answer to him （Sophist, 259 e4-6） to see how Plato opens the impasse way created by the Eleatic philosopher. Here the intercommunion of Forms is regarded as the final answer by which Plato devastates Parmenides infamous thesis. Since hitherto no in-depth analysis is given by the scholars who are puzzled with the subject, I have tried to analyze the intercommunion of Forms philosophically. Plato＇s Eleatic challenge has always been crucial in Plato himself and philosophical development after him. As while as Parmenides thesis （Sph., 238 a8-9） provides the sophists opportunity to reject the falsehood, Plato＇s theory of Forms in contrast in order to cross off the extremely sly sophists tries to make Parmenides come down. In my opinion, the intercommunion of Forms, as the last step of the theory of Forms, basically determines Plato＇s late ontology tightly knitted with logic. Vindicating this proposal depends on true understanding of the intercommunion of Forms. Since Plato＇s late ontology, in my opinion, is closed to Frege＇s ontology and discussion of language, we are armed to interpret the intercommunion of Forms with recent recent logico-philosophicus achievements, I think. In this respect, this is what I have done in my paper： analyzing sentence from Plato＇s logico-metaphysical point of view. Ultimately, I have tried to show how the aim of the intercommunion of Forms, which Plato himself states, is demonstrating the possibility of dialogue and discourse. This statement explicitly sets forward that the discussion is bound up with several logical approaches, according to which finally full bright light is shed on different implications of the subject such as universals.展开更多
基金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.
文摘Firstly, this paper is to illustrate through the analysis of Aristotelian texts that two kinds of necessity involved in the teleological account, the necessity απλωζand the necessity εξυποθεσεωζare related to an achievement of an endaccording to two thoroughly different ontological and logical grounds. Secondly, it is to bring the irreducibility of the teleological to non-teleological into organic development to unprecedented light so as to show how the ontological predominance of the finality over the material necessity may be adequately expressed by a logical implication, if it is appropriately stated and well distinct from other similar logical connectives such as the material implication and the biconditional if-and-only-if.
基金National Natural Science Fundation of China (No.60374071)National Basic Research Program of China( No.2003CB316905)
文摘Ontology mapping is a critical problem for integrating the heterogeneous information sources. It can identify the elements corresponding to each other. At present, there are many ontology mapping algorithms, but most of them are based on database schema. After analyzing the similarity and difference of ontology and schema, we propose a parsing graph-based algorithm for ontology mapping. The ontology parsing graph （OP-graph） extends the general concept of graph, encodes logic relationship, and semantic information which the ontology contains into vertices and edges of the graph. Thus, the problem of ontology mapping is translated into a problem of finding the optimal match between the two OP-graphs. With the definition of a universal measure for comparing the entities of two ontoiogies, we calculate the whole similarity between the two OP-graphs iteratively, until the optimal match is found. The results of experiments show that our algorithm is promising.
文摘Every philosophical system of Aristotle is structured around different forms of rationalities. Each form of rationality, according to its method, object, and purpose, seeks to apprehend and to know a specific dimension of being, because being manifests itself in many ways, that is, the totality of reality. Yet, each form of understanding the being has its epistemological and ontological status, always anchored in the logic criteria. In general, the aim of the paper is to characterize some aspects of the main forms of rationalities in the thought of Aristotle, i.e., demonstrative, dialectic, physics, metaphysics, productive, and practices. But before that, succinctly, it is necessary to talk about the different dimensions of being and teleology.
文摘Plato＇s lifelong confrontation with Parmenides and his metaphysical mire of believing that nothing （το μη ǒν） does not actually exist, gradually in the Sophist comes into finish, insofar as the philosopher after facing the foe and having the last laugh simmers down. In this paper after giving an interpretation of what Parmenides says, I shall present an analysis of Plato＇s drastic answer to him （Sophist, 259 e4-6） to see how Plato opens the impasse way created by the Eleatic philosopher. Here the intercommunion of Forms is regarded as the final answer by which Plato devastates Parmenides infamous thesis. Since hitherto no in-depth analysis is given by the scholars who are puzzled with the subject, I have tried to analyze the intercommunion of Forms philosophically. Plato＇s Eleatic challenge has always been crucial in Plato himself and philosophical development after him. As while as Parmenides thesis （Sph., 238 a8-9） provides the sophists opportunity to reject the falsehood, Plato＇s theory of Forms in contrast in order to cross off the extremely sly sophists tries to make Parmenides come down. In my opinion, the intercommunion of Forms, as the last step of the theory of Forms, basically determines Plato＇s late ontology tightly knitted with logic. Vindicating this proposal depends on true understanding of the intercommunion of Forms. Since Plato＇s late ontology, in my opinion, is closed to Frege＇s ontology and discussion of language, we are armed to interpret the intercommunion of Forms with recent recent logico-philosophicus achievements, I think. In this respect, this is what I have done in my paper： analyzing sentence from Plato＇s logico-metaphysical point of view. Ultimately, I have tried to show how the aim of the intercommunion of Forms, which Plato himself states, is demonstrating the possibility of dialogue and discourse. This statement explicitly sets forward that the discussion is bound up with several logical approaches, according to which finally full bright light is shed on different implications of the subject such as universals.
