Reasoning Support for SWRL-FOL Using Alloy.

Hai H. Wang, Jin Song Dong, Jing Sun

Browse the full SEKE paper archive.