From: Ian Horrocks (horrocks@cs.man.ac.uk)
Date: 11/14/03
OK by me - go ahead and do it. One extra thing, I guess that horn should be Horn. Ian On November 14, Harold Boley writes: > 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