Institution morphisms for relating OWL and Z

Dorel Lucanu, Yuan Fang Li, Jin Song Dong

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

7 Citations (Scopus)


Checking 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.

Original languageEnglish
Title of host publication17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005
Number of pages6
Publication statusPublished - 1 Dec 2005
Externally publishedYes
EventInternational Conference on Software Engineering and Knowledge Engineering 2005 - Taipei, Taiwan
Duration: 14 Jul 200516 Jul 2005
Conference number: 17th


ConferenceInternational Conference on Software Engineering and Knowledge Engineering 2005
Abbreviated titleSEKE 2005

Cite this