Representing and Reasoning About XML with Ontologies
Representing and Reasoning About XML with Ontologies
复制标题
DOI：
10.1007/s10489-013-0446-4
复制
发表时间：
2013-07
影响因子：
5.3
通讯作者：
Fu Zhang;Zongmin Ma
中科院分区：
文献类型：
--
作者：
Fu Zhang;Zongmin Ma
可扩展标记语言（XML）作为在Web上表示和交换数据的相关标准已经得到了广泛的接受。不幸的是，XML覆盖了语法级别，但缺乏语义，因此不能直接用于语义Web。目前，找到一种方法来利用XML数据的语义Web是具有挑战性的研究。本体可以形式化地表示共享的领域知识，实现语义互操作。因此，本文研究了如何用本体来表示和推理XML，首先给出了XML数据源的形式化表示，包括文档类型定义（DTD）、XML模式和XML文档，在此基础上提出了将XML数据源转换为本体的形式化方法，并讨论了转换的正确性，给出了转换实例，最后给出了转换实例。在此基础上，实现了一个自动将XML转换为本体的原型工具，并将转换后的本体用于XML的推理，从而使现有的本体推理机能够对XML的一些推理问题进行检验。
The eXtensible Markup Language (XML) has reached a wide acceptance as the relevant standardization for representing and exchanging data on the Web. Unfortunately, XML covers the syntactic level but lacks semantics, and thus cannot be directly used for the Semantic Web. Currently, finding a way to utilize XML data for the Semantic Web is challenging research. As we have known that ontology can formally represent shared domain knowledge and enable semantics interoperability. Therefore,in this paper, we investigate how to represent and reason about XML with ontologies.Firstly, we give formalized representations of XML data sources, including Document Type Definitions (DTDs), XML Schemas, and XML documents.On this basis, we propose formal approaches for transforming the XML data sources into ontologies, and we also discuss the correctness of the transformations and provide several transformation examples.Furthermore, following the proposed approaches, we implement a prototype tool that can automatically transform XML into ontologies.Finally, we apply the transformed ontologies for reasoning about XML, so that some reasoning problems of XML may be checked by the existing ontology reasoners.