面向语义Web的Expressive格值描述逻辑

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

面向语义Web的Expressive格值描述逻辑

蒋运承, 谭红艳

文章导航 > 电子科技大学学报 > 2012 > 41(3): 322-335

蒋运承, 谭红艳. 面向语义Web的Expressive格值描述逻辑[J]. 电子科技大学学报, 2012, 41(3): 322-335. doi: 10.3969/j.issn.1001-0548.2012.03.001

引用本文:

蒋运承, 谭红艳. 面向语义Web的Expressive格值描述逻辑[J]. 电子科技大学学报, 2012, 41(3): 322-335. doi: 10.3969/j.issn.1001-0548.2012.03.001

JIANG Yun-cheng, TAN Hong-yan. Very Expressive Fuzzy Description Logics over Lattices for the Semantic Web (in English)[J]. Journal of University of Electronic Science and Technology of China, 2012, 41(3): 322-335. doi: 10.3969/j.issn.1001-0548.2012.03.001

Citation:

JIANG Yun-cheng, TAN Hong-yan. Very Expressive Fuzzy Description Logics over Lattices for the Semantic Web (in English)[J]. Journal of University of Electronic Science and Technology of China, 2012, 41(3): 322-335. doi: 10.3969/j.issn.1001-0548.2012.03.001

面向语义Web的Expressive格值描述逻辑

doi: 10.3969/j.issn.1001-0548.2012.03.001

蒋运承¹,
谭红艳²

1.
华南师范大学计算机学院广州 510631;
2.
中国科学院声学所北京海淀区 100190

基金项目:

国家自然科学基金(60663001);广东省自然科学基金(10151063101000031)

作者简介:
蒋运承(1974-),男,博士,教授,主要从事语义Web和本体工程的研究.

中图分类号: TP301

Very Expressive Fuzzy Description Logics over Lattices for the Semantic Web (in English)

JIANG Yun-cheng¹,
TAN Hong-yan²

1.
School of Computer Science,South China Normal University Guangzhou 510631;
2.
Institute of Acoustics,Chinese Academy of Sciences Haidian Beijing 100190

Funds:

Supported by the National Natural Science Foundation of China under Grant(60663001);the Natural Science Foundation of Guangdong Province of China under Grant(10151063101000031)

摘要: 提出了一种基于可信度格的Expressive模糊描述逻辑框架,对描述逻辑SROIQ(D)进行了模糊化扩充,建立了一种面向语义Web的基于格的模糊描述逻辑L-SROIQ(D),给出了L-SROIQ(D)的语法、语义和逻辑性质,以及建立了一个线序格下的将模糊描述逻辑L-SROIQ(D)转换为经典描述逻辑SROIQ(D)的推理算法,从而证明了线序格下L-SROIQ(D)的可满足性推理是可判定的。
- 图像存储 /
- 忆阻器 /
- 忆阻神经网络 /
- STDP
Abstract: In this paper we present a very expressive fuzzy description logic framework, L-SROIQ(D), based on certainty lattices, which is a fuzzy extension of the description logic SROIQ(D) (theoretical basis of the ontology language OWL 2). Some logical properties of L-SROIQ(D) are researched and the decidability of L-SROIQ(D) is proved in case of linearly ordered lattices.
- image storage /
- memristor /
- memristive neural network /
- STDP

