• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
高级检索

面向异构语义映射的D3L转换算法及其性质研究

赵晓非, 史忠植, 冯志勇

赵晓非, 史忠植, 冯志勇. 面向异构语义映射的D3L转换算法及其性质研究[J]. 计算机研究与发展, 2018, 55(12): 2715-2724. DOI: 10.7544/issn1000-1239.2018.20170766
引用本文: 赵晓非, 史忠植, 冯志勇. 面向异构语义映射的D3L转换算法及其性质研究[J]. 计算机研究与发展, 2018, 55(12): 2715-2724. DOI: 10.7544/issn1000-1239.2018.20170766
Zhao Xiaofei, Shi Zhongzhi, Feng Zhiyong. Transformation Algorithm and Its Properties for D3L with Heterogeneous Semantic Mapping[J]. Journal of Computer Research and Development, 2018, 55(12): 2715-2724. DOI: 10.7544/issn1000-1239.2018.20170766
Citation: Zhao Xiaofei, Shi Zhongzhi, Feng Zhiyong. Transformation Algorithm and Its Properties for D3L with Heterogeneous Semantic Mapping[J]. Journal of Computer Research and Development, 2018, 55(12): 2715-2724. DOI: 10.7544/issn1000-1239.2018.20170766

面向异构语义映射的D3L转换算法及其性质研究

基金项目: 国家“九七三”重点基础研究发展计划基金项目(2013CB329502);国家自然科学基金项目(61035003);江苏省计算机信息处理技术重点实验室开放基金项目(KJS1737);中国博士后科学基金项目(2018M631740)
详细信息
  • 中图分类号: TP18

