DBLP:conf/www/LucanuLD05 + redirect page
Soundness proof of Z semantics of OWL using institutions + Has identifier
| Soundness proof of Z semantics of OWL using institutions |
Has publishing details
pp. 1048-1049, 2005
Has title
Soundness proof of Z semantics of OWL using institutions
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/www/www2005si.html#LucanuLD05
Has where published
WWW (Special interest tracks and posters)
Has year
2005
Has author
Dorel Lucanu +, Yuan-Fang Li +, Jin Song Dong +
Has identifier
Soundness proof of Z semantics of OWL using institutions +
Categories Proceeding Paper +
|
