期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于进化分布式本体的语义Web服务动态发现 被引量：14
1
作者 马应龙 金蓓弘 冯玉琳 《计算机学报》 EI CSCD 北大核心 2005年第4期603-614,共12页
在语义Web服务中, 确认分布式本体变动、维护其一致性并实现基于进化的分布式本体的 Web服务语义查询成为了一个重要挑战.该文使用SHOQ(D)的分布式描述逻辑扩展 (DDL) 描述相互关联的异构分布式本体,提出了优先分布式知识库(PDK)的概念... 在语义Web服务中, 确认分布式本体变动、维护其一致性并实现基于进化的分布式本体的 Web服务语义查询成为了一个重要挑战.该文使用SHOQ(D)的分布式描述逻辑扩展 (DDL) 描述相互关联的异构分布式本体,提出了优先分布式知识库(PDK)的概念,探讨了 PDK方法的一些重要属性.PDK用来描述分布式本体的进化和更新, 它适用于语义Web服务环境.基于PDK, 文中还给出了相应的语义查询方法,Web服务的语义查询可以归结为检测同这个查询对应的概念在最优先PDK中的p -可满足性. 展开更多
关键词 语义WEB服务 描述逻辑 分布式描述逻辑 服务发现 本体
下载PDF
面向安防领域的模块化本体重用算法研究 被引量：1
2
作者 张海燕 连彬 +2 位作者 韩钰 鲍泰梁 赵继军 《计算机应用与软件》 北大核心 2024年第3期9-15,80,共8页
针对独立本体在安防领域中存在的本体复杂度高与本体重用效率低的问题,提出一种模块化本体重用算法。为确定子模块间概念的上下位关系,应用分布式描述逻辑(Distributed Description Logic,DDL)语言构建安防领域模块化本体。在此基础上,... 针对独立本体在安防领域中存在的本体复杂度高与本体重用效率低的问题,提出一种模块化本体重用算法。为确定子模块间概念的上下位关系,应用分布式描述逻辑(Distributed Description Logic,DDL)语言构建安防领域模块化本体。在此基础上,使用基于保守扩充理论的模块化本体重用算法,实现模块化本体的模块抽取和重用。在已构建的本体库中对该算法进行评估,提高了重用本体所占被重用目标本体的比重,减少了本体重用模块抽取时间。实验结果表明,该算法可以减轻被重用目标本体复杂度,有效实现模块化本体的重用。 展开更多
关键词 安防领域 模块化本体 本体重用 保守扩充理论 分布式描述逻辑 模块抽取
下载PDF
基于推理的本体映射抽取算法及修正 被引量：1
3
作者 张庆军 徐德智 陈建二 《计算机科学》 CSCD 北大核心 2009年第5期229-233,共5页
针对使用多策略进行本体映射时,其输出的相似度矩阵中往往含有错误的映射对的问题,基于分布式描述逻辑提出了一种Sufferage抽取算法。该算法融入推理技术对候选映射进行抽取,并对抽取结果做进一步修正,从而正确有效地提高了抽取质量。... 针对使用多策略进行本体映射时,其输出的相似度矩阵中往往含有错误的映射对的问题,基于分布式描述逻辑提出了一种Sufferage抽取算法。该算法融入推理技术对候选映射进行抽取,并对抽取结果做进一步修正,从而正确有效地提高了抽取质量。通过和已有的算法进行实验比较,表明该方案能够明显提高查准率,获得更准确的映射结果。 展开更多
关键词 本体映射 分布式描述逻辑 Sufferage 推理
下载PDF
XBRL分类标准的本体构建和集成
4
作者 陈婷婷 《重庆科技学院学报（自然科学版）》 CAS 2020年第2期58-62,96,共6页
可扩展标记语言(XBRL)中没有提供可用于分类标准集成的形式化语义,这给数据的集成分析带来了困难。针对这一问题,提出XBRL分类标准中元数据的形式化方法以及本体的构建与集成方案。将XBRL分类标准的元数据转换成RDF格式的数据模型,利用... 可扩展标记语言(XBRL)中没有提供可用于分类标准集成的形式化语义,这给数据的集成分析带来了困难。针对这一问题,提出XBRL分类标准中元数据的形式化方法以及本体的构建与集成方案。将XBRL分类标准的元数据转换成RDF格式的数据模型,利用OWL本体语言构建XBRL分类标准的本体;利用分布式描述逻辑(DDL)和ε-connections语言对不同分类标准的本体进行集成,DDL和ε-connections的互补性特征有助于实现不同分类标准下各类元素的映射集成。 展开更多
关键词 XBRL 分类标准 本体 分布式描述逻辑 ε-connections语言
下载PDF
一种分布式动态描述逻辑 被引量：16
5
作者 蒋运承 史忠植 +1 位作者 汤庸 王驹 《计算机研究与发展》 EI CSCD 北大核心 2006年第9期1603-1608,共6页
分析了目前描述逻辑(DL)的研究现状和存在的问题,特别是动态描述逻辑(DDL)作为语义Web逻辑基础所存在的问题.针对语义Web的特点和需求,对DDL进行了扩充,提出了一种新的描述逻辑,即分布式动态描述逻辑(D3L),给出了D3L的语法和语义,并研究... 分析了目前描述逻辑(DL)的研究现状和存在的问题,特别是动态描述逻辑(DDL)作为语义Web逻辑基础所存在的问题.针对语义Web的特点和需求,对DDL进行了扩充,提出了一种新的描述逻辑,即分布式动态描述逻辑(D3L),给出了D3L的语法和语义,并研究了D3L的推理机制,提出了两种推理方法:直接推理和转化推理.与动态描述逻辑DDL相比,该D3L可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足. 展开更多
关键词 描述逻辑 动态描述逻辑 分布式动态描述逻辑 语义WEB
下载PDF
动态描述逻辑推理的并行计算技术 被引量：3
6
作者 王竹晓 胡宏 +1 位作者 陈立民 史忠植 《计算机研究与发展》 EI CSCD 北大核心 2011年第12期2317-2325,共9页
在设计用于处理大规模本体和数据的推理引擎时,推理引擎的可扩展性是一个需要研究的重要问题.动态描述逻辑要在真实环境中获得成功应用,需要在推理中采用并行计算技术.提出了两种方法将并行计算技术应用于动态描述逻辑推理.方法1是设计... 在设计用于处理大规模本体和数据的推理引擎时,推理引擎的可扩展性是一个需要研究的重要问题.动态描述逻辑要在真实环境中获得成功应用,需要在推理中采用并行计算技术.提出了两种方法将并行计算技术应用于动态描述逻辑推理.方法1是设计分布式动态描述逻辑框架.分布式动态描述逻辑由若干独立的动态描述逻辑所组成,这些动态描述逻辑两两之间通过桥规则联系起来.提出了基于Tableau的分布式推理算法,从而为分布式动态描述逻辑提供了全局推理能力,并且该算法可以将大的推理任务分解为若干子任务,而这些子任务可以被不同的推理主体并行处理.方法2是并行化动态描述逻辑的Tableau算法的不确定分支.不确定分支的并行计算使得推理任务可以在若干独立机器上同时执行.最后,介绍了推理引擎的原型实现并评估了其性能.实验结果表明提出的两种方法取得了明显的推理加速效果. 展开更多
关键词 并行推理 动态描述逻辑 分布式动态描述逻辑 表算法 推理引擎
下载PDF
D3L(ccy)的属性及分布式Tableaux推理算法的研究 被引量：1
7
作者 赵晓非 田东平 +1 位作者 张文波 史忠植 《计算机研究与发展》 EI CSCD 北大核心 2014年第3期570-579,共10页
分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式... 分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式正确传播.借鉴了基于包的描述逻辑(P-DL)的思想,引入了组合一致性语义对D3L进行了扩展从而很好地解决了上述问题.系统地研究了扩展得到的描述逻辑D3L(ccy)的属性及分布式推理理论.证明了该描述逻辑的单调性(D3L(ccy)是一种单调逻辑)、有向性(桥规则的影响具有方向性)及冲突局部性(局部本体的冲突不会传播到整个分布式系统);通过对原有Tableaux推理算法的扩展,为D3L(ccy)提出了分布式Tableaux推理算法并研究了算法的性质,证明了该算法是可终止的、可靠的和完备的.与传统的D3L相比,扩展后的D3L可以为信息集成系统、语义Web等分布式、动态的系统提供更为合理的逻辑基础. 展开更多
关键词 分布式动态描述逻辑 知识传播 组合一致性 分布式推理 Tableaux推理算法 DISTRIBUTED DYNAMIC DESCRIPTION LOGICS (D3L)
下载PDF
面向异构语义映射的D3L转换算法及其性质研究 被引量：1
8
作者 赵晓非 史忠植 冯志勇 《计算机研究与发展》 EI CSCD 北大核心 2018年第12期2715-2724,共10页
桥规则为分布式动态描述逻辑(distributed dynamic description logics,D3L)提供了描述语义映射和知识传播的重要机制.现有的研究仅针对包含原子元素的同构桥规则.将研究扩展到了被包含端存在复合元素的异构桥规则的D3L推理问题.定义了... 桥规则为分布式动态描述逻辑(distributed dynamic description logics,D3L)提供了描述语义映射和知识传播的重要机制.现有的研究仅针对包含原子元素的同构桥规则.将研究扩展到了被包含端存在复合元素的异构桥规则的D3L推理问题.定义了分布式知识库的正则性.通过对桥规则进行形式变换并针对不同情形转换为已有的语言机制,提出了将动态描述逻辑DSROIQ作为局部本体语言的D3L知识库转换为单一DSROIQ知识库的算法,接着研究了该转换的性质,证明了该算法可以在多项式时间内终止、算法的目标知识库与原始知识库在可满足性上是等价的,进而证明了在上述桥规则存在的情况下正则D3L知识库的集中式推理具有与单一DSROIQ知识库推理相同的最坏时间复杂度.该算法使得D3L推理可以获得与现有的分布式推理方法相同的最坏时间复杂度并且解决了后者难以处理异构复合桥规则的问题. 展开更多
关键词 分布式动态描述逻辑 异构桥规则 正则性 集中式推理 计算复杂度
下载PDF
支持链式桥规则的分布式动态描述逻辑
9
作者 张建华 史忠植 +3 位作者 岳金朋 齐保元 蒋运承 王晓峰 《高技术通讯》 CAS CSCD 北大核心 2014年第5期452-457,共6页
研究了链式桥规则在分布式动态描述逻辑(D3L)中的应用,旨在使得现有的分布式动态描述逻辑可以在多个系统中进行推理和发挥其在信息集成中的重要作用。在动态描述逻辑(DDL)推理和D3L推理的基础上,提出了支持链式桥规则的分布式动态描述逻... 研究了链式桥规则在分布式动态描述逻辑(D3L)中的应用,旨在使得现有的分布式动态描述逻辑可以在多个系统中进行推理和发挥其在信息集成中的重要作用。在动态描述逻辑(DDL)推理和D3L推理的基础上,提出了支持链式桥规则的分布式动态描述逻辑(CD3L)推理算法。该算法首先判断能否在一个DDL系统内部进行推理,然后再判断能否在两个D3L系统间进行推理,最后通过CD3L在多个D3L系统中进行推理。与D3L相比,新提出的CD3L弥补了传统桥规则描述逻辑系统的不足,为信息系统集成和语义网提供了更为合理的逻辑基础。 展开更多
关键词 描述逻辑(DL) 动态描述逻辑(DDL) 分布式动态描述逻辑(D3L) 桥规则 链式桥规则
下载PDF
链式桥规则导致的D3L知识传播及推理 被引量：1
10
作者 赵晓非 田东平 +1 位作者 史颖欢 史忠植 《计算机学报》 EI CSCD 北大核心 2014年第12期2419-2426,共8页
作为分布式、模块化本体的逻辑基础,分布式动态描述逻辑(D3L)使得通过有向语义映射连接的多个动态描述逻辑本体之上的推理成为可能.文中针对复合桥规则的知识传播进行了研究.作者发现当桥规则构成合取链的情况下,D3L的原始语义不能保证... 作为分布式、模块化本体的逻辑基础,分布式动态描述逻辑(D3L)使得通过有向语义映射连接的多个动态描述逻辑本体之上的推理成为可能.文中针对复合桥规则的知识传播进行了研究.作者发现当桥规则构成合取链的情况下,D3L的原始语义不能保证本体元素的局部语义关系正确传播到目标本体.通过引入合取映射桥规则,作者对D3L进行了扩展.由于对合取映射对应的目标元素属性进行了约束,新的桥规则可以支持局部语义关系在分布式本体间的正确传播,并且不改变D3L的原始属性.最后提出了合取映射桥规则到传统桥规则的转换语义,并证明了基于该语义的Tableaux推理算法的正确性.扩展后的D3L更好地实现了在本体间导入和重用知识的思想,因此可以为语义Web提供较完备的逻辑基础. 展开更多
关键词 分布式动态描述逻辑(D3L) 知识传播 合取映射 链式桥规则
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部