DartReasoner面向海量數(shù)據(jù)的語(yǔ)義推理.pdf

1、近年來(lái)，語(yǔ)義網(wǎng)被愈來(lái)愈多的關(guān)注，而語(yǔ)義推理一直都是語(yǔ)義網(wǎng)的核心問(wèn)題，當(dāng)前已經(jīng)開(kāi)發(fā)出了多個(gè)推理機(jī)，但其在查詢推理性能上無(wú)法完全滿足工業(yè)界應(yīng)用。相比較語(yǔ)義查詢，關(guān)系型數(shù)據(jù)庫(kù)發(fā)展至今相對(duì)比較成熟，工業(yè)界使用的數(shù)據(jù)也多存放在關(guān)系型數(shù)據(jù)庫(kù)中，同時(shí)語(yǔ)義網(wǎng)研究中也有對(duì)語(yǔ)義數(shù)據(jù)資源與數(shù)據(jù)庫(kù)數(shù)據(jù)資源的雙射研究。通過(guò)結(jié)合元數(shù)據(jù)映射和關(guān)系型數(shù)據(jù)庫(kù)的查詢性能，對(duì)語(yǔ)義查詢進(jìn)行語(yǔ)義擴(kuò)展翻譯成數(shù)據(jù)庫(kù)查詢，可以有效地減小查詢推理的規(guī)模，利用傳統(tǒng)數(shù)據(jù)庫(kù)查詢技術(shù)提升關(guān)聯(lián)查

2、詢性能，并且使得現(xiàn)有存儲(chǔ)在數(shù)據(jù)庫(kù)中的數(shù)據(jù)能夠享受到語(yǔ)義查詢的便利。
　　 本文主要研究基于查詢翻譯的推理算法，設(shè)計(jì)并實(shí)現(xiàn)了基于該算法的推理引擎DartReasoner，通過(guò)將元數(shù)據(jù)映射關(guān)系轉(zhuǎn)換為語(yǔ)義映射圖，并結(jié)合翻譯算法將SPARQL查詢轉(zhuǎn)換為多個(gè)SQL查詢，從而利用成熟的關(guān)系型數(shù)據(jù)庫(kù)技術(shù)提升從空間和時(shí)間開(kāi)銷中提升性能。
　　 面對(duì)海量數(shù)據(jù)推理問(wèn)題，本文探索嘗試?yán)梅植际酵评硭惴ń鉀Q具有多個(gè)前項(xiàng)式的OWL2屬性鏈推理規(guī)則