Please use this identifier to cite or link to this item:
Title: Semantic web and formal design methods
Authors: WANG HAI
Keywords: Z/Object-Z/TCSP/TCOZ, Alloy, Ontology, DAML+OIL, Semantic Web,OWL/OWL-S
Issue Date: 15-Aug-2004
Citation: WANG HAI (2004-08-15). Semantic web and formal design methods. ScholarBank@NUS Repository.
Abstract: Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging area from the Knowledge Representation and the Web Communities. The Formal Methods (FM) community can also play an important role to contribute to SW development. It is hoped that SW will be a new novel application domain for formal methods. On the other hand, the diversity of various formal specification techniques and the need for their effective combinations require an extensible and integrated supporting environment. The success of the Semantic Web may have profound impact on the Web environment for formal methods, especially for extending and integrating different formalisms. This thesis demonstrates the latest investigations on the links between Semantic Web and Formal Methods. We believe that there is a close association between formal specification and Semantic Web, and the two can benefit from each other in many ways.
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
thesis.pdf923.89 kBAdobe PDF



Page view(s)

checked on Mar 25, 2019


checked on Mar 25, 2019

Google ScholarTM


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