@inproceedings{SEKE.2005.626-631,
 author = {Hai Wang and Jin Song Dong and Jing Sun},
 title = {{Reasoning Support for SWRL-FOL Using Alloy}},
 booktitle = {SEKE '05: Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering},
 month = {July},
 year = {2005},
 location = {Taipei, Taiwan},
 isbn = {1-891706-16-0},
 pages = {626-631},
 publisher = {Knowledge Systems Institute Graduate School},
 address = {Skokie, Illinois, USA}
}