- From: Sandro Hawke <sandro@w3.org>
- Date: Fri, 21 May 2004 16:01:47 -0400
- To: www-rdf-rules@w3.org
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