基于OWL的知識(shí)庫系統(tǒng)基準(zhǔn)程序的研究.pdf

1、基于本體的知識(shí)庫系統(tǒng)是實(shí)現(xiàn)大規(guī)模語義網(wǎng)數(shù)據(jù)的高性能存儲(chǔ)、查詢與推理的重要解決方案之一。目前，基于本體的知識(shí)庫系統(tǒng)的性能存在很大差異，基準(zhǔn)程序就是用來對(duì)這些系統(tǒng)的性能進(jìn)行評(píng)估?，F(xiàn)有的基準(zhǔn)程序還存在較多問題，諸如對(duì)相關(guān)技術(shù)規(guī)范的支持參差不齊、實(shí)例數(shù)據(jù)生成方法的通用性差、SPARQL查詢語句集的使用范圍有限及缺少對(duì)SWRL推理性能測(cè)試的支持等。本文通過對(duì)現(xiàn)有的知識(shí)庫系統(tǒng)基準(zhǔn)程序相關(guān)研究進(jìn)行分析，以O(shè)WL2、SPARQL和 SWRL等萬維網(wǎng)聯(lián)盟

2、推薦技術(shù)標(biāo)準(zhǔn)為理論基礎(chǔ)，研究基于 OWL的知識(shí)庫系統(tǒng)基準(zhǔn)程序，試圖部分彌補(bǔ)此研究及應(yīng)用領(lǐng)域中存在的不足。
　　本文的主要研究工作包括OWL本體實(shí)例數(shù)據(jù)生成方法、SPARQL查詢語句原型定義和SWRL推理規(guī)則生成方法等方面。
　　一、針對(duì)OWL本體實(shí)例數(shù)據(jù)生成方法的研究，本文基于對(duì)OWL公理表達(dá)式的形式化語法分析，采用解析OWL本體中對(duì)象屬性和數(shù)據(jù)屬性定義域和值域的方法，批量生成個(gè)體實(shí)例，并為個(gè)體實(shí)例之間建立有效的聯(lián)系，從而實(shí)

3、現(xiàn)了OWL本體實(shí)例數(shù)據(jù)的生成；
　　二、針對(duì) SPARQL查詢語句原型定義，本文通過對(duì)現(xiàn)有基準(zhǔn)程序設(shè)計(jì)SPARQL查詢語句的考慮因素進(jìn)行分析，提出了本文SPARQL查詢語句原型的設(shè)計(jì)規(guī)則，并設(shè)計(jì)了一組SPARQL查詢語句原型，同時(shí)，也提出了SPARQL查詢語句的生成方法；
　　三、針對(duì)SWRL推理規(guī)則的生成方法研究，本文基于對(duì)OWL2 DL構(gòu)造算子與描述邏輯間映射關(guān)系和 SWRL原子與描述邏輯間映射關(guān)系的分析，以及對(duì)OWL2