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

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

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