检索结果-维普期刊中文期刊服务平台

一种描述逻辑SHIF的ABox一致性判定算法被引量：2: 1; 作者彭立杨恒伏《计算机应用研究》 CSCD 北大核心 2013年第2期423-428,共6页; 为了判定SHIF的ABox一致性,提出了一种Tableau算法。该算法先通过预处理将ABox转换成标准形式,然后按照特定的完整策略将一套Tableau规则应用于ABox,直到将它扩展成完整的ABox为止。ABox与TBox一致,当且仅当算法能产生一个无冲突的完整... 展开更多; 关键词描述逻辑SHIF abox一致性判定 TABLEAU算法阻塞机制正确性; 在线阅读下载PDF 职称材料

一种语义物联网本体的Abox摘要方法: 2; 作者曲琛刘宁李冠宇《计算机应用研究》 CSCD 北大核心 2015年第4期1104-1106,1118,共4页; 针对目前大多语义物联网本体的Abox体积过于庞大,不利于人们理解本体或利用本体进行推理等问题,利用等价关系,通过对等价实例的查找、映射、删除等操作,对本体Abox进行摘要,并设计、实现了其原型系统。对公共本体进行摘要测试,结果表明... 展开更多; 关键词语义物联网本体摘要 abox; 在线阅读下载PDF 职称材料

描述逻辑SHIQ的ABox一致性判定算法: 3; 作者彭立杨恒伏《计算机工程》 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算法阻塞机制可终止性合理性完备性; 在线阅读下载PDF 职称材料

描述逻辑SHIN的ABox一致性判定算法: 4; 作者彭立杨恒伏《计算机工程与应用》 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算法阻塞机制可终止性合理性完备性; 在线阅读下载PDF 职称材料

Tableau-based算法的改进与有限步终止定理: 5; 作者王国俊李璧镜《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第6期1-4,9,共5页; 对原有的tableau-based算法进行了简化和改进,提出了标准tableau-based算法,它在保证原有算法思想的基础上删除了每次变换后所产生的累赘部分,同时不再限制运算的顺序.基于这个新算法,证明了ALCN语言中Abox的相容性可通过标准tableau-ba... 展开更多; 关键词描述逻辑 abox tableau-based算法标准tableau-based算法有限步终止定理; 在线阅读下载PDF 职称材料

重组HMGB1-A盒蛋白对小鼠单核细胞的抗炎作用被引量：2: 6; 作者刘婷贺永文陈西柳《中国免疫学杂志》 CAS CSCD 北大核心 2010年第4期298-303,共6页; 目的:观察高迁移率蛋白B1-A盒蛋白(HMGB1-Abox)对小鼠单核细胞系在脂多糖(LPS)刺激下表达HMGB1的影响和动态变化以及对炎性因子分泌的抑制作用。方法:利用克隆载体构建PET28a-HMGB1-Abox原核质粒,转化大肠杆菌BL21(DE3),以异丙基-β-D-... 展开更多; 关键词 HMGB1-A盒蛋白原核构建蛋白纯化小鼠单核细胞系; 在线阅读下载PDF 职称材料

