支持@約束的描述邏輯推理機(jī)的開發(fā).pdf

1、描述邏輯是一族知識(shí)表示語言,它主要用于特定領(lǐng)域知識(shí)的表達(dá),它是一階邏輯的一個(gè)可判定子集,有著完整的判定算法和高效的推理機(jī)制。近幾年,為了解決開世界假設(shè)下知識(shí)更新的問題,研究者們?cè)诮?jīng)典描述邏輯中引入了@約束。當(dāng)前的描述邏輯推理機(jī)中,只有一個(gè)用于檢驗(yàn)概念可滿足性的原型系統(tǒng)支持@約束,然而該推理機(jī)不具有.Abox推理的推理功能。
　　 本文在該原型機(jī)的基礎(chǔ)之上開發(fā)了一個(gè)支持@約束的推理機(jī),該推理機(jī)可以實(shí)現(xiàn)概念的可滿足性檢驗(yàn)、概念等價(jià)、

2、概念蘊(yùn)含以及.Abox的推理等功能。
　　 本系統(tǒng)使用C++語言進(jìn)行開發(fā),集成開發(fā)環(huán)境為Visual C++。系統(tǒng)包括UI模塊、推理任務(wù)初始化模塊、OWL文件解析模塊和推理引擎四個(gè)部分。系統(tǒng)借用了MFC類庫中的對(duì)話框應(yīng)用程序來實(shí)現(xiàn)UI模塊。在推理任務(wù)初始化模塊中首先清空工作集,然后根據(jù)不同的推理任務(wù)構(gòu)造不同的初始分枝,最后調(diào)用推理引擎。OWL解析模塊用于將OWL文件描述的概念、斷言等信息解析為自定義的數(shù)據(jù)結(jié)構(gòu)。推理引擎用于實(shí)現(xiàn)斷