This is an archive of an inactive wiki and cannot be modified.

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:

PeterPatelSchneider

Other