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: | The Web Conference (WWW) |
| Publisher: | ACM |
| Pages: | 1048-1049 |
| URL: | https://doi.org/10.1145/1062745.1062862 |
| DOI: | https://doi.org/10.1145/1062745.1062862 |
| DBLP: | conf/www/LucanuLD05 |
| BibTeX: |
@inproceedings{lucanu-2005-soundness,
author = {Dorel Lucanu and
Yuan-Fang Li and
Jin Song Dong},
editor = {Allan Ellis and
Tatsuya Hagino},
title = {{Soundness proof of Z semantics of OWL using institutions}},
booktitle = {{Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters}},
pages = {1048--1049},
publisher = {ACM},
year = {2005},
url = {https://doi.org/10.1145/1062745.1062862},
doi = {https://doi.org/10.1145/1062745.1062862}
}