@article {IOPORT.05034123,
    author       = {Liu, Shengping and Lin, Zuoquan and Mei, Jing and Yue, Anbu},
    title        = {A model-theoretic semantics for XML.},
    year         = {2006},
    journal      = {Journal of Software},
    volume       = {17},
    number       = {5},
    issn         = {1000-9825},
    pages        = {1089-1097},
    publisher    = {Editorial Board of Journal of Software, Institute of Software, The Chinese Academy of Sciences, Beijing; Science Press, Beijing},
    doi          = {10.1360/jos171089},
    abstract     = {Summary: The problem that XML formally governs syntax only but not semantics has been recognized as a serious barrier for XML-based data integration and the extension of current Web to the semantic Web. To address this problem, the XML Semantics Definition Language (XSDL) is proposed to explicitly express the author's intended meaning and a model-theoretic semantics for XML. In this way, XML becomes a sub-language of RDF (resource description framework) in expressivity, and the XML data can be semantics-preserving transformed to the RDF data. The semantic validity and entailment problem of XML documents are further provided and they are reduced to the knowledge base unsatisfiability problem in description logic language SHOIN(D).},
    identifier   = {05034123},
}