面向模块重用的描述逻辑SHJF本地性规则研究

发布时间：2017-06-29 12:17

  本文关键词：面向模块重用的描述逻辑SHJF本地性规则研究，，由笔耕文化传播整理发布。

【摘要】：可重用本体模块的抽取是本体重用的一个关键环节。与传统工程应用中使用的基于本体层次的结构化方法抽取本体模块相比,使用逻辑的方法能充分利用本体提供的语义信息,抽取的本体模块更具完整性和正确性。在研究保守扩展的本体模块理论基础上,根据Grau B C提出的S HOJQ本地性规则,提出并证明了描述逻辑S HJF对应的语义本地性规则和句法本地性规则,为基于该规则抽取可重用本体模块提供了理论基础。
【作者单位】： 中南大学信息科学与工程学院;
【关键词】： 本体重用 模块抽取 描述逻辑S HJF 语义本地性 句法本地性
【基金】：国家自然科学基金面上项目(61379110) 中南大学教师研究基金资助
【分类号】：TP393.09
【正文快照】： 1引言Web的创始人Berners-Lee于1998年提出了语义网的概念[1]。语义网是面向信息文档表示的数据,是一种能够理解人类语言的智能网络。本体(Ontology)的研究是语义网技术的关键。本体是语义网知识表示和推理的基础,是由某一领域公认的符号序列(Signature,也称为词汇)和符号序列

【共引文献】

中国期刊全文数据库 前10条

1 古华茂;石锦芹;高济;;基于子句的ALCN语言tableau算法增强方式(英文)[J];Journal of Southeast University(English Edition);2008年03期

2 叶育鑫;欧阳丹彤;领吉;张永刚;;本体与规则整合的推理方法研究及设计[J];吉林大学学报(工学版);2009年05期

3 叶育鑫;欧阳丹彤;刘瑶;孙吉贵;;基于SHOIQ(D)的本体一致性检测[J];计算机工程与科学;2009年08期

4 程经纬;马宗民;严丽;张富;;模糊描述逻辑知识库查询蕴涵的判定方法[J];计算机学报;2012年04期

5 周相兵;;用描述逻辑实现语义主题Web服务组合的方法[J];计算机应用;2010年10期

6 牟向伟;陈燕;;基于模糊描述逻辑的个性化推荐系统建模[J];计算机应用研究;2011年04期

7 古华茂;高济;王勋;吴海燕;;一种子句重构的增强Tableau算法[J];模式识别与人工智能;2009年04期

8 朱卫星;王智学;董庆超;刘影;;C4ISR系统的非功能需求建模与分析[J];南京航空航天大学学报;2011年06期

9 彭立;杨恒伏;;描述逻辑SHIN的ABox一致性判定算法[J];计算机工程与应用;2013年20期

10 彭立;杨恒伏;;描述逻辑SHIQ的ABox一致性判定算法[J];计算机工程;2013年12期

中国博士学位论文全文数据库 前10条

1 牟向伟;模糊语义个性化推荐系统在电子政务中的应用研究[D];大连海事大学;2010年

2 冯莎莎;本体逻辑差的研究[D];吉林大学;2011年

3 焦素云;基于概念格的动态策略存取模型[D];吉林大学;2011年

4 张小旺;超协调描述逻辑[D];北京大学;2011年

5 吕艳辉;数据库支持的模糊OWL本体构建与存储的研究[D];东北大学;2010年

6 王海龙;支持模糊数据类型表示的模糊描述逻辑研究[D];东北大学;2009年

7 赵德新;基于模糊逻辑的语义服务发现研究[D];天津大学;2008年

8 古华茂;描述逻辑概念可满足性推理研究[D];浙江大学;2009年

9 叶育鑫;语义Web下的知识搜索及其核心技术[D];吉林大学;2010年

10 李韧;基于Hadoop的大规模语义Web本体数据查询与推理关键技术研究[D];重庆大学;2013年

中国硕士学位论文全文数据库 前7条

1 许禾;在粗描述逻辑RALCQ中构造算子间的蕴含关系[D];广西师范大学;2009年

2 领吉;描述逻辑与规则整合研究[D];吉林大学;2010年

3 王洪微;知识本体模型下的不一致推理机制研究[D];大连海事大学;2013年

4 刘士仪;语义Web服务组合的形式化研究[D];兰州理工大学;2013年

5 徐连君;SHJF本体的模块化重用研究[D];中南大学;2013年

6 印俊;描述逻辑ALCN和ALCQ的扩展研究[D];中南大学;2013年

7 彭立;描述逻辑SHIF和SHIQ的ABox一致性判定算法研究[D];湖南大学;2013年

【相似文献】

中国期刊全文数据库 前10条

1 彭晖;陈立民;常亮;史忠植;;基于动态描述逻辑的语义Web服务匹配研究[J];计算机研究与发展;2008年12期

2 丛晓青;曹存根;眭跃飞;;带函数的描述逻辑[J];计算机工程与应用;2008年22期

3 王静;张健沛;杨静;程丽丽;;面向矛盾问题的动态描述逻辑扩展研究[J];哈尔滨工程大学学报;2009年07期

4 张燕;;描述逻辑研究进展[J];江南大学学报(自然科学版);2010年01期

5 唐素勤;蔡自兴;王驹;蒋运承;;描述逻辑非标准推理[J];模式识别与人工智能;2010年04期

6 孙永新;赵希顺;符志强;;描述逻辑的动态时序扩展[J];计算机应用研究;2012年02期

7 冯佳捷;王瑞;;描述逻辑中概念的匹配推理研究现状和存在的问题[J];电脑知识与技术;2013年14期

8 蒋运承;;面向语义Web的直觉模糊粗描述逻辑(英文)[J];华南师范大学学报(自然科学版);2013年06期

9 石莲;孙吉贵;;描述逻辑综述[J];计算机科学;2006年01期

10 马东Z

本文编号：497906