基于Tbox和Abox的描述逻辑推理研究 被引量：7

1

作者 张灵峰 夏战锋 彭志平 《计算机技术与发展》 2010年第11期122-125,129,共5页

语义Web的出现使得描述逻辑(Description Logic)成为研究的热点。它是近年来研究和发展最快的知识表示的形式化工具之一,具有强大的表达能力、可判定性以及有效推理等优点,其中推理服务是它的核心。首先重点讨论基于Tbox和Abox的推理任... 语义Web的出现使得描述逻辑(Description Logic)成为研究的热点。它是近年来研究和发展最快的知识表示的形式化工具之一,具有强大的表达能力、可判定性以及有效推理等优点,其中推理服务是它的核心。首先重点讨论基于Tbox和Abox的推理任务;其次,详细阐述各算法以及相互间内在联系;最后,得出描述逻辑的所有推理都可以转化为基于Abox的一致性检测问题,并给出其算法及实现过程。在语义Web环境下,描述逻辑的推理服务可以提高机器的理解能力,实现机器完全自主化。 展开更多

关键词 描述逻辑 Tbox推理 abox推理 可满足性 一致性

在线阅读 下载PDF 职称材料

一种描述逻辑SHIF的ABox一致性判定算法 被引量：2

2

作者 彭立 杨恒伏 《计算机应用研究》 CSCD 北大核心 2013年第2期423-428,共6页

为了判定SHIF的ABox一致性,提出了一种Tableau算法。该算法先通过预处理将ABox转换成标准形式,然后按照特定的完整策略将一套Tableau规则应用于ABox,直到将它扩展成完整的ABox为止。ABox与TBox一致,当且仅当算法能产生一个无冲突的完整... 为了判定SHIF的ABox一致性,提出了一种Tableau算法。该算法先通过预处理将ABox转换成标准形式,然后按照特定的完整策略将一套Tableau规则应用于ABox,直到将它扩展成完整的ABox为止。ABox与TBox一致,当且仅当算法能产生一个无冲突的完整的ABox。算法所采用的阻塞机制可以避免Tableau规则的无限次执行。为了提高算法的效率,该机制允许一个新个体被在其之前创建的任意新个体直接阻塞,而不仅仅局限于其祖先。通过对算法的可终止性、合理性和完备性进行证明,算法的正确性得以确认。 展开更多

关键词 描述逻辑SHIF abox一致性判定 TABLEAU算法 阻塞机制 正确性

在线阅读 下载PDF 职称材料

一种语义物联网本体的Abox摘要方法

3

作者 曲琛 刘宁 李冠宇 《计算机应用研究》 CSCD 北大核心 2015年第4期1104-1106,1118,共4页

针对目前大多语义物联网本体的Abox体积过于庞大,不利于人们理解本体或利用本体进行推理等问题,利用等价关系,通过对等价实例的查找、映射、删除等操作,对本体Abox进行摘要,并设计、实现了其原型系统。对公共本体进行摘要测试,结果表明... 针对目前大多语义物联网本体的Abox体积过于庞大,不利于人们理解本体或利用本体进行推理等问题,利用等价关系,通过对等价实例的查找、映射、删除等操作,对本体Abox进行摘要,并设计、实现了其原型系统。对公共本体进行摘要测试,结果表明,该方法在保留本体原始语义的前提下,精减了Abox中的冗余断言,缩小了本体体积,降低了存储压力,方便了用户对本体的理解、重用等相关操作。 展开更多

关键词 语义物联网 本体 摘要 abox

在线阅读 下载PDF 职称材料

描述逻辑SHIQ的ABox一致性判定算法

4

作者 彭立 杨恒伏 《计算机工程》 CAS CSCD 2013年第12期308-315,共8页

为判定描述逻辑SHIQ的ABox一致性,提出一种Tableau算法。给定TBox T、ABox A和角色层次H,通过预处理将A转换成标准的ABox A’,按照特定的完整策略将一套Tableau规则应用于A’,从而不断地对A’进行扩展,直到将其扩展成完整的ABox A’’... 为判定描述逻辑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算法 阻塞机制 可终止性 合理性 完备性

