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/5198502https://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