Institution morphisms for relating OWL and Z

17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005

Volumn , Issue , 2005, Pages 286-291

  Lucanu, Dorel ^a   Li, Yuan Fang ^b   Dong, Jin Song ^b  

^a ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

LOGICAL SYSTEM; SEMANTIC FOUNDATION; SOFTWARE SPECIFICATION; SOUND ENGINEERINGS; SOUND TRANSFORMATIONS; SPECIFICATION MODELS; VERIFICATION TOOLS; Z SPECIFICATIONS;

BIRDS; KNOWLEDGE REPRESENTATION; TOOLS; VERIFICATION;

WORLD WIDE WEB;

EID: 84886939539     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. H, Baumeister. Relating abstract datatypes and Z-schemata. In D. Bert and C. Choppy, editors, Recent Trends in Alge- braic Development Techniques - Selected Papers, volume 1827 of Lect. Notes in Comput. Sci, pages 366-382, Bonas, France, 2000. Springer-Verlag.
2. J S, Dong, C. H. Lee, Y. F. Li, and H. Wang. A Combined Approach to Checking Web Ontologies. In Proceedings of 13th World Wide Web Conference (WWW04), pages 714- 722, New York, USA, May 2004.
3. J. S. Dong, C. H. Lee, Y. F. Li, and H. Wang. Verifying DAML+OIL and beyond in Z/EVES. In Proceedings of 26th International Conference on Software Engineering (ICSE'04), pages 201-210, Edinburgh, Scotland, May 2004.
4. th World Wide Web Conference (WWW) pages 442-443, New York, USA, May 2004.
5. J. Goguen and G. Rosu. Formal Aspects of Computing, 2002.
6. J. A. Goguen and R. M. Burstall. Introducing institutions. In Proc. Logics of Programming Workshop, number 164 in Lect. Notes in Comput. Sci., pages 221-256. Springer- Verlag, 1984.
7. V. Haarslev and R Moller. RACER User's Guide and Reference Manual: Dec. 2002.
8. I. Horrocks, P. F. Patel-Schneider, and F. vanHarmelen. From SHTQ and RDF to OWL: The making of a web ontology language, J. of Web Semantics, 7-26, 2003.
9. D. Lucanu, Y. F. Li, and J. S. Dong. Web Ontology Verification and Analysis in the Z Framework. Technical Report TR 05-01, University Alexandru loan Cuza of Iasi. Romania, Jan. 2005. http://thor.info.uaic.ro/~tr/tr05-01.ps.
10. F. Manola (editors), RDF Primer, http://www.w3.org/TR/rdf-primer/, Feb. 2004.
11. D. L. McGuinness and F. van Harmelen (editors). OWL Web Ontology Language Overview, http://www-w3.org/TR/2003/PR-owl-features-20031215/, Dec. 2003.
12. P. F. Patel-Schneider and I. Horrocks (editors). OWL: Direct Model-Theoretic Semantics, http://www.w3.org/TR/owl-semantics/direct.html.
13. Andrzej Tarlecki. Moving between logical systems. In COM PASS/A 7 pages 478-502, 1995.
14. F. van Harmelen, P. F. Patel-Schneider. Reference description of the DAML+OIL ontology markup language. March, 2001.
15. J. Woodcock and J. Davics. Using Z: Specification, Refinement, and Proof. Prentice-Hall International, 1996.