Soundness proof of Z semantics of OWL using institutions

Lucanu, D., Li, Y. F. and Dong, J. S. (2005). Soundness proof of Z semantics of OWL using institutions. In: Proceedings of the 14th International World Wide Web Conference (WWW 2005). 14th International World Wide Web Conference (WWW 2005), Chiba, Japan, (1048-1049). 10-14 May 2005.


Author Lucanu, D.
Li, Y. F.
Dong, J. S.
Title of paper Soundness proof of Z semantics of OWL using institutions
Conference name 14th International World Wide Web Conference (WWW 2005)
Conference location Chiba, Japan
Conference dates 10-14 May 2005
Proceedings title Proceedings of the 14th International World Wide Web Conference (WWW 2005)
Place of Publication New York, NY, U.S.A.
Publisher Association for Computing Machinery, Inc.
Publication Year 2005
Sub-type Fully published paper
ISBN 1-59593-052-3
Start page 1048
End page 1049
Total pages 2
Language eng
Abstract/Summary 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 dierent 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
Subjects 080309 Software Engineering
170203 Knowledge Representation and Machine Learning
080505 Web Technologies (excl. Web Search)
Keyword OWL
Z
Institution
Comorphism of institutions
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Fri, 23 Jan 2009, 09:57:28 EST by Ms Lynette Adams on behalf of Faculty Of Engineering, Architecture & Info Tech