key and keyref not allowed when validating against original XSD

[greenTara]

Instance generated with a root element other than "RuleML" seem to give different validation errors than instances having the "RuleML" root.
Instances with a root such as "Rule" :

1. do not give errors about non-unique key values
2. do give errors saying that key and keyref are not allowed on various elements

[greenTara]

It seems that I do get the same errors of the second type even when the root element is "RuleML", they just are buried under the many more errors about non-unique key values.

Attribute @keyref is not allowed on element <oid> (in Spatial)
Attribute @keyref is not allowed on element <formula> (in Negation)
Attribute @keyref is not allowed on element <And> (in guard)
Attribute @keyref is not allowed on element <oid> (in And)
Attribute @keyref is not allowed on element <Or> (in formula in And)

[apaschke]

added missing key and keyref

[greenTara]

Adrian - will you run the instance generator for the new XSD (files are stored in auto-gen/dr-xsd), or should I do that?