hstar中的推理-資料下載頁(yè)
2025-08-23 14:49本頁(yè)面
【導(dǎo)讀】規(guī)則左件有兩個(gè)可匹配模式。規(guī)則由實(shí)例事實(shí)來(lái)觸發(fā)。模糊模式的變量名是與規(guī)則相關(guān)的，通過在書寫規(guī)則時(shí)重。對(duì)比現(xiàn)有的RDF/OWL推理方法，總結(jié)我們的方法，作為整個(gè)系統(tǒng)的文章的一。支持XPath中的//，嵌套謂詞以及多謂詞等特征。配的結(jié)點(diǎn)，這樣的結(jié)點(diǎn)集合稱為活躍結(jié)點(diǎn)集；每個(gè)活躍結(jié)點(diǎn)都使用一個(gè)棧用于判斷當(dāng)前流結(jié)點(diǎn)與自身的關(guān)系；示；第二個(gè)<a>結(jié)點(diǎn)匹配模式樹中的虛線a結(jié)點(diǎn)；傳遞給其父結(jié)點(diǎn)，父結(jié)點(diǎn)回退時(shí)作相同的判斷。系統(tǒng)編碼正在處理輸出結(jié)果的問題，將繼續(xù)完善代碼，進(jìn)一步發(fā)現(xiàn)里面的問。文章已完成對(duì)工作的詳細(xì)介紹，約5頁(yè)內(nèi)容，目前尚缺對(duì)方法中存在問題的完
【正文】 回退時(shí)，如果目標(biāo)結(jié)點(diǎn)狀態(tài)為未匹配，則刪除該緩沖結(jié)果；否則將結(jié)果向上傳遞給其父結(jié)點(diǎn)，父結(jié)點(diǎn)回退時(shí)作相同的判斷。 v a //a a root a bbb/b a ccc/c /a /a /root 相包含的兩個(gè)結(jié)果 root a bbb/b a ccc/c /a /a /root 相同的兩個(gè)結(jié)果 v a //a//c a c c 工作進(jìn)展?fàn)顟B(tài) ? 系統(tǒng)編碼正在處理輸出結(jié)果的問題，將繼續(xù)完善代碼，進(jìn)一步發(fā)現(xiàn)里面的問題； ? 文章已完成對(duì)工作的詳細(xì)介紹，約 5頁(yè)內(nèi)容，目前尚缺對(duì)方法中存在問題的完善，實(shí)驗(yàn)以及相關(guān)工作的總結(jié)
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1