梅婧
- 作品数：6 被引量：77H指数：4
- 供职机构：北京大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学哲学宗教更多>>
- 语义Web上本体与规则
- 本文讨论语义Web上有关本体与规则的主要理论和系统实现,并探讨现有技术的发展趋势,尤其是两者互操作的可行性,包括同化法、混合法和工程法等.
- 梅婧刘升平马跃林作铨
- 关键词：语义WEB知识表示知识推理混合法
- 文献传递
- 从ALC到SHOQ(D):描述逻辑及其Tableau算法被引量：44
- 2005年
- 描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础。Tableau是描述逻辑的基本证明论,基于Tableau的算法提供了描述逻辑的推理机。本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)的描述逻辑基础及其相应的Tableau算法。
- 梅婧林作铨
- 关键词：ALC描述逻辑TABLEAU算法语义WEB知识表示
- 语义Web本体与规则
- 语义Web(Semantic Web)是当前Web的一种扩展，其中信息被赋予良好定义的语义，更便于计算机和人协同工作。朝着Web智能化发展，语义Web有助于计算机自动处理wleb信息，是人工智能的一个前沿研究领域。
...
- 梅婧
- 关键词：语义WEB本体描述逻辑逻辑程序设计知识表示
- 语义Web语言的逻辑分析
- 语义Web作为新一代Web正倍受关注,而Web的资源描述语言RDF、RDF的词汇描述RDFSchema,以及最新的本体语言OWL等已成为现今语义Web上的规范语言.本文从逻辑视角来分析这些语义Web语言,首先指出RDF(...
- 梅婧刘升平林作铨
- 关键词：语义WEBRDFOWL描述逻辑本体语言
- 文献传递
- 一种XML的模型论语义被引量：23
- 2006年
- XML只能表示语法而不能表达形式化语义,这个问题导致XML数据集成以及扩展当前Web到语义Web非常困难.为了解决该问题,提出了一种XML语义定义语言XSDL,让XML文档作者清晰地表达XML文档中的语义信息,并提出了一种XML的模型论语义.这样,XML成为一种表达能力比资源描述框架(resourcedescriptionframework,简称RDF)稍弱的Web知识表示语言,且XML数据可以保留语义转换到RDF数据.此外,还提出了XML文档的语义有效性和XML文档的推理问题,并把它们规约到描述逻辑语言ΣΗΟΙΝ(?)的知识库不可满足性问题.
- 刘升平林作铨梅婧岳安步
- 关键词：XML语义语义WEB
- 语义Web的逻辑基础被引量：6
- 2005年
- 分析了语义Web的逻辑基础。指出了语义Web语言RDF和RDF Schema的语义是基于非经典的模型论语义,阐明了在此基础上扩展到表达能力更强的基于描述逻辑的本体语言OWL的困难,然后描述了OWL对这些困难的解决方法,并概述了如何把OWL的本体推理归约到描述逻辑的知识库可满足性问题。最后介绍了在OWL的基础上纳入Horn子句规则的方法。
- 梅婧刘升平林作铨
- 关键词：语义WEBWEB本体语言描述逻辑
