| Year | 2005 |
|---|---|
| Type | Conference |
| Status | Proceedings |
| Authors | Dorel Lucanu, Y.F. Li, Jing Song Dong |
Links
Abstract
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logical systems, we use institutions to represent their underlying logical systems and use institution morphisms to prove the correctness of the Z semantics for OWL DL.
BibTeX
@inproceedings{LucanuLD05,
author = {Dorel Lucanu and
Yuan-Fang Li and
Jin Song Dong},
title = {Soundness proof of Z semantics of OWL using institutions},
booktitle = {WWW (Special interest tracks and posters)},
year = {2005},
pages = {1048-1049},
publisher = {ACM},
url = {http://www2005.org/ [WWW]},
url_publisher = {http://dl.acm.org/citation.cfm?doid=1062745.1062862}
}