DBLP:conf/www/LucanuLD05

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 +

redirect page Soundness proof of Z semantics of OWL using institutions +

Categories Proceeding Paper +