CAJ | 학술논문

XML只能表示语法而不能表达形式化语义,这个问题导致XML数据集成以及扩展当前Web到语义Web非常困难.为了解决该问题,提出了一种XML语义定义语言XSDL,让XML文档作者清晰地表达XML文档中的语义信息,并提出了一种XML的模型论语义.这样,XML成为一种表达能力比资源描述框架(resource description framework,简称RDF)稍弱的Web知识表示语言,且XML数据可以保留语义转换到RDF数据.此外,还提出了XML文档的语义有效性和XML文档的推理问题,并把它们规约到描述逻辑语言∑HOIN(△)的知识库不可满足性问题.
XML지능표시어법이불능표체형식화어의,저개문제도치XML수거집성이급확전당전Web도어의Web비상곤난.위료해결해문제,제출료일충XML어의정의어언XSDL,양XML문당작자청석지표체XML문당중적어의신식,병제출료일충XML적모형론어의.저양,XML성위일충표체능력비자원묘술광가(resource description framework,간칭RDF)초약적Web지식표시어언,차XML수거가이보류어의전환도RDF수거.차외,환제출료XML문당적어의유효성화XML문당적추리문제,병파타문규약도묘술라집어언∑HOIN(△)적지식고불가만족성문제.