面向語義物聯(lián)網(wǎng)的語義匹配算法設(shè)計(jì)與系統(tǒng)實(shí)現(xiàn).pdf

1、為了解決物聯(lián)網(wǎng)(Internet of Things)的內(nèi)在矛盾，引入了語義協(xié)同(SemanticCollaboration)，形成新一代網(wǎng)絡(luò)—語義物聯(lián)網(wǎng)(Semantic Web of Things)。但語義協(xié)同過程中存在兩個(gè)主要問題:一是容易出現(xiàn)語義失配，不利于物的信息的全球共享;二是傳統(tǒng)邏輯表達(dá)能力不足以及最終系統(tǒng)的半可判定性，導(dǎo)致計(jì)算機(jī)推理（邏輯公式的可計(jì)算性）的不可持續(xù)性。
　　本文提出了在語義物聯(lián)網(wǎng)中基于邏輯公式推演的

2、語義匹配算法來解決上述問題，彌補(bǔ)了現(xiàn)有大多數(shù)采用結(jié)構(gòu)相似度的語義匹配算法所帶來的缺陷。在概念層次上，采用了一種改進(jìn)的S-Match匹配算法;在實(shí)例層次上，提出了一種基于可計(jì)算性邏輯CL4的本體表示和語義匹配算法;將語義協(xié)調(diào)問題，從計(jì)算各種結(jié)構(gòu)相似度的問題，轉(zhuǎn)化為到推導(dǎo)邏輯公式集之間關(guān)系的問題;保證了在開放環(huán)境下推理的自動(dòng)性與完整性，并保證始終可推。
　　根據(jù)以上提出的算法，本文提出了面向語義物聯(lián)網(wǎng)的語義匹配框架，通過加載、一致性維