| 面向语义Web的Expressive格值描述逻辑 |
| |
| 引用本文： | 蒋运承,谭红艳.面向语义Web的Expressive格值描述逻辑[J].电子科技大学学报（自然科学版）,2012,41(3):322-335. |
| |
| 作者姓名： | 蒋运承 谭红艳 |
| |
| 作者单位： | 1.华南师范大学计算机学院 广州 510631; |
| |
| 基金项目： | 国家自然科学基金(60663001);广东省自然科学基金(10151063101000031) |
| |
| 摘 要： | 提出了一种基于可信度格的Expressive模糊描述逻辑框架,对描述逻辑SROIQ(D)进行了模糊化扩充,建立了一种面向语义Web的基于格的模糊描述逻辑L-SROIQ(D),给出了L-SROIQ(D)的语法、语义和逻辑性质,以及建立了一个线序格下的将模糊描述逻辑L-SROIQ(D)转换为经典描述逻辑SROIQ(D)的推理算法,从而证明了线序格下L-SROIQ(D)的可满足性推理是可判定的。
|
| 关 键 词： | 图像存储 忆阻器 忆阻神经网络 STDP |
| 收稿时间： | 2013-01-14 |
|
| 点击此处可从《电子科技大学学报（自然科学版）》浏览原始摘要信息 |
|
点击此处可从《电子科技大学学报（自然科学版）》下载全文 |
|
