Checking and Reasoning about Semantic Web through Alloy

Search

Date:

Sep 1 2002

author:

Jin Song Dong, Jing Sun, Hai Wang

National University of Singapore

Use of Alloy to analyze DAML+OIL ontologies.

Attachment	Size
SemanticWeb.pdf	268.51 KB

by anonymous

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte