基于非單調(diào)能力擴(kuò)展的本體推理與查詢(xún)研究.pdf

1、描述邏輯是語(yǔ)義web的邏輯基礎(chǔ)，只能處理客觀(guān)，完全的知識(shí)，對(duì)于主觀(guān)，不完全的知識(shí)就無(wú)能為力了。認(rèn)知描述邏輯ALCK通過(guò)認(rèn)知運(yùn)算符來(lái)表達(dá)認(rèn)知查詢(xún)可以對(duì)不完全信息進(jìn)行有效的處理，而且保留了描述邏輯適合描述領(lǐng)域分類(lèi)術(shù)語(yǔ)知識(shí)的優(yōu)點(diǎn)。本文的工作主要圍繞以下幾個(gè)方面展開(kāi)： 論文首先介紹了描述邏輯ALCR+，認(rèn)知描述邏輯ALCK以及在描述邏輯中的合取查詢(xún)。分別介紹了它們的語(yǔ)法，語(yǔ)義及查詢(xún)推理所用的算法，以此作為研究的基礎(chǔ)知識(shí)； 其次，

2、針對(duì)原有認(rèn)知描述邏輯ALCK描述領(lǐng)域知識(shí)能力有限的問(wèn)題，加入了傳遞性角色屬性，提出了認(rèn)知描述邏輯語(yǔ)言ALCKR+。給出了它的語(yǔ)法，語(yǔ)義及推理的表算法。證明了表算法的可判定性和可靠性，分析了表算法推理時(shí)的時(shí)間復(fù)雜度； 然后，針對(duì)認(rèn)知描述邏輯ALCK中認(rèn)知查詢(xún)表達(dá)能力不足，加入了合取查詢(xún)，提出了ALCK中的認(rèn)知合取查詢(xún)語(yǔ)言。給出了語(yǔ)法，語(yǔ)義及回答認(rèn)知合取查詢(xún)的算法。證明了判定算法的可判定性，可靠性和完備性，分析了查詢(xún)算法的時(shí)間復(fù)雜度