Checking and reasoning about Semantic Web through alloy

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Saved in:
Bibliographic Details
Main Authors: Dong, J.S., Sun, J., Wang, H.
Other Authors: COMPUTER SCIENCE
Format: Article
Published: 2013
Subjects:
Online Access:http://scholarbank.nus.edu.sg/handle/10635/38944
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-38944
record_format dspace
spelling sg-nus-scholar.10635-389442015-01-06T11:28:00Z Checking and reasoning about Semantic Web through alloy Dong, J.S. Sun, J. Wang, H. COMPUTER SCIENCE Alloy Semantic Web Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2805 796-813 2013-07-04T07:30:26Z 2013-07-04T07:30:26Z 2003 Article Dong, J.S.,Sun, J.,Wang, H. (2003). Checking and reasoning about Semantic Web through alloy. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2805 : 796-813. ScholarBank@NUS Repository. 03029743 http://scholarbank.nus.edu.sg/handle/10635/38944 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
topic Alloy
Semantic Web
spellingShingle Alloy
Semantic Web
Dong, J.S.
Sun, J.
Wang, H.
Checking and reasoning about Semantic Web through alloy
description Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Dong, J.S.
Sun, J.
Wang, H.
format Article
author Dong, J.S.
Sun, J.
Wang, H.
author_sort Dong, J.S.
title Checking and reasoning about Semantic Web through alloy
title_short Checking and reasoning about Semantic Web through alloy
title_full Checking and reasoning about Semantic Web through alloy
title_fullStr Checking and reasoning about Semantic Web through alloy
title_full_unstemmed Checking and reasoning about Semantic Web through alloy
title_sort checking and reasoning about semantic web through alloy
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/38944
_version_ 1681082009348210688