The next generation Web, Semantic Web, has recently been drawn considerable attention from both academia and industry. The ontology is regarded as the cornerstone of the Semantic Web, is playing an important role with the knowledge expression and knowledge reasoning. Ontology language, Description Logic and the relationships of them were presented. This paper analyzes the principle of semantic reasoning about DL and reasoning machine. Finally, performers testify the practical reasoning task about a concrete Ontology construction.

This paper analyzes and proves that the relationship between the output results of the homotypic Toffoli gate which is series cascade and the number of the gates which are series cascade. In order to guarantee the convergence of the process of the series cascade, we gave the counting results of the series cascade network for Toffoli gates, and proved that in the input vector (0, 1, …, 2n-1), the number of the bit vectors with Hamming weight H(w)≥n-1 is equal to the bit number of bit vectors plus 1, and obtained the conclusion that there are (n+1)! kinds of transformation for Toffoli gate series cascade network. Simultaneously we provide the series cascade network algorithm of the Toffoli gates. The reversible network cascade system designed by the above algorithm verified the validity of this algorithm.

The next generation Web, Semantic Web, has recently been drawn considerable attention from both academia and industry. The ontology is regarded as the cornerstone of the Semantic Web, is playing an important role with the knowledge expression and knowledge reasoning. Ontology language, Description Logic and the relationships of them were presented. This paper analyzes the principle of semantic reasoning about DL and reasoning machine. Finally, performers testify the practical reasoning task about a concrete Ontology construction.