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:sequence>
    <xsd:element name="ruleml:Var" type="varDecl" minOccurs="1" maxOccurs="unbounded"/>
    <xsd:group name="formula" minOccurs="1" maxOccurs="1"/>
  </xsd:sequence>
</xsd:complexType>

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


Daniel
Received on Tuesday, 5 June 2007 02:32:39 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:53:13 GMT