GitHub repository: nbassili/SWRL2SPIN
Primary language: Prolog
Created: 2018-01-24T15:19:31Z
Description: SWRL2SPIN is a tool built in SWI-Prolog for transforming SWRL rules to SPIN rules