A Proposal for a SWRL Extension towards First-Order Logic
Relevance
SWRL FOL is cited in the Working Group Charter
Impact on Design
(an analysis on how this subject contraints the design of RIF)
For More Information
http://www.w3.org/Submission/2005/01/
The author of SWRL FOL is a WG member: