Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Scott Uk-Jin | - |
dc.date.accessioned | 2019-05-13T06:56:30Z | - |
dc.date.available | 2019-05-13T06:56:30Z | - |
dc.date.issued | 2009-07 | - |
dc.identifier.citation | 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering, Page. 193-200 | en_US |
dc.identifier.isbn | 978-0-7695-3757-3 | - |
dc.identifier.uri | https://ieeexplore.ieee.org/document/5198502 | - |
dc.identifier.uri | https://repository.hanyang.ac.kr/handle/20.500.11754/104024 | - |
dc.description.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. | en_US |
dc.language.iso | en_US | en_US |
dc.publisher | IEEE Computer Society | en_US |
dc.subject | Formal verification | en_US |
dc.subject | Ontological reasoning | en_US |
dc.subject | Semantic web rule language | en_US |
dc.subject | Semistructured data modeling | en_US |
dc.title | Verifying Semistructured Data Normalization Using SWRL | en_US |
dc.type | Article | en_US |
dc.identifier.doi | 10.1109/TASE.2009.11 | - |
dc.relation.page | 193-200 | - |
dc.contributor.googleauthor | Li, Y.F. | - |
dc.contributor.googleauthor | Sun, J. | - |
dc.contributor.googleauthor | Dobbie, G. | - |
dc.contributor.googleauthor | Lee, S. | - |
dc.contributor.googleauthor | Wang, H.H. | - |
dc.sector.campus | E | - |
dc.sector.daehak | COLLEGE OF COMPUTING[E] | - |
dc.sector.department | DIVISION OF COMPUTER SCIENCE | - |
dc.identifier.pid | scottlee | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.