Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/14210
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
Source: 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.
URI: http://scholarbank.nus.edu.sg/handle/10635/14210
Appears in Collections:Ph.D Theses (Open)

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

OPEN

NoneView/Download

Page view(s)

186
checked on Dec 11, 2017

Download(s)

197
checked on Dec 11, 2017

Google ScholarTM

Check


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