题名一种描述逻辑SHIF的ABox一致性判定算法被引量：2: 1; 作者彭立杨恒伏; 机构湖南第一师范学院信息科学与工程系; 出处《计算机应用研究》 CSCD 北大核心 2013年第2期423-428,共6页; 基金国家自然科学基金资助项目(61073191) 湖南第一师范学院校级课题项目(XYS10N09); 文摘为了判定SHIF的ABox一致性,提出了一种Tableau算法。该算法先通过预处理将ABox转换成标准形式,然后按照特定的完整策略将一套Tableau规则应用于ABox,直到将它扩展成完整的ABox为止。ABox与TBox一致,当且仅当算法能产生一个无冲突的完整的ABox。算法所采用的阻塞机制可以避免Tableau规则的无限次执行。为了提高算法的效率,该机制允许一个新个体被在其之前创建的任意新个体直接阻塞,而不仅仅局限于其祖先。通过对算法的可终止性、合理性和完备性进行证明,算法的正确性得以确认。; 关键词描述逻辑SHIF abox一致性判定 TABLEAU算法阻塞机制正确性; Keywords description logic SHIF abox consistency decision Tableau algorithm blocking mechanism correctness; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种语义物联网本体的Abox摘要方法: 2; 作者曲琛刘宁李冠宇; 机构大连海事大学信息科学技术学院; 出处《计算机应用研究》 CSCD 北大核心 2015年第4期1104-1106,1118,共4页; 基金国家自然科学基金资助项目(61371090); 文摘针对目前大多语义物联网本体的Abox体积过于庞大,不利于人们理解本体或利用本体进行推理等问题,利用等价关系,通过对等价实例的查找、映射、删除等操作,对本体Abox进行摘要,并设计、实现了其原型系统。对公共本体进行摘要测试,结果表明,该方法在保留本体原始语义的前提下,精减了Abox中的冗余断言,缩小了本体体积,降低了存储压力,方便了用户对本体的理解、重用等相关操作。; 关键词语义物联网本体摘要 abox; Keywords semantic Web of things ontology summarization abox; 分类号 TP391.1 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名描述逻辑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 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名描述逻辑SHIN的ABox一致性判定算法: 4; 作者彭立杨恒伏; 机构湖南第一师范学院信息科学与工程系; 出处《计算机工程与应用》 CSCD 2013年第20期55-62,共8页; 基金国家自然科学基金(No.61073191) 湖南第一师范学院校级课题(No.XYS10N09); 文摘为了判定描述逻辑SHIN的ABox一致性,提出了一种Tableau算法。给定TBox T、ABox A和角色层次H,该算法通过预处理将A转换成标准的ABox A′,按照特定的完整策略将一套Tableau规则应用于A′,直到将它扩展成完整的ABox A″为止。A与T和H一致,当且仅当算法能产生一个完整且无冲突的ABox A″。算法所采用的阻塞机制可以避免Tableau规则的无限次执行,该机制允许一个新个体被在其之前创建的任意新个体直接阻塞,而不仅仅局限于其祖先。通过对算法的可终止性、合理性和完备性进行证明,算法的正确性得以确认。; 关键词支持补集传递角色角色层次反向角色和数量约束的属性语言(SHIN) abox一致性判定 TABLEAU算法阻塞机制可终止性合理性完备性; Keywords attributive language with Complement, Transitive role, role Hierarchy, Inverse role, and Number restriction（SHIN） abox consistency decision Tableau algorithm blocking mechanism termination soundness completeness; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名Tableau-based算法的改进与有限步终止定理: 5; 作者王国俊李璧镜; 机构陕西师范大学数学与信息科学学院; 出处《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第6期1-4,9,共5页; 基金国家自然科学基金资助项目(10771129); 文摘对原有的tableau-based算法进行了简化和改进,提出了标准tableau-based算法,它在保证原有算法思想的基础上删除了每次变换后所产生的累赘部分,同时不再限制运算的顺序.基于这个新算法,证明了ALCN语言中Abox的相容性可通过标准tableau-based算法在有限步之内判定.; 关键词描述逻辑 abox tableau-based算法标准tableau-based算法有限步终止定理; Keywords description logic abox tableau-baesd algorithm standard tableau-based algorithm finite step halting theorem; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名重组HMGB1-A盒蛋白对小鼠单核细胞的抗炎作用被引量：2: 6; 作者刘婷贺永文陈西柳; 机构华中科技大学同济医学院附属协和医院感染科; 出处《中国免疫学杂志》 CAS CSCD 北大核心 2010年第4期298-303,共6页; 基金国家重点基础研究发展计划(973计划)项目(No.2007CB512900)资助; 文摘目的:观察高迁移率蛋白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盒蛋白原核构建蛋白纯化小鼠单核细胞系; Keywords Recombinant protein HMGB1-abox Prokaryotic expression vector construction Protein purification RAW264.7; 分类号 R392.11 [医药卫生—免疫学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一种描述逻辑SHIF的ABox一致性判定算法	彭立杨恒伏	《计算机应用研究》 CSCD 北大核心	2013	2	在线阅读下载PDF 职称材料
2	一种语义物联网本体的Abox摘要方法	曲琛刘宁李冠宇	《计算机应用研究》 CSCD 北大核心	2015	0	在线阅读下载PDF 职称材料
3	描述逻辑SHIQ的ABox一致性判定算法	彭立杨恒伏	《计算机工程》 CAS CSCD	2013	0	在线阅读下载PDF 职称材料
4	描述逻辑SHIN的ABox一致性判定算法	彭立杨恒伏	《计算机工程与应用》 CSCD	2013	0	在线阅读下载PDF 职称材料
5	Tableau-based算法的改进与有限步终止定理	王国俊李璧镜	《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料
6	重组HMGB1-A盒蛋白对小鼠单核细胞的抗炎作用	刘婷贺永文陈西柳	《中国免疫学杂志》 CAS CSCD 北大核心	2010	2	在线阅读下载PDF 职称材料