技術(shù)特征：

技術(shù)總結(jié)
本發(fā)明公開了一種基于圖模型的方法來做描述邏輯EL本體的并行推理，即通過圖上的并行化操作計(jì)算本體中概念之間的包含關(guān)系。本發(fā)明首先對輸入的EL本體做規(guī)范化處理，并轉(zhuǎn)成語義等價的有向圖結(jié)構(gòu)；接著對轉(zhuǎn)化得來的有向圖做并行化存儲，并同步到并行計(jì)算平臺；然后利用并行平臺的超步(針對不同平臺的宏操作)完成一輪推理過程的迭代，分別為：請求、應(yīng)答、推理、加邊；通過多次超步迭代，完成對有向圖的更新。最后，將更新完成的有向圖逆向轉(zhuǎn)換回EL本體，作為結(jié)果輸出。

技術(shù)研發(fā)人員：周張泉;吳自勉;漆桂林
受保護(hù)的技術(shù)使用者：東南大學(xué)
技術(shù)研發(fā)日：2017.06.16
技術(shù)公布日：2017.09.19