Reasoning Support for SWRL-FOL Using Alloy

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.

Abstract

Abstract is missing.