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

• 作者: 周生明 汤庸 王驹 蒋运承
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 描述逻辑 混合循环术语集 不动点语义 描述语义 LCS(least common subsumer) MSC(most specific concept)
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 2483-2497
• 页数: 15页
• 分类号: TP301
• 字数: 15224字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王驹	广西师范大学计算机科学与信息工程学院	53	458	11.0	19.0
2	蒋运承	广西师范大学计算机科学与信息工程学院	44	591	15.0	23.0
4	汤庸	中山大学计算机科学系	95	1243	20.0	30.0
7	周生明	广西师范大学计算机科学与信息工程学院	20	152	6.0	11.0