@inproceedings{FME.2003.796-813,
 author = {Jin Song Dong and Jing Sun and Hai Wang},
 title = {{Checking and Reasoning about Semantic Web through Alloy}},
 booktitle = {FME '03: Proceedings of the International Symposium of Formal Methods Europe},
 location = {Pisa, Italy},
 month = {September},
 year = {2003},
 isbn = {978-3-540-40828-4},
 pages = {796-813},
 publisher = {Springer-Verlag},
 address = {Berlin, Germany},
 url = {http://www.springerlink.com/content/0jcfn83kvfl15rjd/} 
}