计算机应用 ›› 2014, Vol. 34 ›› Issue (4): 1139-1143.DOI: 10.11772/j.issn.1001-9081.2014.04.1139
收稿日期:
2013-10-28
修回日期:
2013-12-27
出版日期:
2014-04-01
发布日期:
2014-04-29
通讯作者:
王静
作者简介:
基金资助:
国家自然科学基金委员会与中国民用航空总局联合基金项目;中国民航大学重大预研项目;中国民航大学科研启动基金项目
WANG Jing,WANG Hong,LI Jian,FAN Hongjie
Received:
2013-10-28
Revised:
2013-12-27
Online:
2014-04-01
Published:
2014-04-29
Contact:
WANG Jing
摘要:
为了利用描述逻辑的推理规则分析并解决简单矛盾问题,引入了可拓集合作为描述逻辑SHOQ的集合论基础,提出了一种新的描述逻辑D-SHOQES,定义了可拓概念和可拓关系的截集形式作为原子概念和原子关系,引入了动作理论以获取概念和关系的质变域和量变域,并给出了D-SHOQES中概念、关系、动作等的语义解释以及Tableau-算法推理规则,研究了矛盾问题的一般求解方法,从而为矛盾问题的求解提供了策略。
中图分类号:
王静 王红 李剪 樊红杰. 面向矛盾问题的描述逻辑SHOQ扩展[J]. 计算机应用, 2014, 34(4): 1139-1143.
WANG Jing WANG Hong LI Jian FAN Hongjie. Extension of contradiction problem-oriented description logic SHOQ[J]. Journal of Computer Applications, 2014, 34(4): 1139-1143.
[1]BAADER F. The description logic handbook: theory, implementation and applications [M]. Cambridge: Cambridge University Press, 2003:5-99. |
[1] | 刘晓龙, 王士同. 渐进式分离的开放集模糊域自适应算法[J]. 《计算机应用》唯一官方网站, 2021, 41(11): 3127-3131. |
[2] | 朱槐雨, 李博. 单阶段多框检测器无人机航拍目标识别方法[J]. 《计算机应用》唯一官方网站, 2021, 41(11): 3234-3241. |
[3] | 杜航原 郝思聪 王文剑. 结合图自编码器与聚类的半监督表示学习方法[J]. 计算机应用, 0, (): 0-0. |
[4] | 陈露 张晓霞 于洪. 基于先验知识的非负矩阵半可解释三因子分解算法[J]. 计算机应用, 0, (): 0-0. |
[5] | 韩舒宁 徐敏 董学士 林青 沈凡凡. 混合伊藤算法求解多尺度着色旅行商问题[J]. 计算机应用, 0, (): 0-0. |
[6] | 李晓杰 崔超然 宋广乐 苏雅茜 吴天泽 张春云. 基于时序超图卷积神经网络的股票趋势预测方法[J]. 计算机应用, 0, (): 0-0. |
[7] | 张建 严珂 马祥. 基于神经网络的复杂垃圾信息过滤算法分析[J]. 计算机应用, 0, (): 0-0. |
[8] | 邱云志 汪廷华 戴小路. 双重特征加权模糊支持向量机[J]. 计算机应用, 0, (): 0-0. |
[9] | 李宗正 周恺卿 丁雷 欧云. 基于基因交换的自适应人工鱼群算法[J]. 计算机应用, 0, (): 0-0. |
[10] | 刘清华 廖士中. 基于随机素描方法的在线核回归[J]. 计算机应用, 0, (): 0-0. |
[11] | 张小清 王晨曦 吕彦 林耀进. 基于ReliefF的层次分类在线流特征选择算法[J]. 计算机应用, 0, (): 0-0. |
[12] | 于婉莹 梁美玉 王笑笑 陈徵 曹晓雯. 基于深度注意力网络的课堂教学视频中学生表情识别与智能教学评估[J]. 计算机应用, 0, (): 0-0. |
[13] | 黄勇康 梁美玉 王笑笑 陈徵 曹晓雯. 基于深度时空残差卷积神经网络的课堂教学视频中多人课堂行为识别[J]. 计算机应用, 0, (): 0-0. |
[14] | 康猛 蒙祖强. 基于局部条件区分能力的高效属性约简算法[J]. 计算机应用, 0, (): 0-0. |
[15] | 谢鑫 张贤勇 王旋晔 唐鹏飞. 变精度邻域等价粒邻域决策树构造算法[J]. 计算机应用, 0, (): 0-0. |
阅读次数 | ||||||
全文 |
|
|||||
摘要 |
|
|||||