基于OWL語義本體的推理與存儲(chǔ)研究.pdf

1、本文對(duì)描述邏輯、語義和本體以及本體的描述和查詢語言進(jìn)行了闡述.在此基礎(chǔ)上，分析了當(dāng)前OWL語義本體推理和存儲(chǔ)系統(tǒng)存在的問題。如a)不能有效地實(shí)現(xiàn)大規(guī)模的本體推理。b)不能在數(shù)據(jù)庫(kù)中實(shí)現(xiàn)推斷結(jié)果等。為此，提出了一種可擴(kuò)展的OWL本體推理和存儲(chǔ)系統(tǒng)SOR。具體工作如下： 1)可擴(kuò)展的OWL本體推理系統(tǒng)本文擴(kuò)展了OWL語義本體的推理系統(tǒng)，結(jié)合DHL和DLP的定義，利用推理引擎規(guī)則能實(shí)現(xiàn)大規(guī)模的的本體推理.考慮到大多數(shù)的OWLDL本體比

2、DHL更復(fù)雜，我們擴(kuò)展了原來的DHL公理用于支持OWLDL完成TBox推理。更準(zhǔn)確的說，我們使用一個(gè)DL推理機(jī)來獲得所有類和屬性的包含關(guān)系，而不是僅僅支持DHL公理.注意我們把復(fù)雜的類描述分解成類結(jié)構(gòu)實(shí)例，把一個(gè)新的URI指派到每個(gè)實(shí)例中使得DL推理機(jī)能夠更好的推理。 2)可擴(kuò)展的OWL本體存儲(chǔ)系統(tǒng)本文擴(kuò)展了OWL語義本體的存儲(chǔ)系統(tǒng)，該系統(tǒng)把本體存儲(chǔ)在數(shù)據(jù)庫(kù)中并提出對(duì)本體更新的有效方法。該方法添加TBox公理和ABox斷言以及刪