描述逻辑εL混合循环术语集的LCS和MSC推理

来源 :软件学报 | 被引量 : 0次 | 上传用户：huninbo

【摘要】

：

分析了描述逻辑循环术语集的研究现状和存在的问题，在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS（least common subsumer）和MSC（most specific concept）推

【作者】

：

蒋运承王驹周生明汤庸

【机构】

：

广西师范大学计算机科学与信息工程学院,中山大学计算机科学系

【出处】

：

软件学报

【发表日期】

：

2008年10期

【关键词】

：

描述逻辑混合循环术语集不动点语义描述语义 LCS(least common subsumer) MSC(most specific concept) de

【基金项目】

：

Supported by the National Natural Science Foundation of China under Grant Nos.60663001, 60673135, 60373081, 60573010 （国家自然科学基金）, the Postdoctoral Science Foundation of China under Grant No.20060400226

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

分析了描述逻辑循环术语集的研究现状和存在的问题，在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS（least common subsumer）和MSC（most specific concept）推理问题．给出了εL混合循环术语集的语法和语义．针对εL混合循环术语集LCS和MSC推理的需要，提出了TBox-完全的概念，并重新定义了描述图．使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法，证明了推理算法的正确性，并证明了推理算法是多项式时

其他文献

浅析大学英语词汇教学之词汇拼读策略

词汇在语言系统中起着至关重要的作用，对于语言学习者来说，掌握足够的词汇量是非常必要的。尤其对于非英语专业的大学生来说，英语词汇量的严重匮乏影响了他们的交际能力和听说读

期刊

大学英语词汇拼读策略语言学

四平市郊区食品行业问题分析及对策探讨

食品卫生关系到百姓的生命健康,近期不断出现的重大食品卫生事件和严重威胁人民群众生命健康的违法案件,引起各级政府和相关部门的高度重视。搞好郊区食品行业卫生工作是农村

期刊

食品卫生食品行业卫生监督

高频压控振荡器在AV1485信号源中的设计与实现

本文介绍了一种在频率合成领域经常被采用的高频压控振荡器的设计和分析方法,主要内容涉及负阻振荡器工作原理、设计方法和应用实例,最后介绍调试此类振荡器过程中通常遇到的

期刊

负阻负阻振荡器谐振回路不稳定性

描述逻辑εL混合循环术语集的LCS和MSC推理

其他学术论文