【摘要】：基于描述邏輯的本體的保守?cái)U(kuò)充理論、模塊抽取理論、通用模塊構(gòu)建理論及其相關(guān)算法是本體工程中本體構(gòu)建、本體融合及重構(gòu)的核心理論與工具.國際上該領(lǐng)域已有Lutz等人使用形式構(gòu)模方法證明了ALC的保守?cái)U(kuò)充判定算法復(fù)雜度是二階時(shí)間指數(shù)的,而輕量級(jí)的系統(tǒng)?L的算法復(fù)雜度是一階時(shí)間指數(shù)的.但當(dāng)前文獻(xiàn)中的形式構(gòu)模方法思路復(fù)雜,難以把握,幾乎不能在實(shí)用的工程層面上實(shí)現(xiàn).提出一種面向輕量級(jí)的描述邏輯系統(tǒng)家族(DL-Lite family)的統(tǒng)一的二階線性推理機(jī)制,并給出該推理機(jī)制的完備性證明.該方法直觀,思路清晰,從而在工程中容易實(shí)現(xiàn).同時(shí),該方法對(duì)?L,FL0,FL?,v L等DL-Lite家族的所有系統(tǒng)都有效.在該線序推理系統(tǒng)下,可以根據(jù)"空間換時(shí)間"的原則,設(shè)計(jì)和實(shí)現(xiàn)關(guān)于保守?cái)U(kuò)充判定的圖推理機(jī)制,其復(fù)雜性(相對(duì)于空間的大小)是多項(xiàng)式的.
[Abstract]:The theory of conservative extension of ontology based on description logic, the theory of module extraction, the theory of general module construction and its related algorithms are the core theories and tools of ontology construction, ontology fusion and reconstruction in ontology engineering. In this field, Lutz et al have proved that the complexity of the conservative extended decision algorithm of ALC is second-order time exponential, while the algorithm complexity of lightweight system-L is first-order time exponential. However, the formal modeling method in the current literature is complicated and difficult to grasp, and can hardly be realized on the practical engineering level. A unified second-order linear reasoning mechanism for the family of lightweight descriptive logic systems (DL-Lite family) is proposed, and the completeness of the reasoning mechanism is proved. This method is intuitionistic and clear, so it is easy to realize in engineering. At the same time, this method is effective for all systems of DL-Lite family, such as L, FL0, FLO, vL, etc. According to the principle of "space-for-time", a graph reasoning mechanism for conservative extension decision can be designed and implemented under the linear reasoning system. The complexity (relative to the size of space) is polynomial.
【作者單位】： 廣西可信軟件重點(diǎn)實(shí)驗(yàn)室(桂林電子科技大學(xué));黔南民族師范學(xué)院數(shù)學(xué)系;
【基金】：國家自然科學(xué)基金(61463044;61363030) 廣西自然科學(xué)基金(2013GXNSFAA019330) 廣西可信軟件重點(diǎn)實(shí)驗(yàn)室開放基金 桂林電子科技大學(xué)計(jì)算機(jī)軟件創(chuàng)新團(tuán)隊(duì)基金(kx201419) 廣東省數(shù)學(xué)教育工程技術(shù)研究中心開放基金~~
【分類號(hào)】：TP181

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 王駒;蔣運(yùn)承;唐素勤;;一種模糊動(dòng)態(tài)描述邏輯[J];計(jì)算機(jī)科學(xué)與探索;2007年02期

2 王歲花;趙愛玲;魏濤;;描述邏輯的粗糙擴(kuò)展研究[J];計(jì)算機(jī)工程與科學(xué);2011年02期

3 李言輝,徐寶文,陸建江,汪鵬,周晶晶;一種擴(kuò)展的模糊描述邏輯[J];東南大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年05期

4 陸建江;李言輝;張亞非;周波;康達(dá)周;;限制數(shù)量約束的擴(kuò)展模糊描述邏輯的推理復(fù)雜性(英文)[J];Journal of Southeast University;2007年02期

5 李宗壽;;基于描述邏輯的知識(shí)建模語言[J];懷化學(xué)院學(xué)報(bào)(自然科學(xué));2007年02期

6 彭暉;陳立民;常亮;史忠植;;基于動(dòng)態(tài)描述邏輯的語義Web服務(wù)匹配研究[J];計(jì)算機(jī)研究與發(fā)展;2008年12期

7 叢曉青;曹存根;眭躍飛;;帶函數(shù)的描述邏輯[J];計(jì)算機(jī)工程與應(yīng)用;2008年22期

8 王靜;賈成偉;張健沛;楊靜;;基于可拓理論的描述邏輯擴(kuò)展[J];計(jì)算機(jī)應(yīng)用;2008年08期

