- From: Daniel Elenius <elenius@csl.sri.com>
- Date: Mon, 04 Jun 2007 19:32:20 -0700
- To: www-rdf-rules@w3.org
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