From: Harold Boley (boley@informatik.uni-kl.de)
Date: 11/14/03
Hi Mike and All, Thanks, that's great progress! Below are my suggestions for the Tuesday release version. "x-->y" means "replace x by y" "==>y" means "generate y from nothing" Please also use my shortest URL, http://www.cs.unb.ca/~boley. Best, Harold Abstract This document contains a proposal for a Semantic Web Rules-->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 clause rules-->horn-like rules in both the OWL DL and OWL Lite sublanguages of OWL. A model-theoretic semantics is given to provide a-->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 and-->as well as a mapping to RDF graphs based on the OWL RDF/XML exchange syntax are also given, along with several examples. 1. Introduction This document contains a proposal for a Semantic Web Rules-->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. The proposal extends the set of OWL axioms to include horn clause rules-->horn-like rules. A high-level abstract syntax is provided that extends the OWL abstract syntax described in the OWL Semantics and Abstract Syntax document [OWL S&AS]. An extension of the OWL model-theoretic semantics is also given to provide a-->the formal meaning for OWL ontologies including rules written in this abstract syntax. . . . As well as an extension of the OWL abstract syntax, an extension of the OWL XML syntax is given for these rules, and an example of how to provide an RDF/XML syntax for these rules. --> An XML syntax is also given for these rules based on RuleML and the OWL XML presentation syntax. Finally, a mapping to RDF graphs based on the OWL RDF/XML exchange syntax is presented. The rule syntaxes are illustrated with several running examples. 2. Abstract Syntax The syntax for OWL-->SWRL Rules ... [everywhere] . . . 5. XML Concrete Syntax ... This has several advantages: ... * the existing XSLT stylesheet (owlxml2rdf.xsl) can easily be extended to provide a mapping to RDF graphs that extends the OWL RDF/XML exchange syntax (see Section 5-->6). ==> * OWL-RuleML interoperation is simplified, existing RuleML tools can be adapted to SWRL, and a rule extension path to n-ary, function-term, and further RuleML sublanguages is prepared.
This archive was generated by hypermail 2.1.4 : 11/14/03 EST