Hai H. Wang, Jin Song Dong, Jing Sun. Reasoning Support for SWRL-FOL Using Alloy. In William C. Chu, Natalia Juristo Juzgado, W. Eric Wong, editors, Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, Taiwan, Republic of China, July 14-16, 2005. pages 626-631, 2005.
@inproceedings{WangDS05:1,
title = {Reasoning Support for SWRL-FOL Using Alloy},
author = {Hai H. Wang and Jin Song Dong and Jing Sun},
year = {2005},
tags = {SWRL},
researchr = {https://researchr.org/publication/WangDS05%3A1},
cites = {0},
citedby = {0},
pages = {626-631},
booktitle = {Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, Taiwan, Republic of China, July 14-16, 2005},
editor = {William C. Chu and Natalia Juristo Juzgado and W. Eric Wong},
isbn = {1-891706-16-0},
}