@article{MAGS.2006.455-471, author = {Hai Wang and Jin Song Dong and Jing Sun and Jun Sun}, title = {{Reasoning Support for Semantic Web Ontology Family Languages Using Alloy}}, journal = {{International Journal of Multiagent and Grid Systems, Special issue on Agent-Oriented Software Development Methodologies}}, volume = {2}, number = {4}, pages = {455-471}, month = {December}, year = {2006}, issn = {1574-1702}, publisher = {IOS press}, address = {Amsterdam, Netherlands}, url = {http://iospress.metapress.com/openurl.asp?genre=issue&issn=1574-1702&volume=2&issue=4} }