一种XML的模型论语义

• 作者: 刘升平 岳安步 林作铨 梅婧
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: XML 语义 语义Web
• 年，卷（期）: 2006,（5）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 1089-1097
• 页数: 9页
• 分类号: TP3
• 字数: 9336字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘升平	北京大学信息科学系	2	55	2.0	2.0
2	林作铨	北京大学信息科学系	25	562	10.0	23.0
3	梅婧	北京大学信息科学系	7	159	4.0	7.0
4	岳安步	北京大学信息科学系	2	53	2.0	2.0