您的位置: 专家智库 > >

徐天任

作品数:14 被引量:137H指数:4
供职机构:云南师范大学更多>>
发文基金:云南省自然科学基金云南省教育厅科学研究基金中央高校基本科研业务费专项资金更多>>
相关领域:自动化与计算机技术经济管理文化科学语言文字更多>>

文献类型

  • 9篇期刊文章
  • 2篇会议论文
  • 2篇科技成果
  • 1篇学位论文

领域

  • 9篇自动化与计算...
  • 2篇经济管理
  • 2篇文化科学
  • 1篇语言文字

主题

  • 4篇知识表示
  • 3篇描述逻辑
  • 3篇本体
  • 2篇语义
  • 2篇语义WEB
  • 2篇语义网
  • 2篇语义网络
  • 2篇知识库
  • 2篇知识推理
  • 2篇生态旅游
  • 2篇网络
  • 2篇旅游
  • 2篇分块
  • 2篇RDF
  • 2篇ALC
  • 1篇电平
  • 1篇电平控制
  • 1篇信息系统
  • 1篇语言
  • 1篇语言描述

机构

  • 12篇云南师范大学
  • 2篇中国人民大学
  • 1篇教育部

作者

  • 14篇徐天任
  • 9篇甘健侯
  • 8篇夏幼明
  • 4篇徐天伟
  • 3篇张旭洁
  • 2篇荣垂田
  • 2篇明庆忠
  • 2篇杜小勇
  • 2篇文斌
  • 2篇李宏
  • 2篇赵波
  • 1篇程传鹏
  • 1篇朱光菊
  • 1篇李晶
  • 1篇高丽金
  • 1篇孙瑜
  • 1篇袁凌云
  • 1篇陶跃华

传媒

  • 4篇云南师范大学...
  • 1篇计算机研究与...
  • 1篇经济地理
  • 1篇云南大学学报...
  • 1篇微型机与应用
  • 1篇桂林旅游高等...
  • 1篇第29届中国...
  • 1篇第四届全国逻...

年份

  • 1篇2013
  • 2篇2012
  • 1篇2008
  • 3篇2006
  • 3篇2005
  • 1篇2004
  • 1篇2003
  • 2篇2000
14 条 记 录,以下是 1-10
排序方式:
基于本体论与智能体构架的层次结构知识库的研究及应用
夏幼明陶跃华甘健侯孙瑜张旭洁赵波徐天伟徐天任李晶程传鹏朱光菊
一、设计、实现了基于本体论与智能体的知识描述的研究及其形式化语言二、实现了本体知识描述及领域本体知识库的构建及其推理三、提出知识的综合度量方法与综合评价的理论四、基于知识库的文本信息检索技术五、基于领域知识的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语言转换的思想与算法。
甘健侯夏幼明徐天伟徐天任
关键词:资源描述框架知识表示
共2页<12>
聚类工具0