Verifying Semistructured Data Normalization using SWRL
Semistructured data has become more and more promi nent in the fast growing areas of web information technol ogy. XML has been used as a standard format for semistruc tured data in representing and exchanging information in various applications. However, the lack of formality and verification support in the design of a good semistructured data model may hinder its development. For example, re dundant data in XML must be removed or minimized to avoid inconsistent and inefficient information processing. Normalization algorithms have been developed to overcome these problems by transforming the schema of a semistruc tured document into a better form. Therefore, it is essen tial to ensure that a transformed schema model preserves the same information that its original form holds. In this paper, we present an approach to investigate and verify the no-data-loss property of semistructured data normalization. We encode the verification criteria in the Semantic Web Rule Language (SWRL) and make use of its ontology reasoning engine to provide automated support for the checking pro cess. In summary, our approach not only investigates the information preserving aspect of semistructured data nor malization, but also provides a scalable and automated so lution towards the problem.
Formal Verification Semistructured DataModeling Semantic Web Rule Language Ontological Reasoning
Yuan Fang Li Jing Sun Gillian Dobbie Scott Lee Hai H. Wang
School of ITEE University of Queensland Dept. of Computer Science The University of Auckland School of Eng. & Sci.Aston University
国际会议
天津
英文
193-200
2009-07-29（万方平台首次上网日期，不代表论文的发表时间）