Z Approach to Semantic Web
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.
KeywordsZ Semantic Web
Unable to display preview. Download preview PDF.
- 1.Daml service. http://www.daml.org/services/daml-s/2001/05/.
- 2.Ittaks homepage. http://www.ittalks.org/jsp/Controller.jsp.
- 3.T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. Scientific American, May 2001.Google Scholar
- 4.D. Brickley and R.V. Guha (editors). Resource description framework (rdf) schema specification 1.0. http://www.w3.org/TR/2000/CR-rdf-schema-20000327/, March, 2000.
- 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.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.O. Lassila and R. R. Swick (editors). Resource description framework (rdf) model and syntax specification. http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/, Feb, 1999.
- 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.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.World Wide Web Consortium (W3C). Extensible stylesheet language (xsl). http://www.w3.org/Style/XSL.
- 12.J. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice-Hall International, 1996.Google Scholar