W3C home > Mailing lists > Public > www-rdf-rules@w3.org > June 2007

More bugs in SWRL/SWRL FOL XML schemas

From: Daniel Elenius <elenius@csl.sri.com>
Date: Mon, 04 Jun 2007 19:32:20 -0700
To: www-rdf-rules@w3.org
Message-Id: <1181010740.3316.14.camel@localhost.localdomain>

In the SWRL schema, there are references to an element ruleml:var, but
this is not defined anywhere.

The SWRL spec seems to say that this is just supposed to hold an
xsd:string as content, so the definition should be

<xsd:element name="ruleml:var" type="xsd:string" />

In the SWRL FOL schema, ruleml:var is used as a *type* (in the
quantifiedFormula type definition).

This problem could be solved (in a way that would validate the SWRL FOL
examples) by replacing the quantifiedFormula definition by:

<xsd:complexType name="quantifiedformula">
    <xsd:element name="ruleml:Var" type="varDecl" minOccurs="1" maxOccurs="unbounded"/>
    <xsd:group name="formula" minOccurs="1" maxOccurs="1"/>

<xsd:complexType name="varDecl">
    <xsd:extension base="xsd:string">    
      <xsd:attribute name="type" type="xsd:anyURI" />

Received on Tuesday, 5 June 2007 02:32:39 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:18 UTC