[1]	刘益安, 马瑞辰, 李国, 于奇, 刘洋, 胡绍刚. 负阻态忆阻Hopfield神经网络动力学 . 电子科技大学学报, 2023, 52(1): 38-43. doi: 10.12178/1001-0548.2022294
[2]	党涛, 韩垒, 郭谨豪, 欧阳骏. 有源Non-Foster负阻匹配网络及其天线应用 . 电子科技大学学报, 2022, 51(6): 884-889. doi: 10.12178/1001-0548.2020307
[3]	范兴奎, 刘广哲, 王浩文, 马鸿洋, 李伟, 王淑梅. 基于量子卷积神经网络的图像识别新模型 . 电子科技大学学报, 2022, 51(5): 642-650. doi: 10.12178/1001-0548.2022279
[4]	赵学功, 邓佳坤, 魏浩然, 彭真明. 基于卷积神经网络的眼底图像微血管瘤检测方法 . 电子科技大学学报, 2021, 50(6): 915-920. doi: 10.12178/1001-0548.2021186
[5]	于永斌, 李镖, 唐倩. 一种新型三阶磁控忆阻器模型及其滤波器研究 . 电子科技大学学报, 2021, 50(3): 339-346. doi: 10.12178/1001-0548.2020384
[6]	乔晓华, 徐毅, 孙玉霞, 武花干. 忆阻超混沌Lü系统的隐藏动力学特性研究 . 电子科技大学学报, 2018, 47(3): 402-409. doi: 10.3969/j.issn.1001-0548.2018.03.013
[7]	杨凌, 苏婧, 黄麟, 蒲中柱. 一种磁控忆感模拟器的设计及其特性分析 . 电子科技大学学报, 2016, 45(5): 744-749. doi: 10.3969/j.issn.1001-0548.2016.05.006
[8]	王丽丹, 段美涛, 段书凯. 基于STDP规则的忆阻神经网络在图像存储中的应用 . 电子科技大学学报, 2013, 42(5): 642-647. doi: 10.3969/j.issn.1001-0548.2013.05.001
[9]	何朋飞, 王丽丹, 段书凯, 李传东. 忆容器的Simulink模型及其主要特性分析 . 电子科技大学学报, 2011, 40(5): 648-651. doi: 10.3969/j.issn.1001-0548.2011.05.002
[10]	胡小方, 段书凯, 王丽丹, 李传东. 脉冲控制忆阻模拟存储器 . 电子科技大学学报, 2011, 40(5): 642-647. doi: 10.3969/j.issn.1001-0548.2011.05.001
[11]	钱艺, 王沁, 吴巍, 刘金龙. 神经网络并行MIMD处理器的研究及实现 . 电子科技大学学报, 2008, 37(6): 904-907.
[12]	齐海涛, 郭维廉, 张世林. 普通台面工艺制作新型超薄基区负阻HBT . 电子科技大学学报, 2007, 36(1): 129-131,136.
[13]	刘贵松, 王晓彬. 采用自适应GHA神经网络的分类器设计 . 电子科技大学学报, 2007, 36(6): 1241-1244.
[14]	吴斌, 郭贤生. 基于粗集规则编码的神经网络控制器设计 . 电子科技大学学报, 2006, 35(5): 798-800,836.
[15]	杨健君, 李军建, 张有润, 王军, 林慧, 饶海波, 蒋泉, 成建波. 低阻ITO玻璃的制造工艺 . 电子科技大学学报, 2006, 35(2): 261-263.
[16]	陈波, 于泠. 基于小波神经网络的服务器预警系统 . 电子科技大学学报, 2005, 34(3): 343-346.
[17]	唐普英, 陈永倩, 黄顺吉. 一种基于Lagrange神经网络的多用户检测器 . 电子科技大学学报, 2001, 30(1): 9-12.
[18]	唐普英, 杨春华, 黄顺吉. 一种基于优化神经网络的最佳多用户检测器 . 电子科技大学学报, 1999, 28(2): 116-119.
[19]	孟相如, 虞厥邦. 电流模式神经网络分类器的CMOS实现技术 . 电子科技大学学报, 1997, 26(5): 453-456.
[20]	汪天富, 郑昌琼, 李德玉. 基于神经网络的超声医学图像自动分割 . 电子科技大学学报, 1997, 26(4): 366-368.

WeChat

点击查看大图

计量

文章访问数: 3376
HTML全文浏览量: 141
PDF下载量: 33
被引次数: 0

面向语义Web的Expressive格值描述逻辑

doi: 10.3969/j.issn.1001-0548.2012.03.001

蒋运承¹,
谭红艳²

1. 华南师范大学计算机学院广州 510631;

2. 中国科学院声学所北京海淀区 100190

基金项目:

国家自然科学基金(60663001);广东省自然科学基金(10151063101000031)

作者简介:
蒋运承(1974-),男,博士,教授,主要从事语义Web和本体工程的研究.

收稿日期: 2013-01-14
刊出日期: 2012-06-15

中图分类号: TP301

关键词:

摘要: 提出了一种基于可信度格的Expressive模糊描述逻辑框架,对描述逻辑SROIQ(D)进行了模糊化扩充,建立了一种面向语义Web的基于格的模糊描述逻辑L-SROIQ(D),给出了L-SROIQ(D)的语法、语义和逻辑性质,以及建立了一个线序格下的将模糊描述逻辑L-SROIQ(D)转换为经典描述逻辑SROIQ(D)的推理算法,从而证明了线序格下L-SROIQ(D)的可满足性推理是可判定的。

English Abstract

蒋运承, 谭红艳. 面向语义Web的Expressive格值描述逻辑[J]. 电子科技大学学报, 2012, 41(3): 322-335. doi: 10.3969/j.issn.1001-0548.2012.03.001

引用本文:

蒋运承, 谭红艳. 面向语义Web的Expressive格值描述逻辑[J]. 电子科技大学学报, 2012, 41(3): 322-335. doi: 10.3969/j.issn.1001-0548.2012.03.001

JIANG Yun-cheng, TAN Hong-yan. Very Expressive Fuzzy Description Logics over Lattices for the Semantic Web (in English)[J]. Journal of University of Electronic Science and Technology of China, 2012, 41(3): 322-335. doi: 10.3969/j.issn.1001-0548.2012.03.001

Citation:

JIANG Yun-cheng, TAN Hong-yan. Very Expressive Fuzzy Description Logics over Lattices for the Semantic Web (in English)[J]. Journal of University of Electronic Science and Technology of China, 2012, 41(3): 322-335. doi: 10.3969/j.issn.1001-0548.2012.03.001

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发