一种XML的模型论语义

摘要：

XML只能表示语法而不能表达形式化语义,这个问题导致XML数据集成以及扩展当前Web到语义Web非常困难.为了解决该问题,提出了一种XML语义定义语言XSDL,让XML文档作者清晰地表达XML文档中的语义信息,并提出了一种XML的模型论语义.这样,XML成为一种表达能力比资源描述框架(resource description framework,简称RDF)稍弱的Web知识表示语言,且XML数据可以保留语义转换到RDF数据.此外,还提出了XML文档的语义有效性和XML文档的推理问题,并把它们规约到描述逻辑语言∑HOIN(△)的知识库不可满足性问题.

关键词：XML、语义、语义Web

所属期刊栏目：17

分类号：TP3(计算技术、计算机技术)

资助基金：中国科学院资助项目60373002；60496322;科技部科研项目2004CB318000

在线出版日期：2006-05-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：1089-1097