Soundness proof of Z semantics of OWL using institutions.
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
VenueA*WWW
Year2005
ProceedingsWWW (Special interest tracks and posters)
DBLP recordconf/www/LucanuLD05 ↗
Browse the full WWW paper archive.
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
Browse the full WWW paper archive.