Please use this identifier to cite or link to this item:
https://doi.org/10.1145/1062745.1062862
Title: | Soundness proof of Z semantics of OWL using institutions | Authors: | Lucanu, D. Li, Y.F. Dong, J.S. |
Keywords: | Comorphism of institutions Institution OWL Z |
Issue Date: | 2005 | Citation: | Lucanu, D.,Li, Y.F.,Dong, J.S. (2005). Soundness proof of Z semantics of OWL using institutions. 14th International World Wide Web Conference, WWW2005 : 1048-1049. ScholarBank@NUS Repository. https://doi.org/10.1145/1062745.1062862 | 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. | Source Title: | 14th International World Wide Web Conference, WWW2005 | URI: | http://scholarbank.nus.edu.sg/handle/10635/40056 | ISBN: | 1595930515 | DOI: | 10.1145/1062745.1062862 |
Appears in Collections: | Staff Publications |
Show full item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.