Z Approach to Semantic Web

  • Jin Song Dong
  • Jing Sun
  • Hai Wang
Conference paper

DOI: 10.1007/3-540-36103-0_18

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2495)
Cite this paper as:
Dong J.S., Sun J., Wang H. (2002) Z Approach to Semantic Web. In: George C., Miao H. (eds) Formal Methods and Software Engineering. ICFEM 2002. Lecture Notes in Computer Science, vol 2495. Springer, Berlin, Heidelberg

Abstract

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.

Keywords

Semantic Web 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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