Soundness proof of Z semantics of OWL using institutions

Dorel Lucanu, Yuan-Fang Li, Jin Song Dong

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

2 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the Special Interest Tracks and Posters of the 14th International World Wide Web Conference
EditorsFred Douglis, Prabhakar Raghavan
Place of PublicationNew York NY USA
PublisherAssociation for Computing Machinery (ACM)
Pages1048 - 1049
Number of pages2
ISBN (Print)1595930515
Publication statusPublished - 2005
Externally publishedYes
EventInternational World Wide Web Conference 2005 - Chiba, Japan
Duration: 10 May 200514 May 2005
Conference number: 14th (Proceedings)


ConferenceInternational World Wide Web Conference 2005
Abbreviated titleWWW 2005
Internet address

Cite this