logical semantics 中文意思是什麼
logical semantics
解釋
邏輯語義學-
Type logical semantics for discontinuous quantifier
邏輯語義處理 -
The xsd - type system is more sophisticated and powerful than the type system of any programming language, and more importantly it is language - neutral. that makes wsdl the logical starting point to define the web services semantics
Xsd的類型系統比任何編程語言的類型系統都更加復雜和強大，並且更重要的是，它是獨立於編程語言的，因此，它成為wsdl定義web服務語法的邏輯起點。 -
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邏輯的邏輯原語以及描述屬性之間關系的關系原語。
分享友人