Submission request to W3C (W3C Team Comment)
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:
which collectively are referred to as "the submission". We request the submission be known as the SWRL FOL submission.
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.
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.
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:
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.
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.
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.
We suggest that the Consortium consider this as a starting point for work in a new rules working group within the Semantic Web Activity.
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.
Inquiries from the public or press about this submission should be directed to the authors.
this 25th day of January, 2005,
Glen Newton, National Research Council of Canada
Jeff Pollock, Network Inference
Deborah L. McGuinness, Stanford University