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, New York NY USA
Duration: 1 Jan 2005 → …

Conference

ConferenceInternational World Wide Web Conference 2005
CityNew York NY USA
Period1/01/05 → …

Cite this

Lucanu, D., Li, Y-F., & Dong, J. S. (2005). Soundness proof of Z semantics of OWL using institutions. In F. Douglis, & P. Raghavan (Eds.), Proceedings of the Special Interest Tracks and Posters of the 14th International World Wide Web Conference (pp. 1048 - 1049). Association for Computing Machinery (ACM).