首页> 中文期刊> 《中国科技论文》 >基于极性的非循环术语集调试

基于极性的非循环术语集调试

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

通过定义公理中概念的极性和极性冲突，用极性冲突模拟非循环ALC术语集中的语义冲突。在计算极小不可满足保持子集的计算过程中，利用极性冲突作为启发信息，选择更可能导致冲突的公理集合进行有效扩张和收缩。经过评测，在一般情况下，加入极性冲突信息的极小不可满足保持子集求解策略有较高的效率。

著录项

来源
《中国科技论文》 |2014年第1期|P.76-80|共5页
作者
雷景佩; 欧阳丹彤; 叶育鑫;
展开▼
作者单位

吉林大学计算机科学与技术学院,长春130012;

展开▼
原文格式 PDF
正文语种 CHI
中图分类自动推理、机器学习;
关键词
本体; 术语集; 不一致; 极性;

相似文献

中文文献
外文文献
专利

1. 基于极性的非循环术语集调试 [J] . 雷景佩 ,欧阳丹彤 ,叶育鑫 . 中国科技论文 . 2014,第001期
2. 基于OBDD的描述逻辑εL循环术语集推理 [J] . 古天龙 ,吕思菁 ,常亮 . 软件学报 . 2014,第001期
3. 构建基于MedDRA术语的中医临床试验编码术语集初探 [J] . 李庆娜 ,陆芳 ,赵阳 . 中国药物警戒 . 2015,第001期
4. 描述逻辑FL0循环术语集的保守扩充 [J] . 聂登国1 ,王勇红2 . 贵州工程应用技术学院学报 . 2019,第003期
5. 描述逻辑εL循环术语集的保守扩充 [J] . 王勇红 ,申宇铭 ,聂登国 . 计算机科学 . 2017,第0z2期
6. 基于多策略模糊综合评判的术语关系识别研究5——以自然灾害风险术语测试集为例 [C] . 李辉 ,李荣 ,张婧 . 北京科学技术情报学会2016年学术年会 . 2016
7. 基于OBDD的描述逻辑循环术语集推理算法研究 [A] . 吕思菁 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号