Please use this identifier to cite or link to this item:
|Title:||Soundness proof of Z semantics of OWL using institutions|
|Keywords:||Comorphism of institutions|
|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|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Jan 17, 2018
checked on Jan 22, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.