RuleML / issues-ruleml

A repository solely for RuleML issues. No schemas or documents should be committed here.
3 stars 3 forks source link

Implement oids in Expr as module #54

Closed greenTara closed 9 years ago

greenTara commented 9 years ago

There are sublanguages/families (e.g. Consumer) where it is desirable to have allowed on atomic formulas but not in functional expressions (). The current Relax NG schema modularization does not allow this.

A new expr_oid_expansion_module will be created so this can add to in Deliberation, and this module will not be included in Consumer.