9 史忠植;常亮;;基于動(dòng)態(tài)描述邏輯的語義Web服務(wù)推理[J];計(jì)算機(jī)學(xué)報(bào);2008年09期

10 吳修國;曾廣周;許崇敬;;基于描述邏輯的目標(biāo)推理研究[J];計(jì)算機(jī)科學(xué);2008年07期

相關(guān)會(huì)議論文 前6條

1 文斌;甘健侯;夏幼明;徐天任;;基于ALC的擴(kuò)展描述邏輯ALC~+[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會(huì)議論文集[C];2008年

2 曹發(fā)生;;描述邏輯系統(tǒng)UEVN中概念的包含算法[A];“回顧與前瞻：中國邏輯史研究30年”全國學(xué)術(shù)研討會(huì)論文集[C];2010年

3 文斌;甘健侯;夏幼明;徐天偉;;框架表示法到擴(kuò)展描述邏輯ALC+的轉(zhuǎn)換初探[A];2008通信理論與技術(shù)新進(jìn)展——第十三屆全國青年通信學(xué)術(shù)會(huì)議論文集（上）[C];2008年

4 吳凌坤;湯庸;湯娜;;一種基于時(shí)態(tài)描述邏輯的工資智能決策支持系統(tǒng)的實(shí)現(xiàn)[A];第二十三屆中國數(shù)據(jù)庫學(xué)術(shù)會(huì)議論文集（研究報(bào)告篇）[C];2006年

5 康達(dá)周;徐寶文;陸建江;李言輝;;支持語義web模糊本體的描述邏輯(英文)[A];全國語域web與本體能研討會(huì)論文集[C];2006年

6 李敏靜;郭佳宏;;基于描述邏輯的概念表示[A];2012·學(xué)術(shù)前沿論叢——科學(xué)發(fā)展：深化改革與改善民生（上）[C];2012年

相關(guān)重要報(bào)紙文章 前1條

1 中國科學(xué)院計(jì)算技術(shù)研究所 常亮邋史忠植;語義Web的邏輯基礎(chǔ)[N];計(jì)算機(jī)世界;2007年

相關(guān)博士學(xué)位論文 前10條

1 王靜;基于可拓集的描述邏輯研究[D];哈爾濱工程大學(xué);2009年

2 鄒婷婷;描述邏輯中若干問題的研究[D];吉林大學(xué);2013年

3 張小旺;超協(xié)調(diào)描述邏輯[D];北京大學(xué);2011年

4 紀(jì)祥;二維描述邏輯的元建模及其應(yīng)用[D];吉林大學(xué);2013年

5 孫小林;2-型模糊描述邏輯及其在本體進(jìn)化中的應(yīng)用研究[D];華中科技大學(xué);2007年

6 沈國華;基于描述邏輯的語義Web服務(wù)建模及推理研究[D];南京航空航天大學(xué);2009年

7 古華茂;描述邏輯概念可滿足性推理研究[D];浙江大學(xué);2009年

8 方流;描述邏輯推理優(yōu)化技術(shù)研究[D];浙江大學(xué);2008年

9 王海龍;支持模糊數(shù)據(jù)類型表示的模糊描述邏輯研究[D];東北大學(xué);2009年

10 唐素勤;面向語義Web的描述邏輯本體構(gòu)建[D];中南大學(xué);2011年

相關(guān)碩士學(xué)位論文 前10條

1 張娜;基于DL-Lite的動(dòng)態(tài)描述邏輯研究[D];桂林電子科技大學(xué);2015年

2 李瑩;基于描述邏輯的教育突發(fā)事件語義描述及知識(shí)推理方法研究[D];云南師范大學(xué);2015年

3 于云;基于本體和描述邏輯的交通事件語義表現(xiàn)方法研究[D];山東理工大學(xué);2015年

4 閆之煥;描述邏輯在粗糙集框架下的拓展研究[D];電子科技大學(xué);2016年

5 劉海峰;基于描述邏輯的數(shù)據(jù)模型研究及應(yīng)用[D];重慶郵電大學(xué);2016年

6 田宇星;基于描述邏輯的用戶偏好建模方法研究[D];東北大學(xué);2013年

7 唐英英;基于擴(kuò)展描述邏輯的事件實(shí)例推理研究[D];上海大學(xué);2014年

8 文斌;基于描述邏輯的語義Web知識(shí)推理研究[D];云南師范大學(xué);2005年

9 甘曉麗;基于描述邏輯的概念建模研究[D];廣西師范大學(xué);2006年

10 領(lǐng)吉;描述邏輯與規(guī)則整合研究[D];吉林大學(xué);2010年

，

本文編號(hào)：2464803