Soundness proof of Z semantics of OWL using institutions

10.1145/1062745.1062862

Saved in:
Bibliographic Details
Main Authors: Lucanu, D., Li, Y.F., Dong, J.S.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Subjects:
OWL
Z
Online Access:http://scholarbank.nus.edu.sg/handle/10635/40056
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-40056
record_format dspace
spelling sg-nus-scholar.10635-400562015-01-13T04:27:39Z Soundness proof of Z semantics of OWL using institutions Lucanu, D. Li, Y.F. Dong, J.S. COMPUTER SCIENCE Comorphism of institutions Institution OWL Z 10.1145/1062745.1062862 14th International World Wide Web Conference, WWW2005 1048-1049 2013-07-04T07:55:40Z 2013-07-04T07:55:40Z 2005 Conference Paper 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. <a href="https://doi.org/10.1145/1062745.1062862" target="_blank">https://doi.org/10.1145/1062745.1062862</a> 1595930515 http://scholarbank.nus.edu.sg/handle/10635/40056 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
topic Comorphism of institutions
Institution
OWL
Z
spellingShingle Comorphism of institutions
Institution
OWL
Z
Lucanu, D.
Li, Y.F.
Dong, J.S.
Soundness proof of Z semantics of OWL using institutions
description 10.1145/1062745.1062862
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Lucanu, D.
Li, Y.F.
Dong, J.S.
format Conference or Workshop Item
author Lucanu, D.
Li, Y.F.
Dong, J.S.
author_sort Lucanu, D.
title Soundness proof of Z semantics of OWL using institutions
title_short Soundness proof of Z semantics of OWL using institutions
title_full Soundness proof of Z semantics of OWL using institutions
title_fullStr Soundness proof of Z semantics of OWL using institutions
title_full_unstemmed Soundness proof of Z semantics of OWL using institutions
title_sort soundness proof of z semantics of owl using institutions
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/40056
_version_ 1681082202264174592