Z approach to semantic web

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2495, Issue , 2002, Pages 156-167

  Dong, Jin Song ^a   Sun, Jing ^a   Wang, Hai ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Semantic Web; Z

Indexed keywords

FORMAL METHODS; INTELLIGENT AGENTS; ONTOLOGY;

DOMAIN PROPERTIES; MODELLING TECHNIQUES; ONTOLOGY DESIGN; SEMANTIC-WEB TECHNIQUES; SERVICE SYSTEMS; SPECIFICATION TECHNIQUE; TECHNIQUES AND TOOLS; WEB APPLICATION;

SEMANTIC WEB;

EID: 84948973545     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36103-0_18     Document Type: Conference Paper

References (12)

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.
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.
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.
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.
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.
9. J. Sun, J. S. Dong, J. Liu, and H. Wang. Object-ZWeb Environment and Projections to UML. In WWW-10: 10th International World Wide Web Conference, pages 725–734. ACM Press, May 2001.
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.
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.