Add dependent slots to Deliberation PSOA RuleML

[greenTara]

Starting from Deliberation PSOA 1.03, the element
<slotdep>
will be added.
It can be used in Atoms like
<Atom> <oid><Ind>John</Ind></oid><op><Rel>TA</Rel></op> <slotdep><Ind>workload</Ind><Ind>high</Ind></slotdep> </Atom>

[greenTara]

Examples will be added to test the new schema modules and illustrating the new language features. The XML files will be added to directories like exa/DatalogPSOA.

[greenTara]

Add slotdep module by duplicating the slot module.

Test using datalog_normal as the starting point (for now).
A new schema datalogPSOA_normal.rnc will be added to /relaxng.

A test suite will be added duplicating the example in exa. However, the association will refer to the local schema (datalogPSOA_normal.rnc) because the bash scripts are not yet in use.

An indep_valid_modules file will be added manually.

This step implemented by
RuleML/deliberation-ruleml@90c7c5b
RuleML/deliberation-ruleml@7cbb955

[greenTara]

Extend the content models of <Atom> and <Expr> to include zero or more dependent slots following positional arguments and preceding independent slots. The pattern

slotsForAtoms.sequence |= slotTermsForAtoms.sequence, restOfSlots-edge.choice?

becomes

slotsForAtoms.sequence |= slotdepTermsForAtoms.sequence, slotTermsForAtoms.sequence, restOfSlots-edge.choice?

and similarly for slotsForExpr.sequence.

A test suite hornlogPSOA was added to deal with the case of dependent slots in functional expressions.

Implemented in the following commits:
RuleML/deliberation-ruleml@5178e2d
RuleML/deliberation-ruleml@be6f9db
RuleML/deliberation-ruleml@d8218fd
RuleML/deliberation-ruleml@905e295

[greenTara]

Due to the sharing of patterns, these changes lead to changes in the content models of <Plex> and <Uniterm>. It is not clear if this is appropriate, as there is no predicate in a <Plex> for the slots to depend on. Before finalizing this issue, it should be considered to split slotsForExpressions.sequence to create a new pattern slotsForPlexes.sequence that does not allow dependent slots.

[rimachaudhari]

The following commits complete the implementation (anti-chronological):
RuleML/deliberation-ruleml@a94f063
RuleML/deliberation-ruleml@f25d2ad
RuleML/deliberation-ruleml@33e70d5
RuleML/deliberation-ruleml@5320e9e
RuleML/deliberation-ruleml@8074c8d
RuleML/deliberation-ruleml@ecda706
RuleML/deliberation-ruleml@b85e7fe
RuleML/deliberation-ruleml@03151ac
RuleML/deliberation-ruleml@905e295
RuleML/deliberation-ruleml@d8218fd
RuleML/deliberation-ruleml@be6f9db
RuleML/deliberation-ruleml@5178e2d
RuleML/deliberation-ruleml@7cbb955
RuleML/deliberation-ruleml@90c7c5b
RuleML/deliberation-ruleml@9c0f2d9
RuleML/deliberation-ruleml@15eef99
RuleML/deliberation-ruleml@aed13be
RuleML/deliberation-ruleml@93b02d6

[rimachaudhari]

The following commits complete the implementation (anti-chronological):
RuleML/deliberation-ruleml@994f573
RuleML/deliberation-ruleml@cddce5e
RuleML/deliberation-ruleml@50d18bb

[greenTara]

In normalizer_module.xslt, change all occurrences of

          local-name(.)!='repo' and 
          local-name(.)!='slot' and

to

          local-name(.)!='repo' and 
          local-name(.)!='slotdep' and
          local-name(.)!='slot' and

Also

  <xsl:apply-templates select="ruleml:repo" mode="phase-2"/>
  <xsl:apply-templates select="ruleml:slot" mode="phase-2"/>

to

  <xsl:apply-templates select="ruleml:repo" mode="phase-2"/>
  <xsl:apply-templates select="ruleml:slotdep" mode="phase-2"/>
  <xsl:apply-templates select="ruleml:slot" mode="phase-2"/>

and similarly for other occurrences of slot.