Modal words in The Book of Songs have various functions of sentences with modal words at their ends,rhyme,intone and different moods of sentences.The discrimination of the different functions of modal words in The Boo...Modal words in The Book of Songs have various functions of sentences with modal words at their ends,rhyme,intone and different moods of sentences.The discrimination of the different functions of modal words in The Book of Songs will offer a bit real and believable source oral materials for the understanding of the peculiarities of the sentence moods and modal words in the Western Zhou and the Spring and Autumn Period. The full text consists of three sections.This is the first section which deals with the funtions of sentences with modal words at their ends,rhyme and exclamation of modal words in The Book of Songs.展开更多
As the tableau algorithm would produce a lot of description overlaps when judging the satisfiabilities of concepts（thus wasting much space）,a clause-based enhancing mode designed for the language ALCN is proposed.Th...As the tableau algorithm would produce a lot of description overlaps when judging the satisfiabilities of concepts（thus wasting much space）,a clause-based enhancing mode designed for the language ALCN is proposed.This enhancing mode constructs a disjunctive normal form on concept expressions and keeps only one conjunctive clause,and then substitutes the obtained succinctest conjunctive clause for sub-concepts set in the labeling of nodes of a completion tree constructed by the tableau algorithm （such a process may be repeated as many times as needed）.Due to the avoidance of tremendous descriptions redundancies caused by applying ∩- and ∪-rules of the ordinary tableau algorithm,this mode greatly improves the spatial performance as a result.An example is given to demonstrate the application of this enhancing mode and its reduction in the cost of space. Results show that the improvement is very outstanding.展开更多
文摘Modal words in The Book of Songs have various functions of sentences with modal words at their ends,rhyme,intone and different moods of sentences.The discrimination of the different functions of modal words in The Book of Songs will offer a bit real and believable source oral materials for the understanding of the peculiarities of the sentence moods and modal words in the Western Zhou and the Spring and Autumn Period. The full text consists of three sections.This is the first section which deals with the funtions of sentences with modal words at their ends,rhyme and exclamation of modal words in The Book of Songs.
基金The National Natural Science Foundation of China(No.60775029)the Science and Technology Program of Zhejiang Province(No.2007C33072)
文摘As the tableau algorithm would produce a lot of description overlaps when judging the satisfiabilities of concepts（thus wasting much space）,a clause-based enhancing mode designed for the language ALCN is proposed.This enhancing mode constructs a disjunctive normal form on concept expressions and keeps only one conjunctive clause,and then substitutes the obtained succinctest conjunctive clause for sub-concepts set in the labeling of nodes of a completion tree constructed by the tableau algorithm （such a process may be repeated as many times as needed）.Due to the avoidance of tremendous descriptions redundancies caused by applying ∩- and ∪-rules of the ordinary tableau algorithm,this mode greatly improves the spatial performance as a result.An example is given to demonstrate the application of this enhancing mode and its reduction in the cost of space. Results show that the improvement is very outstanding.
