徐天任
- 作品数：14 被引量：138H指数：4
- 供职机构：云南师范大学更多>>
- 发文基金：云南省自然科学基金云南省教育厅科学研究基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术经济管理文化科学语言文字更多>>
- 基于本体论与智能体构架的层次结构知识库的研究及应用
- 夏幼明陶跃华甘健侯孙瑜张旭洁赵波徐天伟徐天任李晶程传鹏朱光菊
- 一、设计、实现了基于本体论与智能体的知识描述的研究及其形式化语言二、实现了本体知识描述及领域本体知识库的构建及其推理三、提出知识的综合度量方法与综合评价的理论四、基于知识库的文本信息检索技术五、基于领域知识的Web网络智...
- 关键词：
- 关键词：知识库本体论智能体
- Web本体语言与语义网络语言的知识表示及其转换的研究
- 知识表示简单地说就是程序对现实世界的建模。现阶段,Web上的知识具有如下特性:
/(1/)动态性,主要表示为Web上的内容每天都在增减;/(2/)Web上的信息是海量的,并充
...
- 徐天任
- 关键词：语义WEB本体OWL语义网络知识表示
- 文献传递
- 基于概念语义网络图的RDF知识推理研究与实现
- 2006年
- 当前,在语义Web中,基于OWL、RDF的知识表示、知识推理成为了研究和应用的热点。文章介绍在常用软件领域知识中,基于RDF知识库的概念语义网络图的构建和知识推理的相关算法。
- 甘健侯张旭洁夏幼明高丽金徐天任
- 关键词：知识推理
- 用语义网络语言描述知识的表示被引量：19
- 2003年
- 文章首先介绍语义网络的基本概念 ,用实例描述如何用语义网络语言 ( Snet L)表示知识 ,同时介绍如何用扩张的语义网络表示语义 ,着重介绍实例 ( instance-of)、聚集 ( part-whole)、泛化 ( is-a)和联合 ( member-of)几种典型语义关系的语义网络表示的方法。
- 徐天任夏幼明甘健侯徐天惠
- 关键词：知识表示语义关系泛化人工智能
- 基于本体和描述逻辑的语义Web形式化理论及知识推理方法研究
- 甘健侯夏幼明袁凌云徐天伟文斌徐天任赵波
- 研究内容和成果如下：(1)提出了扩展的描述逻辑(ALC+)的语法、语义以及形式化公理体系，形成了扩展描述逻辑语言ALC+，解决了本体知识的深层次语义描述与推理问题。(2)给出了OWL的用户自定义字符串和数值关系约束的语法...
- 关键词：
- 关键词：知识获取算法
- 基于ALC的扩展描述逻辑ALC+
- 本文首先介绍了描述ALC语法和语义，并指出ALC的不足；然后提出了ALC+，它在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器，使其表达能力增强，并给出了ALC+中的形式化定义；最...
- Wen Bin文斌Gan Jian hou甘健侯Xia You ming夏幼明Xu Tian ren徐天任
- 关键词：描述逻辑自动电平控制构造器
- 本体描述语言OWL知识表示的扩展被引量：3
- 2005年
- 当前,在语义Web中,基于OWL的知识表示成为了研究和应用的热点。文章基于计算机常用软件领域,介绍了OWL的扩展语言OWLPLUS,包括:用户自定义字符串、数值关系约束和IF-THEN规则表示等方面。
- 甘健侯夏幼明徐天任张旭洁
- 关键词：知识表示IF-THEN规则
- 扩展描述罗辑ALC^+到谓词逻辑的转换研究初探被引量：1
- 2006年
- 首先介绍了描述逻辑ALC+,描述逻辑ALC+是在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器对其进行了扩展,并给出了ALC+的语法和语义,对ALC+的完备性进行了讨论,谓词逻辑是比较经典的知识表示方法,然后探讨了描述逻辑ALC+到谓词逻辑的转换,给出了描述逻辑ALC+到谓词逻辑的转换思想．
- 文斌甘健侯夏幼明徐天任
- 关键词：描述逻辑ALC
- 基于划分的集合相似连接
- 集合相似连接(SET SIMILARITY JOIN)是指在给定的数据集中，按照基于集合间覆盖关系的相似度计算方法来衡量数据之间的相似度、并找出所有相似度不小于给定阈值的数据对的操作。集合相似连接作为一种新的基本操作...
- 荣垂田徐天任杜小勇
- 文献传递网络资源链接
- 基于RDF的知识表示到语义网络语言SNetL的转换研究被引量：3
- 2005年
- 资源描述框架RDF是处理元数据的基础,它提供了Web上应用程序间机器能理解的信息的互操作性能;语义网络语言SNetL是语义网络的形式化描述语言。本文提出了从RDF知识表示到SNetL语言转换的思想与算法。
- 甘健侯夏幼明徐天伟徐天任
- 关键词：资源描述框架知识表示
