Consumer RuleML

[greenTara]

From http://wiki.ruleml.org/index.php/Consumer_Dialect_of_RuleML

[greenTara]

To allow exclusion map attributes from Consumer RuleML, split the modules defining the attributes (i.e. closure and material) into two.

closure, material, direction
mapclosure, mapmaterial, mapdirection

[greenTara]

To exclude performatives while resusing patterns from the performatives content models, split the performatives module into two:

performatives
performatives_content

[greenTara]

For Refinement C http://wiki.ruleml.org/index.php/Consumer_RuleML#Refinement_C add @closure to all formula elements in folog module

[greenTara]

Separated closure from the folog_cl module to allow consumer-reaction to have @closure everywhere, but not relaxing formula nesting restrictions. See https://github.com/RuleML/deliberation-ruleml/commit/579ebc209aa78e41a1398d211b908fc35bd6b60b

[greenTara]

Add @style and @type to the appropriate elements @style on all non-leaf nodes (only) @type on all leaf nodes plus Interval, Spatial and Time https://github.com/RuleML/consumer-ruleml/commit/ae3f8a81cd923ae9e9d0ccb517d3a22787f8dc9e#diff-9e1d39c231dc00b80b3a104a4711f978

This requires a change to deliberation, since that has allowed @type on Expr - the type attribute for Expr is put into a separate module so the remaining Expr module can be included into Consumer

removing meta https://github.com/RuleML/consumer-ruleml/commit/11c4187b62d5cf39ff65fd4b0b9d85c6f689cf5e#diff-9e1d39c231dc00b80b3a104a4711f978

predefined types for @ style https://github.com/RuleML/consumer-ruleml/commit/e493ab940886a9b680ae7b03364371ac90601c26#diff-9e1d39c231dc00b80b3a104a4711f978

[greenTara]

removing iri from generics (@style will be used to specify semantics) making @index on Operation required in normalized serialization

[greenTara]

Commit to close issue49 a7771de165f85342a9bce1a88e6d1023a4532f49