【摘 要】
：
作为分布式、模块化本体的逻辑基础,分布式动态描述逻辑(D3L)使得通过有向语义映射连接的多个动态描述逻辑本体之上的推理成为可能.文中针对复合桥规则的知识传播进行了研究.
【机 构】
：
天津工业大学计算机科学与软件学院,南京大学计算机软件新技术国家重点实验室,中国科学院计算技术研究所智能信息处理重点实验室
【基金项目】
：
国家自然科学基金重点项目(61035003);国家自然科学基金面上项目(61072085,60970088);南京大学计算机软件新技术国家重点实验室开放课题项目资助~~
论文部分内容阅读
作为分布式、模块化本体的逻辑基础,分布式动态描述逻辑(D3L)使得通过有向语义映射连接的多个动态描述逻辑本体之上的推理成为可能.文中针对复合桥规则的知识传播进行了研究.作者发现当桥规则构成合取链的情况下,D3L的原始语义不能保证本体元素的局部语义关系正确传播到目标本体.通过引入合取映射桥规则,作者对D3L进行了扩展.由于对合取映射对应的目标元素属性进行了约束,新的桥规则可以支持局部语义关系在分布式本体间的正确传播,并且不改变D3L的原始属性.最后提出了合取映射桥规则到传统桥规则的转换语义,并证明了基于该语义的Tableaux推理算法的正确性.扩展后的D3L更好地实现了在本体间导入和重用知识的思想,因此可以为语义Web提供较完备的逻辑基础.
其他文献
农业职业经理人作为新型职业农民的重要组成部分,是推进农业供给侧改革的重要举措,也是助推乡村振兴战略实施的强有力人才资源保障及人才支撑手段.运用现代学徒制开展农业职
同时使用2台CCD相机作为数据采集手段,利用数字散斑相关方法对实验中采集的图像数据进行分析,对单轴压缩条件下混凝土试件变形演化进行实验研究;将分析数据导入MATLAB双向显
印度教的室建陀本是火神的后裔,随着印度文化的发展,融入了湿婆神话的系统中,成为湿婆之子。本文通过梳理两大史诗《摩诃婆罗多》《罗摩衍那》和迦梨陀娑的《鸠摩罗出世》中
金属材料是园林材料的一部分，在园林建设中用于表迖园林设计概念，宣展地方特色，创造舒适、和谐的人性化空间的重要元素。它优良的力学性能及工艺特性为广大设计者青睐，是所有建筑
在设计时,既能达到比较理想的景观效果,又能够在节能、合理利用土地资源、后期物业管理成本上的节约等考虑,以达到保护生态环境的目的。设计在继承优良传统特点的基础上体现
随着第二代认知科学的提出,认知科学家重新关注被认知主义搁置在一边的文化、历史与情境因素,个体的认知活动正是文化过程的组成部分,文化与认知的融嵌是在认知目标于日常生
近年来,随着国家农机购置补贴政策的实施,农民对农机产品的适用性、安全性、可靠性和售后服务等要求越来越高。当前,加强农机经销企业监管工作,规范农机经销企业及其从业人员
《微暗的火》是弗拉基米尔·纳博科夫创作成熟期的代表作,而＂不可靠叙述＂是这部小说在叙述上的突出特征。这部小说从整体上看,就是金波特对谢德的长诗《微暗的火》的不可靠