本文關(guān)鍵詞：面向模塊重用的描述邏輯SHJF本地性規(guī)則研究，，由筆耕文化傳播整理發(fā)布。

【摘要】：可重用本體模塊的抽取是本體重用的一個(gè)關(guān)鍵環(huán)節(jié)。與傳統(tǒng)工程應(yīng)用中使用的基于本體層次的結(jié)構(gòu)化方法抽取本體模塊相比,使用邏輯的方法能充分利用本體提供的語義信息,抽取的本體模塊更具完整性和正確性。在研究保守?cái)U(kuò)展的本體模塊理論基礎(chǔ)上,根據(jù)Grau B C提出的S HOJQ本地性規(guī)則,提出并證明了描述邏輯S HJF對應(yīng)的語義本地性規(guī)則和句法本地性規(guī)則,為基于該規(guī)則抽取可重用本體模塊提供了理論基礎(chǔ)。
【作者單位】： 中南大學(xué)信息科學(xué)與工程學(xué)院;
【關(guān)鍵詞】： 本體重用 模塊抽取 描述邏輯S HJF 語義本地性 句法本地性
【基金】：國家自然科學(xué)基金面上項(xiàng)目(61379110) 中南大學(xué)教師研究基金資助
【分類號】：TP393.09
【正文快照】： 1引言Web的創(chuàng)始人Berners-Lee于1998年提出了語義網(wǎng)的概念[1]。語義網(wǎng)是面向信息文檔表示的數(shù)據(jù),是一種能夠理解人類語言的智能網(wǎng)絡(luò)。本體(Ontology)的研究是語義網(wǎng)技術(shù)的關(guān)鍵。本體是語義網(wǎng)知識表示和推理的基礎(chǔ),是由某一領(lǐng)域公認(rèn)的符號序列(Signature,也稱為詞匯)和符號序列

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 古華茂;石錦芹;高濟(jì);;基于子句的ALCN語言tableau算法增強(qiáng)方式(英文)[J];Journal of Southeast University(English Edition);2008年03期

2 葉育鑫;歐陽丹彤;領(lǐng)吉;張永剛;;本體與規(guī)則整合的推理方法研究及設(shè)計(jì)[J];吉林大學(xué)學(xué)報(bào)(工學(xué)版);2009年05期

3 葉育鑫;歐陽丹彤;劉瑤;孫吉貴;;基于SHOIQ(D)的本體一致性檢測[J];計(jì)算機(jī)工程與科學(xué);2009年08期

4 程經(jīng)緯;馬宗民;嚴(yán)麗;張富;;模糊描述邏輯知識庫查詢蘊(yùn)涵的判定方法[J];計(jì)算機(jī)學(xué)報(bào);2012年04期

5 周相兵;;用描述邏輯實(shí)現(xiàn)語義主題Web服務(wù)組合的方法[J];計(jì)算機(jī)應(yīng)用;2010年10期

6 牟向偉;陳燕;;基于模糊描述邏輯的個(gè)性化推薦系統(tǒng)建模[J];計(jì)算機(jī)應(yīng)用研究;2011年04期

7 古華茂;高濟(jì);王勛;吳海燕;;一種子句重構(gòu)的增強(qiáng)Tableau算法[J];模式識別與人工智能;2009年04期

8 朱衛(wèi)星;王智學(xué);董慶超;劉影;;C4ISR系統(tǒng)的非功能需求建模與分析[J];南京航空航天大學(xué)學(xué)報(bào);2011年06期

9 彭立;楊恒伏;;描述邏輯SHIN的ABox一致性判定算法[J];計(jì)算機(jī)工程與應(yīng)用;2013年20期

10 彭立;楊恒伏;;描述邏輯SHIQ的ABox一致性判定算法[J];計(jì)算機(jī)工程;2013年12期

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 牟向偉;模糊語義個(gè)性化推薦系統(tǒng)在電子政務(wù)中的應(yīng)用研究[D];大連海事大學(xué);2010年

2 馮莎莎;本體邏輯差的研究[D];吉林大學(xué);2011年

3 焦素云;基于概念格的動(dòng)態(tài)策略存取模型[D];吉林大學(xué);2011年

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

5 呂艷輝;數(shù)據(jù)庫支持的模糊OWL本體構(gòu)建與存儲的研究[D];東北大學(xué);2010年

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

7 趙德新;基于模糊邏輯的語義服務(wù)發(fā)現(xiàn)研究[D];天津大學(xué);2008年

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

9 葉育鑫;語義Web下的知識搜索及其核心技術(shù)[D];吉林大學(xué);2010年

10 李韌;基于Hadoop的大規(guī)模語義Web本體數(shù)據(jù)查詢與推理關(guān)鍵技術(shù)研究[D];重慶大學(xué);2013年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前7條

1 許禾;在粗描述邏輯RALCQ中構(gòu)造算子間的蘊(yùn)含關(guān)系[D];廣西師范大學(xué);2009年

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

3 王洪微;知識本體模型下的不一致推理機(jī)制研究[D];大連海事大學(xué);2013年

4 劉士儀;語義Web服務(wù)組合的形式化研究[D];蘭州理工大學(xué);2013年

5 徐連君;SHJF本體的模塊化重用研究[D];中南大學(xué);2013年

6 印俊;描述邏輯ALCN和ALCQ的擴(kuò)展研究[D];中南大學(xué);2013年

7 彭立;描述邏輯SHIF和SHIQ的ABox一致性判定算法研究[D];湖南大學(xué);2013年

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

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

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

3 王靜;張健沛;楊靜;程麗麗;;面向矛盾問題的動(dòng)態(tài)描述邏輯擴(kuò)展研究[J];哈爾濱工程大學(xué)學(xué)報(bào);2009年07期

4 張燕;;描述邏輯研究進(jìn)展[J];江南大學(xué)學(xué)報(bào)(自然科學(xué)版);2010年01期

5 唐素勤;蔡自興;王駒;蔣運(yùn)承;;描述邏輯非標(biāo)準(zhǔn)推理[J];模式識別與人工智能;2010年04期

6 孫永新;趙希順;符志強(qiáng);;描述邏輯的動(dòng)態(tài)時(shí)序擴(kuò)展[J];計(jì)算機(jī)應(yīng)用研究;2012年02期

7 馮佳捷;王瑞;;描述邏輯中概念的匹配推理研究現(xiàn)狀和存在的問題[J];電腦知識與技術(shù);2013年14期

8 蔣運(yùn)承;;面向語義Web的直覺模糊粗描述邏輯(英文)[J];華南師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2013年06期

9 石蓮;孫吉貴;;描述邏輯綜述[J];計(jì)算機(jī)科學(xué);2006年01期

10 馬東Z

本文編號：497906