%0 Journal Article
%T 一种xml的模型论语义
%A 刘升平？
%A 林作铨？
%A 梅婧？
%A 岳安步？
%J 软件学报
%P 1089-1097
%D 2006
%X xml只能表示语法而不能表达形式化语义,这个问题导致xml数据集成以及扩展当前web到语义web非常困难.为了解决该问题,提出了一种xml语义定义语言xsdl,让xml文档作者清晰地表达xml文档中的语义信息,并提出了一种xml的模型论语义.这样,xml成为一种表达能力比资源描述框架(resourcedescriptionframework,简称rdf)稍弱的web知识表示语言,且xml数据可以保留语义转换到rdf数据.此外,还提出了xml文档的语义有效性和xml文档的推理问题,并把它们规约到描述逻辑语言∑hoin(△)的知识库不可满足性问题.
%K xml
%K 语义
%K 语义web
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20060516&flag=1