adding the original RNG file from Adrian

Signed-off-by: greenTara <taraathan@gmail.com>
The original RNG did not validate, so I corrected validation problems and then converted to RNC.

Signed-off-by: greenTara <taraathan@gmail.com>
content models modified for Implies and Rules, plus node attributes optionalized
allow for optional key, key ref, xml:base and xml:id attributes (rather than required)
fixed garbling of if, then, else, do patterns, with greater positional independence
through interleave.

Signed-off-by: greenTara <taraathan@gmail.com>
adding temporary examples for Relax NG development

Signed-off-by: greenTara <taraathan@gmail.com>
corrected schema path problems in examples

Signed-off-by: greenTara <taraathan@gmail.com>
updated RNC schema to include some Deliberation modules
dr.rnc now “includes”
  unordered
  stripe-skipping
  default_inf
  default_absent
  default_present
  equal
  oriented_attrib
  oriented_non-default
  oriented-default
  type
  init
  explicit_datatyping
  dataterm_simple
  data_simple_content
  dataterm_any
  data_any_content
  skolem
  individual
  variable
  xml_base
  xml_id

The components defined in these modules have had their definitions removed from dr.rnc .  This includes
  node.attrib
  xml.attlist
  declare.attlist
  torso.attlist
  degree.attlist
  Ind
  Data
  Var
  Skolem
  Reify
  repo.attlist
  resl.attlist
  Equal
  weak.attlist
  strong.attlist

Many start options were removed - is there a reason these elements should be global?  (XSD makes them that way by default, so that’s how they get translated into RNC, but in RNC we have a choice.)
I kept the start’s for the performatives - this was useful in the xi:include example.

Signed-off-by: greenTara <taraathan@gmail.com>
Put @key and @keyref back onto all elements (edges as well as nodes)

I made an incorrect assumption earlier that these attributes would only be on nodes,
so I bundled them with commonNodeattlist, but really they belong in commonInitattlist

Signed-off-by: greenTara <taraathan@gmail.com>
fixing type, iri and xsi:schemalLocation attributes and Equal content model

type.value is redefined in the import of the type module
  then Type.attlist is used to incorporate it into content models
added the iri module
added the xsi_schemaLocation module

Signed-off-by: greenTara <taraathan@gmail.com>
adding redefined nodes to Node.choice, otherwise Reify has problems
content models for Atom, Expr and Plex repaired with temporary patch

Eventually, the modules for Atom, Expr and Plex will be included,
just like it is done for Equal now. However, until that is done
the content model, from the documentation, is used directly
to overcome validation problems.

At this point, all examples validate, overlooking XInclude problems.

Signed-off-by: greenTara <taraathan@gmail.com>
Adding Relax NG PI to all exa

Reverting to remote IRI for xsd with xxi:schemaLocation
now that Relax NG can validate this attribute.
replacing some internal element constructions with named patterns, for clarity

Signed-off-by: greenTara <taraathan@gmail.com>
monolithic and simplified schema generated with rngconv and jing

Signed-off-by: greenTara <taraathan@gmail.com>
making use of included definition for the idi attribute

Signed-off-by: greenTara <taraathan@gmail.com>
modularization of “default” attributes on Rule elements

The schema converted from XSD has a “default value” annotation inserted by the convertor.
This has not real purpose in our Relax NG framework. Instead we have a pattern for
managing attributes with “default values”.

This commit demonstrates how that is implemented on the new Rule element, which includes a
new attribute @style with default value “reasoning”.

Note that 6 different modules interact to create the necessary behavior.
Three of them are specific to the @style attribute, and three may be shared
by all default attributes introduced in Reaction RuleML.
Note that these default values are a major headache from many angles, not just Relax NG, and I hope we can redesign
all of them soon.

Signed-off-by: greenTara <taraathan@gmail.com>
attribute fixes - iri is optional, direction imported

Signed-off-by: greenTara <taraathan@gmail.com>
all occurrences of attributes direction, material and their Map equivalents are integrated with the Deliberation RuleML
treatment of attributes with default values.

Signed-off-by: greenTara <taraathan@gmail.com>
clean up

* removed documentation causing syntax highlighting problems
* pretty-printed
* improved integration of Equal, including use of AnyTerm.choice and Node.header

Signed-off-by: greenTara <taraathan@gmail.com>
atom module and requisites included, with improved Node.header development

The subsequences of the ordered header are incorporated, allowing extension at intermediate points in the ordered sequence.
The atom module from Deliberation RuleML replaces the explicit content model for the element Atom.
It is also necessary to include slots, repo, resl and polyadic terms as well as closure, slot cardinality, slot weights.
We bring in degree at the same time.
An extension is needed to allow the “effectful” per attribute to occur on the Rel element.
Documentation of included components is removed or minimized.

Signed-off-by: greenTara <taraathan@gmail.com>
Adding an independent translation from XSD to simplified Relax NG

Signed-off-by: greenTara <taraathan@gmail.com>