Validating Semistructured Data Using OWL

  • Yuan Fang Li
  • Jing Sun
  • Gillian Dobbie
  • Jun Sun
  • Hai H. Wang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4016)

Abstract

Semistructured data has become prevalent in both web applications and database systems. This rapid growth in use makes the design of good semistructured data essential. Formal semantics and automated reasoning tools enable us to reveal the inconsistencies in a semistructured data model and its instances. The Object Relationship Attribute model for Semistructured data (ORA-SS) is a graphical notation for designing and representing semistructured data. This paper presents a methodology of encoding the semantics of ORA-SS in the Web Ontology Language (OWL) and automatically validating the semistructured data design using the OWL reasoning tool – RACER. Our methodology provides automated consistency checking of an ORA-SS data model at both the schema and instance levels.

Keywords

Semistructured Data Semantic Web OWL Formal Verification 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Apparao, V., Byrne, S., Champion, M., Isaacs, S., Jacobs, I., Hors, A.L., Nicol, G., Robie, J., Sutor, R., Wilson, C., Wood, L.: Document Object Model (DOM) Level 1 Specification, http://www.w3.org/TR/1998/REC-DOM-Level-1-19981001/
  2. 2.
    Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 35–43 (2001)CrossRefGoogle Scholar
  3. 3.
    Buneman, P., Davidson, S.B., Fernandez, M.F., Suciu, D.: Adding Structure to Unstructured Data. In: Afrati, F.N., Kolaitis, P.G. (eds.) ICDT 1997. LNCS, vol. 1186, pp. 336–350. Springer, Heidelberg (1996)Google Scholar
  4. 4.
    Dobbie, G., Wu, X., Ling, T., Lee, M.: ORA-SS: Object-Relationship-Attribute Model for Semistructured Data. Technical Report TR 21/00, School of Computing, National University of Singapore, Singapore (2001)Google Scholar
  5. 5.
    Goldman, R., Widom, J.: DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases. In: Jarke, M., Carey, M.J., Dittrich, K.R., Lochovsky, F.H., Loucopoulos, P., Jeusfeld, M.A. (eds.) VLDB 1997: Proceedings of 23rd International Conference on Very Large Data Bases, pp. 436–445. Morgan Kaufmann, San Francisco (1997)Google Scholar
  6. 6.
    Haarslev, V., Möller, R.: Practical Reasoning in Racer with a Concrete Domain for Linear Inequations. In: Horrocks, I., Tessaris, S. (eds.) Proceedings of the International Workshop on Description Logics (DL 2002), Toulouse, France, CEUR-WS (April 2002) Google Scholar
  7. 7.
    Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web Semantics 1(1), 7–26 (2003)Google Scholar
  8. 8.
    Ling, T., Lee, M., Dobbie, G.: Applications of ORA-SS: An Object-Relationship-Attribute data model for Semistructured data. In: IIWAS 2001: Proceedings of 3rd International Conference on Information Integration and Web-based Applications and Serives (2001)Google Scholar
  9. 9.
    Ling, T.W., Lee, M.L., Dobbie, G.: Semistructured Database Design. Springer, Heidelberg (2005)MATHGoogle Scholar
  10. 10.
    McHugh, J., Abiteboul, S., Goldman, R., Quass, D., Widom, J.: Lore: A Database Management System for Semistructured Data. SIGMOD Record 26(3), 54–66 (1997)CrossRefGoogle Scholar
  11. 11.
    Wu, X., Ling, T.W., Lee, M.L., Dobbie, G.: Designing Semistructured Databases Using the ORA-SS Model. In: WISE 2001: Proceedings of 2nd International Conference on Web Information Systems Engineering, Kyoto, Japan. IEEE Computer Society, Los Alamitos (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Yuan Fang Li
    • 1
  • Jing Sun
    • 2
  • Gillian Dobbie
    • 2
  • Jun Sun
    • 1
  • Hai H. Wang
    • 3
  1. 1.School of ComputingNational University of SingaporeSingapore
  2. 2.Department of Computer ScienceThe University of AucklandNew Zealand
  3. 3.Department of Computer ScienceUniversity of Manchester 

Personalised recommendations