分布式環(huán)境下的語義查詢推理.pdf

1、語義網(wǎng)是當(dāng)前萬維網(wǎng)的一種延伸，其目的在于將萬維網(wǎng)中的簡單數(shù)據(jù)提升到語義層次，便于知識(shí)的共享及用機(jī)器對數(shù)據(jù)進(jìn)行處理。本體（Ontology）技術(shù)是實(shí)現(xiàn)語義網(wǎng)的關(guān)鍵技術(shù)之一。它研究在特定領(lǐng)域中的知識(shí)的對象分類、對象屬性和對象之間的關(guān)系，為領(lǐng)域知識(shí)的描述提供術(shù)語。語義推理是語義網(wǎng)技術(shù)中的重要一環(huán)。對于本體的開發(fā)者，語義推理的作用是檢測本體定義中是否存在沖突，并對所定義的本體進(jìn)行優(yōu)化；對于本體的使用者， 推理的任務(wù)是根據(jù)既有的知識(shí)（數(shù)據(jù)）獲取隱

2、含的知識(shí)（數(shù)據(jù)）。
　　 本文研究的主要內(nèi)容是在分布式環(huán)境下對語義數(shù)據(jù)的查詢進(jìn)行推理，即在本體定義和數(shù)據(jù)均已存在的情況下，用推理的方法使對語義數(shù)據(jù)的查詢得到正確的結(jié)果。當(dāng)前對這一問題的解決方法有兩種：語義數(shù)據(jù)物化和查詢語句重寫。本文利用Amazon的云計(jì)算服務(wù)和LUBM實(shí)驗(yàn)數(shù)據(jù)對這兩種方法進(jìn)行了比較，并得出了在實(shí)際大規(guī)模數(shù)據(jù)的應(yīng)用中，查詢語句重寫比語義數(shù)據(jù)物化更為可行的結(jié)論。基于這個(gè)結(jié)論，本文還對如何開發(fā)一個(gè)在分布式環(huán)境下對語義