Soundness proof of Z semantics of OWL using institutions
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
- Anthology ID:
- DBLP:conf/www/LucanuLD05
- Volume:
- Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters
- Year:
- 2005
- Venue:
- wwwconf_conference
- Publisher:
- ACM
- Pages:
- 1048–1049
- URL:
- https://doi.org/10.1145/1062745.1062862
- DOI:
- 10.1145/1062745.1062862
- DBLP:
- conf/www/LucanuLD05
