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
Source: 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.

SCOPUSTM   
Citations

2
checked on Jan 17, 2018

Page view(s)

70
checked on Jan 22, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.