刘升平
- 作品数：5 被引量：34H指数：3
- 供职机构：北京大学数学科学学院信息科学系更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种XML的模型论语义被引量：23
- 2006年
- XML只能表示语法而不能表达形式化语义,这个问题导致XML数据集成以及扩展当前Web到语义Web非常困难.为了解决该问题,提出了一种XML语义定义语言XSDL,让XML文档作者清晰地表达XML文档中的语义信息,并提出了一种XML的模型论语义.这样,XML成为一种表达能力比资源描述框架(resourcedescriptionframework,简称RDF)稍弱的Web知识表示语言,且XML数据可以保留语义转换到RDF数据.此外,还提出了XML文档的语义有效性和XML文档的推理问题,并把它们规约到描述逻辑语言ΣΗΟΙΝ(?)的知识库不可满足性问题.
- 刘升平林作铨梅婧岳安步
- 关键词：XML语义语义WEB
- 基于本体的动态信息收集Agent被引量：6
- 2003年
- 该文设计并实现了一个基于本体的动态信息收集Agent系统,该系统基于本体知识对文档进行领域本体分类和规范用户的检索请求,对信息收集的结果进行主题相关的链接分析,抽取出信息源组织结构知识,并根据获取的知识控制系统搜索策略,从而能够有效地处理动态信息收集。
- 李建清林作铨刘升平周谢慧
- 关键词：本体AGENT信息检索
- 基于本体的动态信息收集Agent
- 本文设计并实现了一个基于本体的动态信息收集Agent系统,该系统基于本体知识对文档进行领域本体分类和规范用户的检索请求,对信息收集的结果进行主题相关的链接分析,抽取出信息源组织结构知识,并根据获取的知识控制系统搜索策略,...
- 李建清刘升平林作铨
- 关键词：信息检索知识本体信息收集软件AGENT
- 文献传递
- 语义Web语言的逻辑分析
- 语义Web作为新一代Web正倍受关注,而Web的资源描述语言RDF、RDF的词汇描述RDFSchema,以及最新的本体语言OWL等已成为现今语义Web上的规范语言.本文从逻辑视角来分析这些语义Web语言,首先指出RDF(...
- 梅婧刘升平林作铨
- 关键词：语义WEBRDFOWL描述逻辑本体语言
- 文献传递
- 语义Web的逻辑基础被引量：6
- 2005年
- 分析了语义Web的逻辑基础。指出了语义Web语言RDF和RDF Schema的语义是基于非经典的模型论语义,阐明了在此基础上扩展到表达能力更强的基于描述逻辑的本体语言OWL的困难,然后描述了OWL对这些困难的解决方法,并概述了如何把OWL的本体推理归约到描述逻辑的知识库可满足性问题。最后介绍了在OWL的基础上纳入Horn子句规则的方法。
- 梅婧刘升平林作铨
- 关键词：语义WEBWEB本体语言描述逻辑
