-
题名基于SHIQ DL关系词语分类研究
被引量:1
- 1
-
-
作者
肖升
阳西述
-
机构
华中师范大学语言研究所计算机科学系
湖南省第一师范学校信息技术系
-
出处
《湖南师范大学自然科学学报》
CAS
北大核心
2007年第4期35-39,共5页
-
基金
国家重点实验室开放研究基金资助项目(SKLSE04-018)
国家社会科学基金资助项目(06BTQ024)
+2 种基金
湖北省科技攻关项目(2007AA101C49)
湖南省教育"十一.五"规划重点课题(XJK06AZC010)
湖南省第一师范学校科研资助课题(XYS06N05)
-
文摘
语言学中现有的两分系统和三分系统都不能满足OWL DL描写关系词语间逻辑语义关系的需要,因为它们的逻辑基础和OWL DL的逻辑基础SHIQ DL大相径庭.文中从SHIQ DL构造算子的描写能力出发,以SHIQDL逻辑层次为基础对关系词语进行分类.
-
关键词
shiq
DL
关系词语
描述逻辑
-
Keywords
shiq DL
relationship words
description logics
-
分类号
H146.2
[语言文字—汉语]
-
-
题名描述逻辑SHIQ研究
被引量:1
- 2
-
-
作者
杨敬波
贾丽虹
张召兵
-
机构
烟台教育学院计算机与信息科学系
烟台大学图书馆
-
出处
《曲阜师范大学学报(自然科学版)》
CAS
2006年第1期63-66,共4页
-
文摘
描述逻辑由于有很好的建模和推理特性,已成为语义web本体描述语言的逻辑基础.描述逻辑SHIQ是语义web本体描述语言DAML+OIL的逻辑基础,也是OWL DL的核心.该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法.
-
关键词
描述逻辑
shiq
ALC
-
Keywords
DLs
shiq
ALC
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名描述逻辑SHIQ的ABox一致性判定算法
- 3
-
-
作者
彭立
杨恒伏
-
机构
湖南第一师范学院信息科学与工程系
-
出处
《计算机工程》
CAS
CSCD
2013年第12期308-315,共8页
-
基金
国家自然科学基金资助项目(61073191)
湖南省教育厅科学研究基金资助项目(12C0593)
湖南第一师范学院校级课题基金资助项目(XYS10N09)
-
文摘
为判定描述逻辑SHIQ的ABox一致性,提出一种Tableau算法。给定TBox T、ABox A和角色层次H,通过预处理将A转换成标准的ABox A’,按照特定的完整策略将一套Tableau规则应用于A’,从而不断地对A’进行扩展,直到将其扩展成完整的ABox A’’为止。A、T和H一致,当且仅当算法能产生一个完整且无冲突的ABox A’’。该算法采用的阻塞机制能防止Tableau规则被无限次执行,避免多余的规则应用。通过证明Tableau规则的执行次数为有限次,确认算法的可终止性。通过证明由A’’能构造一个同时满足A、T和H的解释,确认算法的合理性。通过证明Tableau规则的执行不会破坏A’与H的一致关系,确认算法的完备性。
-
关键词
描述逻辑shiq
ABox一致性判定
TABLEAU算法
阻塞机制
可终止性
合理性
完备性
-
Keywords
Description Logic(DL) shiq
ABox consistency decision
Tableau algorithm
blocking mechanism
termination
soundness
completeness
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名基于模糊描述逻辑的CBR的事例相似性
- 4
-
-
作者
孙晋永
钱俊彦
唐成华
马林威
-
机构
桂林电子科技大学广西可信软件重点实验室
-
出处
《济南大学学报(自然科学版)》
CAS
北大核心
2016年第5期353-363,共11页
-
基金
国家自然科学基金(61262030
61363030
+3 种基金
61462020)
桂林电子科技大学创新团队
广西高等学校高水平创新团队及卓越学者计划
广西可信软件重点实验室研究课题(KX201412)
-
文摘
针对用于基于事例推理(CBR)的描述逻辑不能表示和推理模糊语义知识的局限问题,将模糊描述逻辑F-SHIQ(D)引入CBR中,定义F-SHIQ(D)范式,据此表示包含模糊语义知识的CBR事例,提出同时考虑事例描述概念和隶属度相似性的事例相似性方法,并与现有基于描述逻辑的CBR进行对比。结果表明,在包含模糊语义信息的领域,基于F-SHIQ(D)的CBR能提升事例表示和事例相似性度量的准确性,有助于提高事例检索效率。
-
关键词
基于事例推理
模糊描述逻辑F-shiq(D)
事例表示
相似性度量
-
Keywords
case-based reasoning
fuzzy description logic F -shiq(D)
case representation
similarity metric
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-