A proposal for a SWRL extension to forst-order logic. http://www.daml.org/2004/11/fol/proposal (2004)

by P Patel-Schneider