IR
Anthology
Community
Dorel
Lucanu
2005
doi
dblp
Soundness proof of Z semantics of OWL using institutions.
Dorel Lucanu
|
Yuan-Fang Li
|
Jin Song Dong
Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters