登录 | 注册 | 充值 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
面向异构语义映射的D3L转换算法及其性质研究
  • 摘要

    桥规则为分布式动态描述逻辑(distributed dynamic description logics,D3L)提供了描述语义映射和知识传播的重要机制.现有的研究仅针对包含原子元素的同构桥规则.将研究扩展到了被包含端存在复合元素的异构桥规则的D3L推理问题.定义了分布式知识库的正则性.通过对桥规则进行形式变换并针对不同情形转换为已有的语言机制,提出了将动态描述逻辑DSROIQ作为局部本体语言的D3L知识库转换为单一DSROIQ知识库的算法,接着研究了该转换的性质,证明了该算法可以在多项式时间内终止、算法的目标知识库与原始知识库在可满足性上是等价的,进而证明了在上述桥规则存在的情况下正则D3L知识库的集中式推理具有与单一DSROIQ知识库推理相同的最坏时间复杂度.该算法使得D3L推理可以获得与现有的分布式推理方法相同的最坏时间复杂度并且解决了后者难以处理异构复合桥规则的问题.

  • 作者

    赵晓非  史忠植  冯志勇  Zhao Xiaofei  Shi Zhongzhi  Feng Zhiyong 

  • 作者单位

    天津工业大学计算机科学与软件学院 天津300387;中国科学院计算技术研究所智能信息处理重点实验室 北京 100190;天津大学计算机科学与技术学院 天津300072/中国科学院计算技术研究所智能信息处理重点实验室 北京 100190/天津大学计算机科学与技术学院 天津300072

  • 刊期

    2018年12期 ISTIC EI PKU

  • 关键词

    分布式动态描述逻辑  异构桥规则  正则性  集中式推理  计算复杂度 

相似文献 查看更多>>
3.231.228.109