Verifying semistructured data normalization using SWRL

Yuan Fang Li, Jing Sun, Gillian Dobbie, Scott Lee, Hai H. Wang

Research output: Chapter in Book/Report/Conference proceedingConference publication

Abstract

Semistructured data has become more and more prominent in the fast growing areas of web information technology. XML has been used as a standard format for semistructured 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, redundant 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 semistructured document into a better form. Therefore, it is essential 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 process. In summary, our approach not only investigates the information preserving aspect of semistructured data normalization, but also provides a scalable and automated solution towards the problem.

Original languageEnglish
Title of host publication3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
PublisherIEEE
Pages193-200
Number of pages8
ISBN (Print)9780769537573
DOIs
Publication statusPublished - 16 Nov 2009
Event2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 - Tianjin, United Kingdom
Duration: 29 Jul 200931 Jul 2009

Conference

Conference2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
CountryUnited Kingdom
CityTianjin
Period29/07/0931/07/09

Keywords

  • Formal verification
  • Ontological reasoning
  • Semantic web rule language
  • Semistructured data modeling

Fingerprint Dive into the research topics of 'Verifying semistructured data normalization using SWRL'. Together they form a unique fingerprint.

  • Cite this

    Li, Y. F., Sun, J., Dobbie, G., Lee, S., & Wang, H. H. (2009). Verifying semistructured data normalization using SWRL. In 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 (pp. 193-200). [5198502] IEEE. https://doi.org/10.1109/TASE.2009.11