基于本體的數(shù)學(xué)表達(dá)式檢索技術(shù)研究.pdf

1、在科研、教育和工程等眾多領(lǐng)域中,數(shù)學(xué)表達(dá)式作為一類復(fù)雜的、語義強(qiáng)的重要信息。人們對(duì)它的檢索有著表達(dá)式二維結(jié)構(gòu)識(shí)別和表達(dá)式內(nèi)容語義識(shí)別的要求。然而現(xiàn)有的數(shù)學(xué)表達(dá)式檢索系統(tǒng)大多是基于表達(dá)式字符文本化和基于表達(dá)式內(nèi)容展示形式進(jìn)行處理的,很難滿足對(duì)表達(dá)式內(nèi)容語義的識(shí)別。因此,實(shí)現(xiàn)數(shù)學(xué)表達(dá)式的語義檢索對(duì)學(xué)習(xí)和工作都有著現(xiàn)實(shí)的意義。
　　本論文以支持?jǐn)?shù)學(xué)表達(dá)式內(nèi)容語義和關(guān)聯(lián)關(guān)系的表達(dá)式本體庫為基礎(chǔ),對(duì)查詢條件進(jìn)行語義擴(kuò)展,以期達(dá)到數(shù)學(xué)表達(dá)式的

2、語義檢索的目標(biāo)。論文主要開展以下工作:
　　1)論文分析了數(shù)學(xué)表達(dá)式的檢索過程,提出了一種基于本體的數(shù)學(xué)表達(dá)式語義檢索模型。其思想是以表達(dá)式中數(shù)學(xué)公式部分作為基點(diǎn)歸納出四類數(shù)學(xué)表達(dá)式多元信息的關(guān)聯(lián)關(guān)系,再使用改進(jìn)后的通配符表示方法來構(gòu)建數(shù)學(xué)表達(dá)式本體庫?；跇?gòu)建出的本體庫對(duì)查詢條件進(jìn)行語義拓展處理,將語義拓展處理后的關(guān)鍵詞匯返回給用戶進(jìn)行關(guān)鍵詞精確操作或是直接傳遞給檢索框架,實(shí)現(xiàn)數(shù)學(xué)表達(dá)式的語義檢索。
　　2)本文提出了一種

3、改進(jìn)后的數(shù)學(xué)公式DOM樹的相似度匹配算法來實(shí)現(xiàn)上述模型中的語義擴(kuò)展功能。該算法的基本思想是根據(jù)編輯操作對(duì)象節(jié)點(diǎn)類型的異同和其父節(jié)點(diǎn)的異同賦予不同的操作代價(jià),枚舉疊加出操作代價(jià)總值,得出相應(yīng)的相似度,實(shí)現(xiàn)用戶查詢條件的語義化和精準(zhǔn)化拓展。同時(shí)借助數(shù)學(xué)表達(dá)式本體庫中歸納的關(guān)聯(lián)關(guān)系和上下位層次關(guān)系,減少匹配次數(shù),提高匹配的效率。
　　3)在上述研究工作的基礎(chǔ)上,論文使用Protege4.3工具構(gòu)建出一個(gè)初級(jí)的數(shù)學(xué)表達(dá)式本體庫,再以Luc