31 0

Verifying Semistructured Data Normalization Using SWRL

Title
Verifying Semistructured Data Normalization Using SWRL
Author
Lee, Scott Uk-Jin
Keywords
Formal verification; Ontological reasoning; Semantic web rule language; Semistructured data modeling
Issue Date
2009-07
Publisher
IEEE Computer Society
Citation
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering, Page. 193-200
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.
URI
https://ieeexplore.ieee.org/document/5198502http://repository.hanyang.ac.kr/handle/20.500.11754/104024
ISBN
978-0-7695-3757-3
DOI
10.1109/TASE.2009.11
Appears in Collections:
COLLEGE OF COMPUTING[E] > COMPUTER SCIENCE(소프트웨어학부) > Articles
Files in This Item:
There are no files associated with this item.
Export
RIS (EndNote)
XLS (Excel)
XML


qrcode

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

BROWSE