SWRL FOL (November 2004)

This directory contains the Semantic Web Rule Language (SWRL) First Order Logic (FOL) language released by the Joint Committee on 2 November 2004. This is the first release of SWRL FOL.

Documents in this release include:

• announcement
• A Proposal for a SWRL Extension to First-Order Logic, which specifies the syntax and semantics of SWRL FOL
• FOL RuleML 0.9, which places the SWRL FOL syntax within a larger rule framework
• SWRL 0.7 (a revision of the W3C Member Submission and incorporated by reference), which provides atoms and builtins
• fol.xsd, an XML Schema specification for SWRL FOL

Send comments to [email protected] (archives).

Authors

The following individuals led the preparation of the SWRL FOL (November 2004) release.

• Harold Boley
• Mike Dean
• Benjamin Grosof
• Ian Horrocks
• Peter Patel-Schneider
• Said Tabet
• Gerd Wagner