1.The map attributes on various elements (performatives and Rulebases) that are inherited from Deliberation RuleML are disallowed by DR Reaction RuleML. Because these attributes have default values, they are required to be present in the normalized form, leading to an incompatibility for this version. For the release to LegalRuleML, we will remove performatives. However, Rulebase is still relevant to LegalRuleML because of its possible appearance in scope, etc. and its required role in Entails. The map attributes on Rulebase need to be harmonized in some way.
@safety is not allowed on Profile by the XSD
size? there is some confusing documentation, and it doesn't appear in the glossary. The Relax NG has it appearing on Profile, but the XSD does not allow it.
in general, the question is how Deliberation and Reaction RuleML 1.0 are integrated into LegalRuleML, e.g. map attributes vs. non-map attributes or outer quantification vs. inner quantification
readded @safety which was accidentally removed from Profile by the grouping of attributes
@size was removed, since there are already the @card/@maxCard/@minCard attributes
1.The map attributes on various elements (performatives and Rulebases) that are inherited from Deliberation RuleML are disallowed by DR Reaction RuleML. Because these attributes have default values, they are required to be present in the normalized form, leading to an incompatibility for this version. For the release to LegalRuleML, we will remove performatives. However, Rulebase is still relevant to LegalRuleML because of its possible appearance in scope, etc. and its required role in Entails. The map attributes on Rulebase need to be harmonized in some way.
size? there is some confusing documentation, and it doesn't appear in the glossary. The Relax NG has it appearing on Profile, but the XSD does not allow it.