在线阅读 下载PDF 职称材料

描述逻辑SHIN的ABox一致性判定算法

5

作者 彭立 杨恒伏 《计算机工程与应用》 CSCD 2013年第20期55-62,共8页

为了判定描述逻辑SHIN的ABox一致性,提出了一种Tableau算法。给定TBox T、ABox A和角色层次H,该算法通过预处理将A转换成标准的ABox A′,按照特定的完整策略将一套Tableau规则应用于A′,直到将它扩展成完整的ABox A″为止。A与T和H一致... 为了判定描述逻辑SHIN的ABox一致性,提出了一种Tableau算法。给定TBox T、ABox A和角色层次H,该算法通过预处理将A转换成标准的ABox A′,按照特定的完整策略将一套Tableau规则应用于A′,直到将它扩展成完整的ABox A″为止。A与T和H一致,当且仅当算法能产生一个完整且无冲突的ABox A″。算法所采用的阻塞机制可以避免Tableau规则的无限次执行,该机制允许一个新个体被在其之前创建的任意新个体直接阻塞,而不仅仅局限于其祖先。通过对算法的可终止性、合理性和完备性进行证明,算法的正确性得以确认。 展开更多

关键词 支持补集 传递角色 角色层次 反向角色和数量约束的属性语言(SHIN) abox一致性判定 TABLEAU算法 阻塞机 制 可终止性 合理性 完备性

在线阅读 下载PDF 职称材料

动态ABoxes的描述逻辑推理

6

作者 朱玲玲 《福建电脑》 2009年第1期68-69,共2页

本文中,介绍了一个为描述SHIQ(D)和SHOQ(D)在增加和减去ABox的更新算法的运算法则,对浮动或流动数据推理程序提供了一个关键的步骤。通过在Pellet中推理的一个实验执行,提供了权威的运算法则分析。初始的实验结果很好因为其显示了数量... 本文中,介绍了一个为描述SHIQ(D)和SHOQ(D)在增加和减去ABox的更新算法的运算法则,对浮动或流动数据推理程序提供了一个关键的步骤。通过在Pellet中推理的一个实验执行,提供了权威的运算法则分析。初始的实验结果很好因为其显示了数量次序的性能进步。 展开更多

关键词 abox 描述逻辑推理 运算法则 数学

在线阅读 下载PDF 职称材料

描述逻辑ALC中的ABOX反绎推理算法 被引量：1

7

作者 马严伟 古天龙 常亮 《桂林电子科技大学学报》 2012年第3期217-221,共5页

鉴于已有的描述逻辑ALC中ABOX反绎推理算法需要转化到FOL上处理,涉及了大量变元和Skolem项的使用。ALC-Tableau可以避免大量变元和斯科伦项,给出了一种直接在ALC上处理ABOX反绎推理问题的算法。该算法将ABOX反绎推理问题转化为知识库的... 鉴于已有的描述逻辑ALC中ABOX反绎推理算法需要转化到FOL上处理,涉及了大量变元和Skolem项的使用。ALC-Tableau可以避免大量变元和斯科伦项,给出了一种直接在ALC上处理ABOX反绎推理问题的算法。该算法将ABOX反绎推理问题转化为知识库的一致性问题,在此基础上结合反绎推理的自身特性对传统的Tableau构造过程进行扩充,最终借助一个回溯过程找出反绎问题的所有解。 展开更多

关键词 反绎推理 abox反绎推理问题 TABLEAU 知识库一致性

在线阅读 下载PDF 职称材料

描述逻辑及其在数字图书检索中的应用 被引量：2

8

作者 李佳 祝铭 《现代教育技术》 CSSCI 2007年第1期72-74,共3页

随着数字图书馆建设的推进,人们更多地利用网络通过电子媒介来获取所需的资源。如何帮助用户找到满足用户需求的资源,已成为当前迫切需要解决的课题。本文对传统检索方法进行分析,指出要提高检索的查全率和查准率,需要将信息以机器可理... 随着数字图书馆建设的推进,人们更多地利用网络通过电子媒介来获取所需的资源。如何帮助用户找到满足用户需求的资源,已成为当前迫切需要解决的课题。本文对传统检索方法进行分析,指出要提高检索的查全率和查准率,需要将信息以机器可理解的方式描述,为信息赋予语义。对描述逻辑进行了分析,论述了描述逻辑在数字图书检索中的应用。 展开更多

