SWRL Submission published by W3C

I've copied most of the title page, below.

    -- sandro

================================================================

SWRL: A Semantic Web Rule Language
Combining OWL and RuleML

W3C Member Submission 21 May 2004

This version:
    http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/ 
Latest version:
    http://www.w3.org/Submission/SWRL/
Authors:
    Ian Horrocks, Network Inference
    Peter F. Patel-Schneider, Bell Labs Research, Lucent Technologies
    Harold Boley, National Research Council of Canada
    Said Tabet, Macgregor, Inc.
    Benjamin Grosof, Sloan School of Management, MIT
    Mike Dean, BBN Technologies 

** ABSTRACT

This document contains a proposal for a Semantic Web Rule Language
(SWRL) based on a combination of the OWL DL and OWL Lite sublanguages
of the OWL Web Ontology Language with the Unary/Binary Datalog RuleML
sublanguages of the Rule Markup Language. SWRL includes a high-level
abstract syntax for Horn-like rules in both the OWL DL and OWL Lite
sublanguages of OWL. A model-theoretic semantics is given to provide
the formal meaning for OWL ontologies including rules written in this
abstract syntax. An XML syntax based on RuleML and the OWL XML
Presentation Syntax as well as an RDF concrete syntax based on the OWL
RDF/XML exchange syntax are also given, along with several examples.
Status of this document

** STATUS OF THIS DOCUMENT

This is a member submission, offered by the National Research Council
of Canada, Network Inference and Stanford University, on behalf of
themselves and the authors, in association with the Joint US/EU ad hoc
Agent Markup Language Committee (Joint Committee).

The W3C Team Comment discusses this submission in the context of W3C
activities. Public comment on this document is invited on the mailing
list www-rdf-rules@w3.org (public archive). Announcements and current
information may also be available on the DAML Rules page. A snapshot
of the issues list, archived at the time of this submission, is
available.

By publishing this document, W3C acknowledges that the National
Research Council of Canada, Network Inference and Stanford University
have made a formal submission to W3C for discussion. Publication of
this document by W3C indicates no endorsement of its content by W3C,
nor that W3C has, is, or will be allocating any resources to the
issues addressed by it. This document is not the product of a
chartered W3C group, but is published as potential input to the W3C
Process. Publication of acknowledged Member Submissions at the W3C
site is one of the benefits of W3C Membership. Please consult the
requirements associated with Member Submissions of section 3.3 of the
W3C Patent Policy. Please consult the complete list of acknowledged
W3C Member Submissions.

Received on Friday, 21 May 2004 15:55:26 UTC