Dorel Lucanu, Yuan-Fang Li, Jin Song Dong. Soundness proof of Z semantics of OWL using institutions. In Allan Ellis, Tatsuya Hagino, editors, Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters. pages 1048-1049, ACM, 2005. [doi]