謂詞邏輯語言 的英文怎麼說
中文拼音 [wèicíluóyǔyán]
謂詞邏輯語言
英文
predicate logic language- 謂 : Ⅰ動詞1. （說） say 2. （稱呼; 叫做） call; name Ⅱ名詞1. （意義） meaning; sense 2. （姓氏） a surname
- 詞 : 名詞1 （說話或詩歌、文章、戲劇中的語句） speech; statement; lines of play 2 （一種韻文形式 起於唐...
- 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
- 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
- 語 : 語動詞[書面語] （告訴） tell; inform
- 言 : Ⅰ名詞1. （話） speech; word 2. （漢語的一個字） character; word 3. （姓氏） a surname Ⅱ動詞（說） say; talk; speak
- 邏輯 : logic
- 語言 : language
-
But at the time i became speechless, didn ' t know where to start, and couldn ' t find suitable words to describe what i saw, what i knew … seemed that the most beautiful languages couldn ' t describe the beautiful and special landscape ; after a period of time, when i could partially dictated it, but couldn ' t express it in writing, because it is half similar with publicly recognized logic, i even worried about that would cause unnecessary misunderstanding, when i cautiously wrote down some so - called essays, the people listening to my story seemed half understand, they just felt fresh, described by the academic term is “ quite creative ”
但那時候，我卻張口舌，不知道從那兒說起，竟然找不到合適的詞匯描繪我看到的、知道的… …好象再美的語言也不能描述這個美麗奇特的景色；當我經過一段時間，能夠部分口述它的時候，卻也很難用文字邏輯地表達出來，因為它和現實公認的我所知道的邏輯既相同也不同，我甚至很擔心引起不必要的誤會；等我小心翼翼地寫出一些所謂的論文一類的東西的時候，聽我講「故事」的人們好象似明白又不明白，他們都覺得新鮮，用學術界的說法是「很有新意」 。This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web. the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment. in order to represent knowledge, logical formula, relational axioms and rules, there is a need for primitives specifying prepositional formula, predictive formula and horn clause, and relations between properties and relational axiomx
本文對web語義化過程中部分關鍵問題和基於語義化web的kms進行了研究，主要的創新性工作包括：定義了邏輯公式及關系公理描述原語的ontology語義： web環境中用標記語言描述對象和資源，為了在語義化web上表示知識、邏輯公式、關系公理和規則，需要定義描述命題邏輯公式、謂詞邏輯公式、 horn邏輯的邏輯原語以及描述屬性之間關系的關系原語。
分享友人