More bugs in SWRL/SWRL FOL XML schemas

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 UTC