关键词 描述逻辑 信息检索 TBox abox 逻辑推理

在线阅读 下载PDF 职称材料

Tableau-based算法的改进与有限步终止定理

9

作者 王国俊 李璧镜 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第6期1-4,9,共5页

对原有的tableau-based算法进行了简化和改进,提出了标准tableau-based算法,它在保证原有算法思想的基础上删除了每次变换后所产生的累赘部分,同时不再限制运算的顺序.基于这个新算法,证明了ALCN语言中Abox的相容性可通过标准tableau-ba... 对原有的tableau-based算法进行了简化和改进,提出了标准tableau-based算法,它在保证原有算法思想的基础上删除了每次变换后所产生的累赘部分,同时不再限制运算的顺序.基于这个新算法,证明了ALCN语言中Abox的相容性可通过标准tableau-based算法在有限步之内判定. 展开更多

关键词 描述逻辑 abox tableau-based算法 标准tableau-based算法 有限步终止定理

在线阅读 下载PDF 职称材料

重组HMGB1-A盒蛋白对小鼠单核细胞的抗炎作用 被引量：2

10

作者 刘婷 贺永文 陈西柳 《中国免疫学杂志》 CAS CSCD 北大核心 2010年第4期298-303,共6页

目的:观察高迁移率蛋白B1-A盒蛋白(HMGB1-Abox)对小鼠单核细胞系在脂多糖(LPS)刺激下表达HMGB1的影响和动态变化以及对炎性因子分泌的抑制作用。方法:利用克隆载体构建PET28a-HMGB1-Abox原核质粒,转化大肠杆菌BL21(DE3),以异丙基-β-D-... 目的:观察高迁移率蛋白B1-A盒蛋白(HMGB1-Abox)对小鼠单核细胞系在脂多糖(LPS)刺激下表达HMGB1的影响和动态变化以及对炎性因子分泌的抑制作用。方法:利用克隆载体构建PET28a-HMGB1-Abox原核质粒,转化大肠杆菌BL21(DE3),以异丙基-β-D-硫代半乳糖苷(ITPG)诱导后经Ni2+-NTA树脂亲和纯化得到目的蛋白;以不同浓度的重组HMGB1-Abox蛋白作用于LPS刺激的小鼠单核细胞系RAW264.7,CCK8试剂盒检测其对小鼠单核细胞活力的影响。以PBS和重组HMGB1-Abox蛋白为对照组和实验组,于2、6、12、24、48小时检测其细胞上清中的TNF-α、IL-1β的含量,Western blot、免疫荧光法观察细胞中HMGB1的表达、RT-PCR检测细胞中HMGB1-mRNA变化趋势。结果:成功构建PET28a-HMGB1-Abox原核质粒并纯化出大约为14 kD的目的蛋白。小鼠单核细胞活力与重组HMGB1-Abox蛋白浓度及作用时间呈正相关;实验组细胞上清TNF-α、IL-1β的含量较对照组显著下降;Western blot及免疫荧光检测提示实验组细胞中HMGB1表达不断减少;细胞中HMGB1-mR-NA含量及峰值均较对照组显著减少且延后。结论:重组HMGB1-Abox蛋白可以显著减少小鼠单核细胞在受到LPS刺激时HMGB1的表达和分泌,从而有效的阻断HMGB1对其他早期炎性因子的促进作用,减少炎性因子的分泌,有较强的抗炎作用。 展开更多

关键词 HMGB1-A盒蛋白 原核构建 蛋白纯化 小鼠单核细胞系

暂未订购

Summary of Description Logic

11

作者 Chun Gui, Yabin Shao 《计算机科学与技术汇刊（中英文版）》 2014年第3期98-101,共4页

关键词 描述逻辑 语义WEB 摘要 知识表示 结构系统 计算机科学 形式语言 一阶逻辑

在线阅读 下载PDF 职称材料