Transformation Algorithm and Its Properties for D3L with Heterogeneous Semantic Mapping

  • 摘要: 桥规则为分布式动态描述逻辑(distributed dynamic description logics, D3L)提供了描述语义映射和知识传播的重要机制.现有的研究仅针对包含原子元素的同构桥规则.将研究扩展到了被包含端存在复合元素的异构桥规则的D3L推理问题.定义了分布式知识库的正则性.通过对桥规则进行形式变换并针对不同情形转换为已有的语言机制,提出了将动态描述逻辑DSROIQ作为局部本体语言的D3L知识库转换为单一DSROIQ知识库的算法,接着研究了该转换的性质,证明了该算法可以在多项式时间内终止、算法的目标知识库与原始知识库在可满足性上是等价的,进而证明了在上述桥规则存在的情况下正则D3L知识库的集中式推理具有与单一DSROIQ知识库推理相同的最坏时间复杂度.该算法使得D3L推理可以获得与现有的分布式推理方法相同的最坏时间复杂度并且解决了后者难以处理异构复合桥规则的问题.
    Abstract: Bridge rules provide an important mechanism describing semantic mapping and propagating knowledge for D3L (distributed dynamic description logics). The current research focuses on the homogeneous bridge rules which only contain atomic elements. In this paper, the research is extended to the D3L reasoning problem with the heterogeneous bridge rules which contain composite elements in the contained end. The regularity of distributed knowledge base is defined. Through the alternation of the bridge rules and transforming different forms into existing language mechanism, we present a algorithm which can convert the D3L knowledge base with dynamic description logic DSROIQ as local ontology language into a single DSROIQ knowledge base. Then we study the properties of the algorithm. We prove that the algorithm will terminate in polynomial time and the satisfiability of the target knowledge base is equivalent to the satisfiability of the original knowledge base. Thus, we prove that the worst-case time complexity of the centralized reasoning on regular D3L knowledge base with such bridge rules is the same as that on single DSROIQ knowledge base. The method proposed in this paper makes the reasoning for D3L to obtain the same worst-case time complexity as the existing distributed reasoning methods and solves the problem that the latter can not handle heterogeneous composite bridge rules.
  • 期刊类型引用(41)

    1. 姚健,刘郅政,季曦冉,付久强. 包容性导向下的智能家居设计研究现状与展望. 包装工程. 2024(06): 1-13+509 . 百度学术
    2. 龙华,金泰熙. 智能家居在高校实训项目设计中的思考. 教育教学论坛. 2024(49): 38-41 . 百度学术
    3. 盖森,鲁艺,张印帅,周乐甲,王晓烨. 面向智能家居系统的主动交互设计研究. 计算机辅助设计与图形学学报. 2023(02): 230-237 . 百度学术
    4. 陆玲霞,郑荣濠,楼东武,于淼. 嵌入式智慧小屋开放式创新实验平台设计. 现代信息科技. 2023(07): 161-164 . 百度学术
    5. 顾鑫,鲁曦,罗自立,徐术坤,李志勇,王晓晨. 标准框架下智能家居信息安全风险评估方法研究. 中国标准化. 2023(13): 84-88 . 百度学术
    6. 孙健,郭长城. 基于STM32技术的自动晒衣系统. 机械工程师. 2023(08): 110-112 . 百度学术
    7. 李广军,武瑞杰,李文强. 基于Smith预估的恒压供水系统模糊免疫PID控制研究. 江苏理工学院学报. 2023(04): 1-8 . 百度学术
    8. 倪春晖,杨俊伟. 基于STM32的智能窗帘设计. 现代信息科技. 2023(22): 156-160 . 百度学术
    9. 文君,许佳兰,周紫彤,阎红. 人工智能养老背景下老年人健康权保障中的问题及其对策研究. 医学与法学. 2023(06): 62-67 . 百度学术
    10. 张利华,张赣哲,曹宇,刘季,陈世宏. 基于区块链的智能家居认证与访问控制方案. 计算机应用研究. 2022(03): 863-867+873 . 百度学术
    11. 汪丽,胡翼合. 微视频技术在中职智能家居课程教学的实践应用. 新教育. 2022(11): 105-107 . 百度学术
    12. 李敏,陈小桥,宋凤莲,周文科,张蕊佳. 基于曲线槽的间歇传动机构设计及研究. 武汉大学学报(工学版). 2022(06): 640-646 . 百度学术
    13. 邵丹. 智能门锁的身份认证与访问控制. 科技资讯. 2022(14): 28-30 . 百度学术
    14. 龚江涛,初梦迪,李金,郭凯敏,宗柯宇,舒心,周谷越,聂再清. 智能家居场景下的非接触式生理感知计算. 包装工程. 2022(16): 10-26 . 百度学术
    15. 刘奇旭,靳泽,陈灿华,高新博,郑宁军,方仪伟,冯云. 物联网访问控制安全性综述. 计算机研究与发展. 2022(10): 2190-2211 . 本站查看
    16. 丁月月,龙光利. 基于LoRa通信的机房环境检测与控制系统的设计. 物联网技术. 2022(10): 28-29 . 百度学术
    17. 周犇,黄新栋,周景恒,史雷萌,吕鑫,叶圣哲. 采用ZigBee 3.0技术的智能网关安全入网方法. 厦门理工学院学报. 2022(05): 22-27 . 百度学术
    18. 陈佳圣,王亮亮. 智能家居通信安全研究与展望. 上海电力大学学报. 2021(01): 67-72 . 百度学术
    19. 王莹莹,王洪斌,王咏梅. 一种智能家庭网关及数据转发方法设计. 信息技术. 2021(01): 41-47 . 百度学术
    20. 张津瑜. 智能家居控制系统设计和应用. 自动化技术与应用. 2021(03): 141-143+165 . 百度学术
    21. 林珊珊,姜正涛,李辉强. 物联网环境下的智能家居安全与隐私问题分析. 保密科学技术. 2021(02): 40-45 . 百度学术
    22. 杨毅宇,周威,赵尚儒,刘聪,张宇辉,王鹤,王文杰,张玉清. 物联网安全研究综述:威胁、检测与防御. 通信学报. 2021(08): 188-205 . 百度学术
    23. 龙家豪,叶曦,钱同惠. 基于智能集成控制理论的智慧办公系统设计. 江汉大学学报(自然科学版). 2021(05): 88-96 . 百度学术
    24. 王昱兴,袁博. 从大数据杀熟到隐私泄露:软硬件视角下隐私问题的伦理分析与思考. 科学·经济·社会. 2021(03): 72-81 . 百度学术
    25. 王海珍,廉佐政,谷文成,崔志青. 基于ZigBee的智能家居系统安全通信研究. 电子测量技术. 2021(18): 78-84 . 百度学术
    26. 薛辉. 基于语音识别的智能家居控制系统的研究与设计. 微型电脑应用. 2020(02): 149-151 . 百度学术
    27. 汪丽. 中职教育《智能家居》课程信息化教学设计探索——以“智能照明系统”实训模块为例. 电子制作. 2020(Z2): 68-69+60 . 百度学术
    28. 曾真. 智能家居消费者的个人信息保护. 贵州警察学院学报. 2020(01): 63-72 . 百度学术
    29. 邢星,罗建岩,贾志淳,于占东,于震,付莹. 智能真空热处理炉远程监控系统设计与实现. 计算机技术与发展. 2020(06): 151-155 . 百度学术
    30. 李兵,蒋燕,韩玉琪,刘汉江. 智能家居设备监测管理体系研究. 信息通信. 2020(06): 114-118 . 百度学术
    31. 张金霜,梁树杰,左敬龙. 基于GWO-SVM算法的物联网入侵检测研究. 信息技术与网络安全. 2020(10): 44-48 . 百度学术
    32. 徐冬冬,王晓明. 基于N-Gram算法的智能家居设备固件安全检测方案. 电信工程技术与标准化. 2020(12): 60-63 . 百度学术
    33. 郭瑶. 浅析中国智能家居发展现状及存在问题. 现代营销(经营版). 2019(03): 95 . 百度学术
    34. 刘霄,霍伟亮. 某样板展示房智能家居系统功能浅析. 智能建筑电气技术. 2019(01): 12-17 . 百度学术
    35. 王莹莹,秦晓燕. 一种智能家庭网关的设计. 信息通信. 2019(09): 70-72 . 百度学术
    36. 郑昕怡. 江苏地区421家庭智能家居产品调研与消费者评价因子分析. 设计. 2019(17): 116-118 . 百度学术
    37. 魏晓超,徐琳,郑志华,王皓. 适用于智能环境的高效安全云辅助模式匹配协议. 计算机研究与发展. 2019(11): 2365-2374 . 本站查看
    38. 孟岩,李少锋,张亦弛,朱浩瑾,张新鹏. 面向智能家居平台的信息物理融合系统安全. 计算机研究与发展. 2019(11): 2349-2364 . 本站查看
    39. 刘超,徐志方,马成东,王淼,沈顺厚. 从专利布局现状分析国内外智能家居企业竞争策略. 电视技术. 2019(07): 73-80 . 百度学术
    40. 付凯,李莉,杨子羿,张洋. 智能家居安全风险与防护研究. 电子产品世界. 2019(05): 72-75+84 . 百度学术
    41. 富倩,王旭. 智能家居的安全问题. 信息与电脑(理论版). 2018(24): 50-51 . 百度学术

    其他类型引用(52)

计量
  • 文章访问数:  777
  • HTML全文浏览量:  0
  • PDF下载量:  343
  • 被引次数: 93
出版历程
  • 发布日期:  2018-11-30

目录

    /

    返回文章
    返回