Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/78194
DC FieldValue
dc.titleInstitution morphisms for relating OWL and Z
dc.contributor.authorLucanu, D.
dc.contributor.authorLi, Y.F.
dc.contributor.authorDong, J.S.
dc.date.accessioned2014-07-04T03:13:28Z
dc.date.available2014-07-04T03:13:28Z
dc.date.issued2005
dc.identifier.citationLucanu, D.,Li, Y.F.,Dong, J.S. (2005). Institution morphisms for relating OWL and Z. 17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005 : 286-291. ScholarBank@NUS Repository.
dc.identifier.isbn9781627486590
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/78194
dc.description.abstractChecking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complement the Knowledge Representation tools in reasoning about Semantic Web. The key to this approach is to develop sound transformation techniques from Web ontology to software specifications so that the associated verification tools can be applied to cheek the transformed specification models. Our previous work has demonstrated a practical approach lo translating Web ontologies lo Z specifications. However, from a sound engineering point of view, the translation is lacking the theoretical work that can formally relate the respective underlying logical systems of OWL and Z In this paper, we lake the advantage that the logics underlying OWL and /Lean be represented as institutions and we show that the institution comorphism provides a format semantic foundation for the transformation from OWL to Z.
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.sourcetitle17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005
dc.description.page286-291
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Page view(s)

78
checked on Dec 8, 2022

Google ScholarTM

Check

Altmetric


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