搜索筛选:
搜索耗时0.4524秒,为你在为你在102,267,441篇论文里面共找到 18 篇相符的论文内容
类      型:
[期刊论文] 作者:, 来源:新农村(黑龙江) 年份:2016
自家茶园的74株古茶树挂上二维码后,茶农聂登国几乎逢人便说。 聂登国是贵州省...
[学位论文] 作者:聂登国, 来源:广西师范大学 年份:2018
[期刊论文] 作者:聂登国,张维, 来源:毕节学院学报:综合版 年份:2014
描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识.描述逻辑的各语言背后的逻辑是什么,能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究....
[期刊论文] 作者:聂登国,曹发生,, 来源:毕节学院学报 年份:2013
保守扩充是数理逻辑中一个重要的性质。本体的保守扩充在本体设计和本体集成中扮演重要的角色。它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化。在本体...
[期刊论文] 作者:聂登国,张善明, 来源:仓储管理与技术 年份:1991
[期刊论文] 作者:聂登国,王勇红, 来源:贵州工程应用技术学院学报 年份:2019
本体的保守扩充是本体构建、本体重构的核心理论与工具。本体把领域知识形式化,实现人机之间的知识共享及知识重用。基于描述逻辑的本体保守扩充是目前研究者们所关注的焦点...
[期刊论文] 作者:张维,李佳,聂登国, 来源:毕节学院学报:综合版 年份:2014
描述逻辑和形式概念分析都是以概念为基础的形式系统,在处理信息方面它们各有优缺点,近年来,研究者们将两者结合在一起,取长补短.本文将形式概念分析的方法引入描述逻辑,研究...
[期刊论文] 作者:王勇红,聂登国, 来源:贵州工程应用技术学院学报 年份:2019
描述逻辑是一族知识表示的语言,以形式化、结构化的方式表示相应的应用领域。描述逻辑VL非循环术语集的包含推理,通过将描述逻辑VL非循环术语集包含推理问题转化为描述树之间...
[期刊论文] 作者:聂登国,王勇红, 来源:贵州工程应用技术学院学报 年份:2019
本体的保守扩充是本体构建、本体重构的核心理论与工具.本体把领域知识形式化,实现人机之间的知识共享及知识重用.基于描述逻辑的本体保守扩充是目前研究者们所关注的焦点.卢...
[期刊论文] 作者:聂登国,王勇红,康旺强,, 来源:毕节学院学报 年份:2011
区域连接演算RCC(region connection calculs)是定性空间推理的重要理论之一,但由于缺乏必要的定量工具,RCC只能描述空间拓扑关系,而不能描述距离、方向等其他空间关系。在RCC理论的基础上,引入区域圆壳概念对区域伸缩加以度量,得出一种以区域为单位的形式化度......
[期刊论文] 作者:王勇红,段高华,聂登国, 来源:毕节学院学报:综合版 年份:2014
模拟和互模拟是分析模态逻辑的表达能力的一个强有力的工具.巴德尔(Baader)率先提出,可以运用描述图之间的模拟关系来分析描述逻辑的包含推理,并证明了在概念定义式循环术语集...
[期刊论文] 作者:韦婷婷, 聂登国, 王驹, 蒋运承,, 来源:计算机工程 年份:2012
基于本体的文本分类方法未考虑本体概念自身所含有的信息量及忽略本体推理功能。为此,以旅游领域为背景,提出一种基于领域本体的文本分类方法。该方法采用本体自身结构作为分...
[期刊论文] 作者:聂登国,康旺强,曹发生,王驹, 来源:计算机研究与发展 年份:2015
本体作为知识库表示知识已经成为计算机理论与应用的研究热点.在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox.本体是动态的实体,为...
[期刊论文] 作者:曹发生,张家锋,黄飞丹,聂登国, 来源:毕节学院学报:综合版 年份:2014
通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。...
[期刊论文] 作者:聂登国,余泉,张维,申宇铭,, 来源:计算机科学 年份:2016
在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox。本体是动态的实体,为了适应新领域的发展,需要对原始本体进行扩充,但是扩充后的本体与原始本体是否保持逻辑一致性是目前研究者们所关注的焦点。在Lutz等人研究的基础上......
[期刊论文] 作者:王勇红,申宇铭,聂登国,王驹, 来源:计算机科学 年份:2017
在计算机科学中,本体是动态的实体。为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合。在本体的开发过程中,用户根据不同的需求和应用领域选择合适的...
[期刊论文] 作者:聂登国,余泉,张维,申宇铭,NIEDeng-guo,YUQuan,ZHANGWei,SHENYu-ming, 来源:计算机科学 年份:2016
[期刊论文] 作者:王勇红,申宇铭,聂登国,王驹,WANGYong-hong,SHENYu-ming,NIEDeng-guo,WANGJu, 来源:计算机科学 年份:2017
相关搜索: