W3C | Submissions

Submission request to W3C (W3C Team Comment)


Semantic Web Rule Language First-Order Logic (SWRL FOL)

We, W3C members National Research Council of Canada, Network Inference, and Stanford University hereby submit to the Consortium the following specification, comprising the following document(s) attached hereto:

  1. A Proposal for a SWRL Extension towards First Order Logic
  2. FOL RuleML: The First-Order Logic RuleML Language
  3. An XML Schema for the SWRL FOL XML Concrete Syntax

which collectively are referred to as "the submission". We request the submission be known as the SWRL FOL submission.

Abstract

This is a description of a proposed extension of SWRL to handle unary/binary first-order logic. This is intended to be a minimal extension that fits well with SWRL, OWL, and RDF. Transformation-based techniques to handle functions and n-ary predicates are suggested in an appendix.

Change control

The authors expect to continue evolution of SWRL FOL until such time as a W3C rules working group is formed. After that time, we would expect future versions to be produced by W3C process.

Intellectual property Rights

The below statements concerning Copyrights, Trade and Service Marks, and Patents, have been made by the following people on behalf of themselves and their affiliated organizations:

Copyrights

Each organization, respectively, hereby grants to the W3C, a perpetual, nonexclusive, royalty-free, world-wide right and license under any of its copyrights in this contribution to copy, publish and distribute the contribution under the W3C document licenses.

Additionally, should the Submission be used as a contribution towards a W3C Activity, each organization grants a right and license of the same scope to any derivative works prepared by the W3C and based on, or incorporating all or part of, the contribution. Each organization further agrees that any derivative works of this contribution prepared by the W3C shall be solely owned by the W3C.

Trade and Service Marks

We agree that the trade and service marks that are associated with and identify this specific submission (SWRL FOL) will be governed by the W3C Trademark and Servicemark License.

Patents

National Research Council of Canada, Network Inference, Stanford University, Macgregor, Inc., BBN Technologies, DFKI, and Brandenburgische Technische Universität Cottbus, and Massachusetts Institute of Technology agree to offer licenses according to the W3C Royalty-Free licensing requirements described in section 5 of the 5 February 2004 W3C Patent Policy for any portion of the Submission that is subsequently incorporated in a W3C Recommendation.

Lucent Technologies does not agree to offer licenses according to the W3C Royalty-Free licensing requirements described in section 5 of the 5 February 2004 W3C Patent Policy for any portion of the Submission that is subsequently incorporated in a W3C Recommendation.

Additionally, all co-authors claim to have no personal knowledge of any IPR claims help by their respective organizations regarding SWRL FOL.

Suggested action

We suggest that the Consortium consider this as a starting point for work in a new rules working group within the Semantic Web Activity.

Resources

To help with this work, the National Research Council of Canada, Network Inference, and Stanford University each expect, but do not commit, to be able to provide one member of the working group. Other of the creators also expect to be able to serve on the working group.

Contact

Inquiries from the public or press about this submission should be directed to the authors.

Submitted

this 25th day of January, 2005,

Glen Newton, National Research Council of Canada
Jeff Pollock, Network Inference
Deborah L. McGuinness, Stanford University