Soundness proof of Z semantics of OWL using institutions

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Soundness proof of Z semantics of OWL using institutions

Full text

Pdf (118 KB)

Source

International World Wide Web Conference archive
Special interest tracks and posters of the 14th international conference on World Wide Web table of contents

Chiba, Japan

POSTER SESSION: Posters table of contents

Pages: 1048 - 1049

Year of Publication: 2005

ISBN:1-59593-051-5

Authors

Dorel Lucanu	A.I. Cuza University, Romania
Yuan Fang Li	National University of Singapore, Singapore
Jin Song Dong	National University of Singapore, Singapore

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 25, Citation Count: 1

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1062745.1062862 What is a DOI?

ABSTRACT

The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logical systems, we use institutions to represent their underlying logical systems and use institution morphisms to prove the correctness of the Z semantics for OWL DL.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Hubert Baumeister, Relating Abstract Datatypes and Z-Schemata, Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques, p.366-382, September 15-18, 1999
	2	J. S. Dong , C. H. Lee , H. B. Lee , Y. F. Li , H. Wang, A combined approach to checking web ontologies, Proceedings of the 13th international conference on World Wide Web, May 17-20, 2004, New York, NY, USA [doi>10.1145/988672.988770]
	3	J. Goguen and G. Rosu. Institution morphisms. Formal Aspects of Computing, 2002.
	4	Joseph A. Goguen , Rod M. Burstall, Introducing Institutions, Proceedings of the Carnegie Mellon Workshop on Logic of Programs, p.221-256, June 06-08, 1983
	5	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 Ioan Cuza" of Iasi, Romania, January 2005. http://thor.info.uaic.ro/~tr/tr05-01.ps.
	6	P. F. Patel-Schneider and I. Horrocks (editors).OWL: Direct Model-Theoretic Semantics. http://www.w3.org/TR/owl-semantics/direct.html.