高颖
- 作品数：5 被引量：68H指数：4
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家重点基础研究发展计划科技部基础性研究重大项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术自然科学总论艺术理学更多>>
- NKI中的本体、框架和逻辑理论(英文)被引量：8
- 2005年
- NKI(国家知识基础设施)是一个大规模知识库,它用框架来表示本体中的概念,用Horn逻辑程序作为自动推理.给出NKI中的本体、框架和逻辑理论的形式表示以及形式表示之间的转换,并证明如果将本体、框架和逻辑理论看作是3个范畴,则这些转换是这3个范畴之间的函子.这个结果保证了在NKI中,基于Horn逻辑程序的推理关于用本体和框架表示的知识库是正确的.
- 眭跃飞高颖曹存根
- 关键词：本体
- 数据挖掘与软件企业知识管理技术
- 张晓刚李文杰李雄锋陈晋川董颖梁晟付弘宇董斐赵万磊高颖仲原
- 该项目是国家自然科学基金项目，其研究目标是：探索基于Internet/Web的分布式环境下，用户主导的需求获取与协同机制、方法，建立相应的应用原型系统。研究用户主导的需求获取框架，以及分层次的多用户协同机制 ；建立和使用...
- 关键词：
- 关键词：数据挖掘知识管理
- 领域本体的形式分析
- 该文采用形式概念分析(Formal Concept Analysis)的方法,为领域本体建立了一个数学模型.形式概念分析理论把概念形式化为一对相互对应的集合——对象集和性质集,分别代表形式概念(formal concep...
- 高颖
- 关键词：领域本体形式概念分析
- 文献传递
- 基于领域本体的半结构化文本知识自动获取方法的设计和实现被引量：38
- 2005年
- 文章介绍了一种新的基于领域本体的文本知识自动获取方法的设计和实现.通过引入领域本体,实现了半结构化文本知识的完全自动获取.该方法具有较好的通用性,把人们从繁重的手工劳动中解放出来,并能极大地提高知识获取的效率.已经设计并实现了基于领域本体的知识获取方法OMKast;一种参数化的知识编程语言ePKPL,用以实现OMKast、ePKPL虚拟机VM(即ePKPL运行环境).目前,这项工作已经在中草药、音乐、西医等领域进行了应用,取得了满意的结果.
- 王海涛曹存根高颖
- 关键词：虚拟机多主体系统领域本体
- 音乐领域本体的建立和分析被引量：18
- 2004年
- 音乐是一门重要的社会学科,具有丰富的领域知识,这些知识是计算机音乐应用系统所需要的专业知识。本文基于本体论方法形式化地探讨音乐领域本体的建立和分析,具体介绍了本体的建立方法、本体元素的描述、本体的一致性分析等方面内容。我们给出两个判断类间关系一致性的算法并分析其性质,还探讨了基于公理的知识的一致性。
- 高颖曹存根睦跃飞
- 关键词：一致性知识工程领域本体公理
