Z Approach to Semantic Web

  • Jin Song Dong
  • Jing Sun
  • Hai Wang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2495)


The Semantic Web (SW) service is a web application using Semantic Web techniques which usually involve cooperation between several intelligent agents. The design of SW systems requires precise modelling techniques to capture ontology domain properties and application functionalities. We believe that Z as a specification technique can contribute to the Semantic Web-based system development in many ways. In this paper, we firstly conduct a case study of applying Z to the design of a SW service system (online talk discovery), and then present translation techniques and tools which can extract the SW ontology from the Z model automatically. Furthermore, we discuss how existing Z tools, i.e. Z/EVES, can be used to improve the quality of SW ontology design.


Semantic Web 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
  3. 3.
    T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. Scientific American, May 2001.Google Scholar
  4. 4.
    D. Brickley and R.V. Guha (editors). Resource description framework (rdf) schema specification 1.0., March, 2000.
  5. 5.
    J. Broekstra, M. Klein, S. Decker, D. Fensel, and I. Horrocks. Adding formal semantics to the web: building on top of rdf schema. In ECDL Workshop on the Semantic Web: Models, Architectures and Management, 2000.Google Scholar
  6. 6.
    J. S. Dong, J. Sun, and H. Wang. Semantic web for extending and linking formalisms. In L.-H. Eriksson and P. A. Lindsay, editors, Proceedings of Formal Methods Europe: FME’02, Copenhagen, Denmark, July 2002. Springer-Verlag.Google Scholar
  7. 7.
    O. Lassila and R. R. Swick (editors). Resource description framework (rdf) model and syntax specification., Feb, 1999.
  8. 8.
    Mark Saaltink. The Z/EVES system. In J. P. Bowen, M. G. Hinchey, and D. Till, editors, ZUM’97: Z Formal Specification Notation, volume 1212 of Lecture Notes in Computer Science, pages 72–85. Springer-Verlag, 1997.CrossRefGoogle Scholar
  9. 9.
    J. Sun, J. S. Dong, J. Liu, and H. Wang. Object-Z Web Environment and Projections to UML. In WWW-10: 10th International World Wide Web Conference, pages 725–734. ACM Press, May 2001.Google Scholar
  10. 10.
    F. van Harmelen, P. F. Patel-Schneider, and I. Horrocks (editors). Reference description of the daml+oil ontology markup language. Contributors: T. Berners-Lee, D. Brickley, D. Connolly, M. Dean, S. Decker, P. Hayes, J. Heflin, J. Hendler, O. Lassila, D. McGuinness, L. A. Stein,..., March, 2001.Google Scholar
  11. 11.
    World Wide Web Consortium (W3C). Extensible stylesheet language (xsl).
  12. 12.
    J. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice-Hall International, 1996.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Jin Song Dong
    • 1
  • Jing Sun
    • 1
  • Hai Wang
    • 1
  1. 1.School of ComputingNational University of SingaporeSingapore

Personalised recommendations