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:
Main Authors: | , , |
---|---|
Other Authors: | |
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 |