diff --git a/bash/std2xsd.sh b/bash/std2xsd.sh
new file mode 100755
index 00000000..a0312b93
--- /dev/null
+++ b/bash/std2xsd.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+APP_HOME=/Users/taraathan/Library/
+LIB=${APP_HOME}Java/Extensions/
+CP1=${LIB}jing-20091111/jing.jar
+CP2=${LIB}trang-20091111/trang.jar
+
+java -jar "${CP1}" -cs $1 > ../relaxng/tmp-std2xsd.rng
+java -jar "${CP2}" -o disable-abstract-elements -o any-process-contents=lax ../relaxng/tmp-std2xsd.rng $2
+rm ../relaxng/tmp-std2xsd.rng
\ No newline at end of file
diff --git a/bash/web2rnc.sh b/bash/web2rnc.sh
new file mode 100644
index 00000000..c8f27144
--- /dev/null
+++ b/bash/web2rnc.sh
@@ -0,0 +1,74 @@
+#!/bin/bash
+# Download RNC schemas from MYNG for local testing
+# datalog_min_relaxed.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x0&terms=x200&quant=x0&expr=x0&serial=xf" > ../relaxng/datalog_min_relaxed.rnc
+# disdatalog_min_relaxed.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x30&terms=x200&quant=x0&expr=x0&serial=xf" > ../relaxng/disdatalog_min_relaxed.rnc
+# datalog_min_normal.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x1&implies=x0&terms=x200&quant=x0&expr=x0&serial=xc" > ../relaxng/datalog_min_normal.rnc
+# disdatalog_min_normal.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x1&implies=x30&terms=x200&quant=x0&expr=x0&serial=xc" > ../relaxng/disdatalog_min_normal.rnc
+
+# datalogeq_min_relaxed.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x0&terms=x210&quant=x0&expr=x0&serial=xf" > ../relaxng/datalogeq_min_relaxed.rnc
+# disdatalogeq_min_relaxed.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x30&terms=x210&quant=x0&expr=x0&serial=xf" > ../relaxng/disdatalogeq_min_relaxed.rnc
+# datalogeq_min_normal.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x1&implies=x0&terms=x210&quant=x0&expr=x0&serial=xc" > ../relaxng/datalogeq_min_normal.rnc
+# disdatalogeq_min_normal.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x1&implies=x30&terms=x210&quant=x0&expr=x0&serial=xc" > ../relaxng/disdatalogeq_min_normal.rnc
+
+# datalogex_min_relaxed.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x40&terms=x200&quant=x0&expr=x0&serial=xf" > ../relaxng/datalogex_min_relaxed.rnc
+# disdatalogex_min_relaxed.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x70&terms=x200&quant=x0&expr=x0&serial=xf" > ../relaxng/disdatalogex_min_relaxed.rnc
+# datalogex_min_normal.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x1&implies=x40&terms=x200&quant=x0&expr=x0&serial=xc" > ../relaxng/datalogex_min_normal.rnc
+# disdatalogex_min_normal.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x1&implies=x70&terms=x200&quant=x0&expr=x0&serial=xc" > ../relaxng/disdatalogex_min_normal.rnc
+
+# datalogexeq_min_relaxed.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x40&terms=x210&quant=x0&expr=x0&serial=xf" > ../relaxng/datalogexeq_min_relaxed.rnc
+# disdatalogexeq_min_relaxed.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x70&terms=x210&quant=x0&expr=x0&serial=xf" > ../relaxng/disdatalogexeq_min_relaxed.rnc
+# datalogexeq_min_normal.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x1&implies=x40&terms=x210&quant=x0&expr=x0&serial=xc" > ../relaxng/datalogexeq_min_normal.rnc
+# disdatalogexeq_min_normal.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x1&implies=x70&terms=x210&quant=x0&expr=x0&serial=xc" > ../relaxng/disdatalogexeq_min_normal.rnc
+
+# datalogexand_min_relaxed.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x48&terms=x200&quant=x0&expr=x0&serial=xf" > ../relaxng/datalogexand_min_relaxed.rnc
+# disdatalogexand_min_relaxed.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x78&terms=x200&quant=x0&expr=x0&serial=xf" > ../relaxng/disdatalogexand_min_relaxed.rnc
+# datalogexand_min_normal.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x1&implies=x48&terms=x200&quant=x0&expr=x0&serial=xc" > ../relaxng/datalogexand_min_normal.rnc
+# disdatalogexand_min_normal.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x1&implies=x78&terms=x200&quant=x0&expr=x0&serial=xc" > ../relaxng/disdatalogexand_min_normal.rnc
+
+# datalogand_min_relaxed.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x40&terms=x200&quant=x0&expr=x0&serial=xf" > ../relaxng/datalogand_min_relaxed.rnc
+# disdatalogand_min_relaxed.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x70&terms=x200&quant=x0&expr=x0&serial=xf" > ../relaxng/disdatalogand_min_relaxed.rnc
+# datalogand_min_normal.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x1&implies=x8&terms=x200&quant=x0&expr=x0&serial=xc" > ../relaxng/datalogand_min_normal.rnc
+# disdatalogand_min_normal.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x1&implies=x38&terms=x200&quant=x0&expr=x0&serial=xc" > ../relaxng/disdatalogand_min_normal.rnc
+
+# ncdatalog_min_relaxed.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x10&terms=x200&quant=x0&expr=x0&serial=xf" > ../relaxng/ncdatalog_min_relaxed.rnc
+# ncdatalog_min_normal.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x1&implies=x10&terms=x200&quant=x0&expr=x0&serial=xc" > ../relaxng/ncdatalog_min_normal.rnc
+
+# datalogplus_min_relaxed.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x58&terms=x210&quant=x0&expr=x0&serial=xf" > ../relaxng/datalogplus_min_relaxed.rnc
+# disdatalogplus_min_relaxed.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x78&terms=x210&quant=x0&expr=x0&serial=xf" > ../relaxng/disdatalogplus_min_relaxed.rnc
+# datalogplus_min_normal.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x1&implies=x58&terms=x210&quant=x0&expr=x0&serial=xc" > ../relaxng/datalogplus_min_normal.rnc
+# disdatalogplus_min_normal.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x1&implies=x78&terms=x210&quant=x0&expr=x0&serial=xc" > ../relaxng/disdatalogplus_min_normal.rnc
+
+# unprop_relaxed.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x0&default=x7&termseq=x1&lng=x1&propo=x0&implies=x0&terms=x0&quant=x0&expr=x0&serial=xb" > ../relaxng/unprop_relaxed.rnc
+# unprop_normal.rnc
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x0&default=x6&termseq=x1&lng=x1&propo=x0&implies=x0&terms=x0&quant=x0&expr=x0&serial=x8" > ../relaxng/unprop_normal.rnc
diff --git a/bash/web2xsd.sh b/bash/web2xsd.sh
new file mode 100644
index 00000000..9b039b43
--- /dev/null
+++ b/bash/web2xsd.sh
@@ -0,0 +1,39 @@
+#!/bin/bash
+
+# Auto-generate XSD from MYNG RNC
+# http://deliberation.ruleml.org/1.01/xsd/datalogplus_min.xsd
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x58&terms=x210&quant=x0&expr=x0&serial=x0" > ../relaxng/tmp-web2xsd.rnc
+./std2xsd.sh ../relaxng/tmp-web2xsd.rnc ../xsd/datalogplus_min.xsd
+
+# http://deliberation.ruleml.org/1.01/xsd/disdatalogplus_min.xsd
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x78&terms=x210&quant=x0&expr=x0&serial=x0" > ../relaxng/tmp-web2xsd.rnc
+./std2xsd.sh ../relaxng/tmp-web2xsd.rnc ../xsd/disdatalogplus_min.xsd
+
+# http://deliberation.ruleml.org/1.01/xsd/datalogplus_min_normal.xsd
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x1&implies=x58&terms=x210&quant=x0&expr=x0&serial=x0" > ../relaxng/tmp-web2xsd.rnc
+./std2xsd.sh ../relaxng/tmp-web2xsd.rnc ../xsd/datalogplus_min_normal.xsd
+
+# http://deliberation.ruleml.org/1.01/xsd/disdatalogplus_min_normal.xsd
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x1&implies=x78&terms=x210&quant=x0&expr=x0&serial=x0" > ../relaxng/tmp-web2xsd.rnc
+./std2xsd.sh ../relaxng/tmp-web2xsd.rnc ../xsd/disdatalogplus_min_normal.xsd
+
+# http://deliberation.ruleml.org/1.01/xsd/datalogplus_mid.xsd
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x3c1&implies=x5e&terms=xf10&quant=x0&expr=x0&serial=x0" > ../relaxng/tmp-web2xsd.rnc
+./std2xsd.sh ../relaxng/tmp-web2xsd.rnc ../xsd/datalogplus_mid.xsd
+
+# http://deliberation.ruleml.org/1.01/xsd/disdatalogplus_mid.xsd
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x3c1&implies=x7e&terms=xf10&quant=x0&expr=x0&serial=x0" > ../relaxng/tmp-web2xsd.rnc
+./std2xsd.sh ../relaxng/tmp-web2xsd.rnc ../xsd/disdatalogplus_mid.xsd
+
+# http://deliberation.ruleml.org/1.01/xsd/datalogplus_mid_normal.xsd
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x3c1&implies=x5e&terms=xf10&quant=x0&expr=x0&serial=x0" > ../relaxng/tmp-web2xsd.rnc
+./std2xsd.sh ../relaxng/tmp-web2xsd.rnc ../xsd/datalogplus_mid_normal.xsd
+
+# http://deliberation.ruleml.org/1.01/xsd/disdatalogplus_mid_normal.xsd
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x6&termseq=x7&lng=x1&propo=x3c1&implies=x7e&terms=xf10&quant=x0&expr=x0&serial=x0" > ../relaxng/tmp-web2xsd.rnc
+./std2xsd.sh ../relaxng/tmp-web2xsd.rnc ../xsd/disdatalogplus_mid_normal.xsd
+
+
+curl -L "http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x3c1&implies=x5e&terms=xf30&quant=x0&expr=x0&serial=x0" > ../relaxng/tmp-web2xsd.rnc
+./std2xsd.sh ../relaxng/tmp-web2xsd.rnc ../xsd/datalogplus_mid.xsd
+rm ../relaxng/tmp-web2xsd.rnc
\ No newline at end of file
diff --git a/exa/DatalogPlus/datalogex_min/datalogex_min.ruleml b/exa/DatalogPlus/datalogex_min/datalogex_min.ruleml
deleted file mode 100644
index 0dbf9766..00000000
--- a/exa/DatalogPlus/datalogex_min/datalogex_min.ruleml
+++ /dev/null
@@ -1,76 +0,0 @@
-
-
-
-
-
-
-
-
-
-
- M
-
-
-
- manager
- x
-
-
-
-
- P
-
- directs
- M
- P
-
-
-
-
-
-
-
-
-
- E
- P
-
-
-
-
- employee
- E
-
-
- directs
- E
- P
-
-
-
-
-
- E'
-
-
- manager
- E
-
-
- supervises
- E
- E'
-
-
- works_in
- E'
- P
-
-
-
-
-
-
-
-
-
diff --git a/exa/DatalogPlus/datalogex_min/datalogex_min_normal.ruleml b/exa/DatalogPlus/datalogex_min/datalogex_min_normal.ruleml
deleted file mode 100644
index b7ef6624..00000000
--- a/exa/DatalogPlus/datalogex_min/datalogex_min_normal.ruleml
+++ /dev/null
@@ -1,106 +0,0 @@
-
-
-
-
-
-
-
-
-
- M
-
-
-
-
-
- manager
- x
-
-
-
-
-
- P
-
-
-
- directs
- M
- P
-
-
-
-
-
-
-
-
-
-
-
-
-
- E
-
-
- P
-
-
-
-
-
-
-
- employee
- E
-
-
-
-
- directs
- E
- P
-
-
-
-
-
-
-
- E'
-
-
-
-
-
- manager
- E
-
-
-
-
- supervises
- E
- E'
-
-
-
-
- works_in
- E'
- P
-
-
-
-
-
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/exa/DatalogPlus/datalogplus_min.ruleml b/exa/DatalogPlus/datalogplus_min.ruleml
new file mode 100644
index 00000000..e8db1039
--- /dev/null
+++ b/exa/DatalogPlus/datalogplus_min.ruleml
@@ -0,0 +1,210 @@
+
+
+
+
+
+
+
+
+
+
+ Bill
+ William
+
+
+
+
+ x
+
+ x
+ x
+
+
+
+
+
+ x
+ y
+
+ P
+ x
+ y
+
+
+
+
+
+ x
+
+
+
+ Jane
+ x
+
+
+
+
+ y
+
+ son
+ x
+ y
+
+
+
+
+
+
+
+
+ x
+
+
+
+ Px
+ Qx
+
+
+
+
+
+
+
+
+
+
+ x
+ y
+ z
+
+
+
+
+ mother
+ x
+ z
+
+
+ mother
+ y
+ z
+
+
+
+
+
+ x
+ y
+
+
+
+
+
+
+
+ x
+
+
+
+ mother
+ x
+ x
+
+
+
+
+
+
+
+
+
+
+
+
+ a
+ b
+
+
+
+
+
+
+
+
+
+
+ M
+
+
+
+ manager
+ x
+
+
+
+
+ P
+
+ directs
+ M
+ P
+
+
+
+
+
+
+
+
+
+ E
+ P
+
+
+
+
+ employee
+ E
+
+
+ directs
+ E
+ P
+
+
+
+
+
+ E'
+
+
+ manager
+ E
+
+
+ supervises
+ E
+ E'
+
+
+ works_in
+ E'
+ P
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/exa/DatalogPlus/disdatalogplus_min.ruleml b/exa/DatalogPlus/disdatalogplus_min.ruleml
new file mode 100644
index 00000000..f54c71d0
--- /dev/null
+++ b/exa/DatalogPlus/disdatalogplus_min.ruleml
@@ -0,0 +1,255 @@
+
+
+
+
+
+
+
+
+
+
+ Bill
+ William
+
+
+
+
+ x
+
+ x
+ x
+
+
+
+
+
+ x
+ y
+
+ P
+ x
+ y
+
+
+
+
+
+ x
+
+
+
+ Jane
+ x
+
+
+
+
+ y
+
+ son
+ x
+ y
+
+
+
+
+
+
+
+
+ x
+
+
+
+
+ P
+ x
+
+
+ Q
+ x
+
+
+
+
+
+
+
+
+
+
+
+ x
+ y
+ z
+
+
+
+
+ mother
+ x
+ z
+
+
+ mother
+ y
+ z
+
+
+
+
+
+ x
+ y
+
+
+
+
+
+
+
+ x
+
+
+
+ mother
+ x
+ x
+
+
+
+
+
+
+
+
+
+
+
+
+ a
+ b
+
+
+
+
+
+
+
+
+
+
+ E
+ P
+
+
+
+
+ employee
+ E
+
+
+ directs
+ E
+ P
+
+
+
+
+
+ E'
+
+
+ manager
+ E
+
+
+ supervises
+ E
+ E'
+
+
+ works_in
+ E'
+ P
+
+
+
+
+
+
+
+
+
+
+
+ P
+
+
+
+
+
+ Q
+
+
+ R
+
+
+
+
+
+ x
+
+
+
+ P
+ x
+
+
+
+
+
+ Q
+ x
+
+
+ R
+
+
+
+
+
+
+
+
+
+
+ P
+
+
+
+
+ x
+
+
+ Q
+ x
+
+
+ R
+
+
+
+
+
+
+
+
+
+
diff --git a/relaxng/datalog_min_relaxed.rnc b/relaxng/datalog_min_relaxed.rnc
deleted file mode 100644
index cdf2bce5..00000000
--- a/relaxng/datalog_min_relaxed.rnc
+++ /dev/null
@@ -1,131 +0,0 @@
-namespace dc = "http://purl.org/dc/elements/1.1/"
-namespace dcterms = "http://purl.org/dc/terms/"
-namespace ruleml = "http://ruleml.org/spec"
-
-dc:title [ "Deliberation RuleML Custom-Built Schema" ]
-dc:version [ "1.01" ]
-dc:creator [ "Tara Athan (taraathan AT gmail.com)" ]
-dc:subject [ "Deliberation RuleML, custom-built" ]
-dc:description [
- "custom-built main module for a Deliberation RuleML sublanguage."
-]
-dc:date [ "2014-03-16T08:26:48-04:00" ]
-dc:language [ "en" ]
-dcterms:rights [ "TBD" ]
-dc:relation [ "http://deliberation.ruleml.org/1.01" ]
-# Call parameters
-# Base URL = http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php
-# GET parameter: backbone=x7
-# GET parameter: default=x7
-# GET parameter: termseq=x7
-# GET parameter: lng=x1
-# GET parameter: propo=x1
-# GET parameter: implies=x0
-# GET parameter: terms=x200
-# GET parameter: quant=x0
-# GET parameter: expr=x0
-# GET parameter: serial=xf
-# Complete URL =
-# http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x0&terms=x200&quant=x0&expr=x0&serial=xf
- start = Node.choice | edge.choice
-#
-# ROOT NODE AND PERFORMATIVES INCLUDED
-#
-include "modules/performative_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATOMIC FORMULAS INCLUDED
-#
-include "modules/atom_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# CONJUNCTIONS AND DISJUNCTIONS INCLUDED
-#
-include "modules/andor_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# IMPLICATIONS INCLUDED
-#
-include "modules/implication_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# QUANTIFICATION OVER VARIABLES INCLUDED
-#
-include "modules/quantification_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES ARE INITIALIZED
-#
-include "modules/default_inf_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES ARE ABSENT OR OPTIONAL
-#
-include "modules/default_absent_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-include "modules/default_absent_folog_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES REQUIRED
-#
-include "modules/default_present_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# POLYADIC TERM (ONE OR MORE TERMS) SEQUENCES INCLUDED
-#
-include "modules/termseq_poly_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ORDER MODE - UNORDERED GROUPS ENABLED
-#
-include "modules/unordered_groups_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# STRIPE-SKIPPING MODE ENABLED
-#
-include "modules/stripe_skipping_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-include "modules/asynchronous_stripe_skipping_entailment_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-include "modules/asynchronous_stripe_skipping_implication_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# EXPLICIT DATATYPING ENABLED
-#
-include "modules/explicit_datatyping_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-include "modules/dataterm_simple_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-include "modules/data_simple_content_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# xsi:schemaLocation ALLOWED IN RuleML
-#
-include "modules/xsi_schemalocation_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# UNIVERSAL RESOURCE IDENTIFIERS (URIs) INCLUDED
-#
-include "modules/iri_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INFERENCE DIRECTION ATTRIBUTE IS INCLUDED
-#
-include "modules/direction_attrib_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DEFAULT VALUES OF INFERENCE DIRECTION INCLUDED
-#
-include "modules/direction_default_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# MATERIAL IMPLICATION ATTRIBUTE IS INCLUDED
-#
-include "modules/material_attrib_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DEFAULT VALUES OF MATERIAL IMPLICATION INCLUDED
-#
-include "modules/material_default_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DATA TERMS INCLUDED
-#
-include "modules/dataterm_any_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DATA ELEMENTS INCLUDED
-#
-include "modules/data_any_content_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INDIVIDUAL TERMS (INTERPRETED NAMES) ARE INCLUDED
-#
-include "modules/individual_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# VARIABLES (INTERPRETABLE NAMES) ARE INCLUDED
-#
-include "modules/variable_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INITIALIZATION MODULES INCLUDED
-#
-include "modules/init_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-
-#
\ No newline at end of file
diff --git a/relaxng/datalogeq_min_relaxed.rnc b/relaxng/datalogeq_min_relaxed.rnc
deleted file mode 100644
index 145bef80..00000000
--- a/relaxng/datalogeq_min_relaxed.rnc
+++ /dev/null
@@ -1,143 +0,0 @@
-namespace dc = "http://purl.org/dc/elements/1.1/"
-namespace dcterms = "http://purl.org/dc/terms/"
-namespace ruleml = "http://ruleml.org/spec"
-
-dc:title [ "Deliberation RuleML Custom-Built Schema" ]
-dc:version [ "1.01" ]
-dc:creator [ "Tara Athan (taraathan AT gmail.com)" ]
-dc:subject [ "Deliberation RuleML, custom-built" ]
-dc:description [
- "custom-built main module for a Deliberation RuleML sublanguage."
-]
-dc:date [ "2014-03-16T08:29:23-04:00" ]
-dc:language [ "en" ]
-dcterms:rights [ "TBD" ]
-dc:relation [ "http://deliberation.ruleml.org/1.01" ]
-# Call parameters
-# Base URL = http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php
-# GET parameter: backbone=x7
-# GET parameter: default=x7
-# GET parameter: termseq=x7
-# GET parameter: lng=x1
-# GET parameter: propo=x1
-# GET parameter: implies=x0
-# GET parameter: terms=x210
-# GET parameter: quant=x0
-# GET parameter: expr=x0
-# GET parameter: serial=xf
-# Complete URL =
-# http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x0&terms=x210&quant=x0&expr=x0&serial=xf
- start = Node.choice | edge.choice
-#
-# ROOT NODE AND PERFORMATIVES INCLUDED
-#
-include "modules/performative_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATOMIC FORMULAS INCLUDED
-#
-include "modules/atom_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# CONJUNCTIONS AND DISJUNCTIONS INCLUDED
-#
-include "modules/andor_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# IMPLICATIONS INCLUDED
-#
-include "modules/implication_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# QUANTIFICATION OVER VARIABLES INCLUDED
-#
-include "modules/quantification_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES ARE INITIALIZED
-#
-include "modules/default_inf_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES ARE ABSENT OR OPTIONAL
-#
-include "modules/default_absent_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-include "modules/default_absent_folog_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES REQUIRED
-#
-include "modules/default_present_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# POLYADIC TERM (ONE OR MORE TERMS) SEQUENCES INCLUDED
-#
-include "modules/termseq_poly_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ORDER MODE - UNORDERED GROUPS ENABLED
-#
-include "modules/unordered_groups_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# STRIPE-SKIPPING MODE ENABLED
-#
-include "modules/stripe_skipping_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-include "modules/asynchronous_stripe_skipping_entailment_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-include "modules/asynchronous_stripe_skipping_implication_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# EXPLICIT DATATYPING ENABLED
-#
-include "modules/explicit_datatyping_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-include "modules/dataterm_simple_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-include "modules/data_simple_content_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# xsi:schemaLocation ALLOWED IN RuleML
-#
-include "modules/xsi_schemalocation_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# UNIVERSAL RESOURCE IDENTIFIERS (URIs) INCLUDED
-#
-include "modules/iri_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INFERENCE DIRECTION ATTRIBUTE IS INCLUDED
-#
-include "modules/direction_attrib_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DEFAULT VALUES OF INFERENCE DIRECTION INCLUDED
-#
-include "modules/direction_default_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# MATERIAL IMPLICATION ATTRIBUTE IS INCLUDED
-#
-include "modules/material_attrib_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DEFAULT VALUES OF MATERIAL IMPLICATION INCLUDED
-#
-include "modules/material_default_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# EQUATIONS INCLUDED
-#
-include "modules/equal_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ORIENTED EQUALITY ATTRIBUTE IS INCLUDED
-#
-include "modules/oriented_attrib_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DEFAULT VALUE OF ORIENTED EQUALITY ATTRIBUTE INCLUDED
-#
-include "modules/oriented_default_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DATA TERMS INCLUDED
-#
-include "modules/dataterm_any_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DATA ELEMENTS INCLUDED
-#
-include "modules/data_any_content_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INDIVIDUAL TERMS (INTERPRETED NAMES) ARE INCLUDED
-#
-include "modules/individual_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# VARIABLES (INTERPRETABLE NAMES) ARE INCLUDED
-#
-include "modules/variable_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INITIALIZATION MODULES INCLUDED
-#
-include "modules/init_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-
-#
\ No newline at end of file
diff --git a/relaxng/datalogeqex_min_relaxed.rnc b/relaxng/datalogeqex_min_relaxed.rnc
deleted file mode 100644
index db658558..00000000
--- a/relaxng/datalogeqex_min_relaxed.rnc
+++ /dev/null
@@ -1,147 +0,0 @@
-namespace dc = "http://purl.org/dc/elements/1.1/"
-namespace dcterms = "http://purl.org/dc/terms/"
-namespace ruleml = "http://ruleml.org/spec"
-
-dc:title [ "Deliberation RuleML Custom-Built Schema" ]
-dc:version [ "1.01" ]
-dc:creator [ "Tara Athan (taraathan AT gmail.com)" ]
-dc:subject [ "Deliberation RuleML, custom-built" ]
-dc:description [
- "custom-built main module for a Deliberation RuleML sublanguage."
-]
-dc:date [ "2014-03-16T08:32:34-04:00" ]
-dc:language [ "en" ]
-dcterms:rights [ "TBD" ]
-dc:relation [ "http://deliberation.ruleml.org/1.01" ]
-# Call parameters
-# Base URL = http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php
-# GET parameter: backbone=x7
-# GET parameter: default=x7
-# GET parameter: termseq=x7
-# GET parameter: lng=x1
-# GET parameter: propo=x1
-# GET parameter: implies=x8
-# GET parameter: terms=x210
-# GET parameter: quant=x0
-# GET parameter: expr=x0
-# GET parameter: serial=xf
-# Complete URL =
-# http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x8&terms=x210&quant=x0&expr=x0&serial=xf
- start = Node.choice | edge.choice
-#
-# ROOT NODE AND PERFORMATIVES INCLUDED
-#
-include "modules/performative_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATOMIC FORMULAS INCLUDED
-#
-include "modules/atom_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# CONJUNCTIONS AND DISJUNCTIONS INCLUDED
-#
-include "modules/andor_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# IMPLICATIONS INCLUDED
-#
-include "modules/implication_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# QUANTIFICATION OVER VARIABLES INCLUDED
-#
-include "modules/quantification_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES ARE INITIALIZED
-#
-include "modules/default_inf_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES ARE ABSENT OR OPTIONAL
-#
-include "modules/default_absent_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-include "modules/default_absent_folog_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES REQUIRED
-#
-include "modules/default_present_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# POLYADIC TERM (ONE OR MORE TERMS) SEQUENCES INCLUDED
-#
-include "modules/termseq_poly_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ORDER MODE - UNORDERED GROUPS ENABLED
-#
-include "modules/unordered_groups_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# STRIPE-SKIPPING MODE ENABLED
-#
-include "modules/stripe_skipping_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-include "modules/asynchronous_stripe_skipping_entailment_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-include "modules/asynchronous_stripe_skipping_implication_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# EXPLICIT DATATYPING ENABLED
-#
-include "modules/explicit_datatyping_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-include "modules/dataterm_simple_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-include "modules/data_simple_content_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# xsi:schemaLocation ALLOWED IN RuleML
-#
-include "modules/xsi_schemalocation_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# UNIVERSAL RESOURCE IDENTIFIERS (URIs) INCLUDED
-#
-include "modules/iri_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INFERENCE DIRECTION ATTRIBUTE IS INCLUDED
-#
-include "modules/direction_attrib_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DEFAULT VALUES OF INFERENCE DIRECTION INCLUDED
-#
-include "modules/direction_default_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# MATERIAL IMPLICATION ATTRIBUTE IS INCLUDED
-#
-include "modules/material_attrib_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DEFAULT VALUES OF MATERIAL IMPLICATION INCLUDED
-#
-include "modules/material_default_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# EXISTENTIAL HEADS INCLUDED
-#
-include "modules/existential_head_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# EQUATIONS INCLUDED
-#
-include "modules/equal_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ORIENTED EQUALITY ATTRIBUTE IS INCLUDED
-#
-include "modules/oriented_attrib_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DEFAULT VALUE OF ORIENTED EQUALITY ATTRIBUTE INCLUDED
-#
-include "modules/oriented_default_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DATA TERMS INCLUDED
-#
-include "modules/dataterm_any_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DATA ELEMENTS INCLUDED
-#
-include "modules/data_any_content_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INDIVIDUAL TERMS (INTERPRETED NAMES) ARE INCLUDED
-#
-include "modules/individual_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# VARIABLES (INTERPRETABLE NAMES) ARE INCLUDED
-#
-include "modules/variable_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INITIALIZATION MODULES INCLUDED
-#
-include "modules/init_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-
-#
\ No newline at end of file
diff --git a/relaxng/datalogex_min_relaxed.rnc b/relaxng/datalogex_min_relaxed.rnc
deleted file mode 100644
index 96ef1bd3..00000000
--- a/relaxng/datalogex_min_relaxed.rnc
+++ /dev/null
@@ -1,135 +0,0 @@
-namespace dc = "http://purl.org/dc/elements/1.1/"
-namespace dcterms = "http://purl.org/dc/terms/"
-namespace ruleml = "http://ruleml.org/spec"
-
-dc:title [ "Deliberation RuleML Custom-Built Schema" ]
-dc:version [ "1.01" ]
-dc:creator [ "Tara Athan (taraathan AT gmail.com)" ]
-dc:subject [ "Deliberation RuleML, custom-built" ]
-dc:description [
- "custom-built main module for a Deliberation RuleML sublanguage."
-]
-dc:date [ "2014-03-16T08:33:43-04:00" ]
-dc:language [ "en" ]
-dcterms:rights [ "TBD" ]
-dc:relation [ "http://deliberation.ruleml.org/1.01" ]
-# Call parameters
-# Base URL = http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php
-# GET parameter: backbone=x7
-# GET parameter: default=x7
-# GET parameter: termseq=x7
-# GET parameter: lng=x1
-# GET parameter: propo=x1
-# GET parameter: implies=x8
-# GET parameter: terms=x200
-# GET parameter: quant=x0
-# GET parameter: expr=x0
-# GET parameter: serial=xf
-# Complete URL =
-# http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x7&default=x7&termseq=x7&lng=x1&propo=x1&implies=x8&terms=x200&quant=x0&expr=x0&serial=xf
- start = Node.choice | edge.choice
-#
-# ROOT NODE AND PERFORMATIVES INCLUDED
-#
-include "modules/performative_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATOMIC FORMULAS INCLUDED
-#
-include "modules/atom_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# CONJUNCTIONS AND DISJUNCTIONS INCLUDED
-#
-include "modules/andor_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# IMPLICATIONS INCLUDED
-#
-include "modules/implication_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# QUANTIFICATION OVER VARIABLES INCLUDED
-#
-include "modules/quantification_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES ARE INITIALIZED
-#
-include "modules/default_inf_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES ARE ABSENT OR OPTIONAL
-#
-include "modules/default_absent_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-include "modules/default_absent_folog_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES REQUIRED
-#
-include "modules/default_present_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# POLYADIC TERM (ONE OR MORE TERMS) SEQUENCES INCLUDED
-#
-include "modules/termseq_poly_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ORDER MODE - UNORDERED GROUPS ENABLED
-#
-include "modules/unordered_groups_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# STRIPE-SKIPPING MODE ENABLED
-#
-include "modules/stripe_skipping_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-include "modules/asynchronous_stripe_skipping_entailment_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-include "modules/asynchronous_stripe_skipping_implication_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# EXPLICIT DATATYPING ENABLED
-#
-include "modules/explicit_datatyping_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-include "modules/dataterm_simple_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-include "modules/data_simple_content_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# xsi:schemaLocation ALLOWED IN RuleML
-#
-include "modules/xsi_schemalocation_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# UNIVERSAL RESOURCE IDENTIFIERS (URIs) INCLUDED
-#
-include "modules/iri_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INFERENCE DIRECTION ATTRIBUTE IS INCLUDED
-#
-include "modules/direction_attrib_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DEFAULT VALUES OF INFERENCE DIRECTION INCLUDED
-#
-include "modules/direction_default_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# MATERIAL IMPLICATION ATTRIBUTE IS INCLUDED
-#
-include "modules/material_attrib_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DEFAULT VALUES OF MATERIAL IMPLICATION INCLUDED
-#
-include "modules/material_default_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# EXISTENTIAL HEADS INCLUDED
-#
-include "modules/existential_head_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DATA TERMS INCLUDED
-#
-include "modules/dataterm_any_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# DATA ELEMENTS INCLUDED
-#
-include "modules/data_any_content_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INDIVIDUAL TERMS (INTERPRETED NAMES) ARE INCLUDED
-#
-include "modules/individual_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# VARIABLES (INTERPRETABLE NAMES) ARE INCLUDED
-#
-include "modules/variable_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INITIALIZATION MODULES INCLUDED
-#
-include "modules/init_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-
-#
\ No newline at end of file
diff --git a/relaxng/schema_rnc.php b/relaxng/schema_rnc.php
index 9e63c0e7..55b33bfe 100644
--- a/relaxng/schema_rnc.php
+++ b/relaxng/schema_rnc.php
@@ -226,9 +226,9 @@
// Similar considerations hold for negative constraints and
// conjunctive heads.
$needExHead = extractBit($bimplies, $implies_ex)*(1-$needFO);
- $needNegConstraint = extractBit($bimplies, $implies_nc)*(1-$needFO);
$needAndHead = extractBit($bimplies, $implies_and)*(1-$needFO);
- $needOrHead = ($needDis + extractBit($bimplies, $implies_or))*(1-$needFO);
+ $needOrHead = max($needDis , extractBit($bimplies, $implies_or))*(1-$needFO);
+ $needNegConstraint = extractBit($bimplies, $implies_nc)*(1-$needDis)*(1-$needOrHead);
$needOid = extractBit($bterms, $terms_oid);
$needSlot = extractBit($bterms, $terms_slot);
diff --git a/relaxng/unprop_normal.rnc b/relaxng/unprop_normal.rnc
deleted file mode 100644
index 18aa1401..00000000
--- a/relaxng/unprop_normal.rnc
+++ /dev/null
@@ -1,73 +0,0 @@
-namespace dc = "http://purl.org/dc/elements/1.1/"
-namespace dcterms = "http://purl.org/dc/terms/"
-namespace ruleml = "http://ruleml.org/spec"
-
-dc:title [ "Deliberation RuleML Custom-Built Schema" ]
-dc:version [ "1.01" ]
-dc:creator [ "Tara Athan (taraathan AT gmail.com)" ]
-dc:subject [ "Deliberation RuleML, custom-built" ]
-dc:description [
- "custom-built main module for a Deliberation RuleML sublanguage."
-]
-dc:date [ "2014-03-05T08:58:45-05:00" ]
-dc:language [ "en" ]
-dcterms:rights [ "TBD" ]
-dc:relation [ "http://deliberation.ruleml.org/1.01" ]
-# Call parameters
-# Base URL = http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php
-# GET parameter: backbone=x0
-# GET parameter: default=x5
-# GET parameter: termseq=x1
-# GET parameter: lng=x1
-# GET parameter: propo=x1
-# GET parameter: implies=x0
-# GET parameter: terms=x0
-# GET parameter: quant=x0
-# GET parameter: expr=x0
-# GET parameter: serial=x8
-# Complete URL =
-# http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x0&default=x5&termseq=x1&lng=x1&propo=x1&implies=x0&terms=x0&quant=x0&expr=x0&serial=x8
- start = Node.choice | edge.choice
-#
-# ROOT NODE AND PERFORMATIVES INCLUDED
-#
-include "modules/performative_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATOMIC FORMULAS INCLUDED
-#
-include "modules/atom_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES ARE INITIALIZED
-#
-include "modules/default_inf_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES ARE ABSENT OR OPTIONAL
-#
-include "modules/default_absent_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-include "modules/default_absent_folog_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# UNARY TERM (ONE TERM ONLY) SEQUENCES INCLUDED
-#
-include "modules/termseq_un_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ORDER MODE - UNORDERED GROUPS DISABLED
-#
-include "modules/ordered_groups_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# xsi:schemaLocation ALLOWED IN RuleML
-#
-include "modules/xsi_schemalocation_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# UNIVERSAL RESOURCE IDENTIFIERS (URIs) INCLUDED
-#
-include "modules/iri_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INDIVIDUAL TERMS (INTERPRETED NAMES) ARE INCLUDED
-#
-include "modules/individual_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INITIALIZATION MODULES INCLUDED
-#
-include "modules/init_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-
-#
\ No newline at end of file
diff --git a/relaxng/unprop_normal_4xsd.rnc b/relaxng/unprop_normal_4xsd.rnc
deleted file mode 100644
index 55f9a913..00000000
--- a/relaxng/unprop_normal_4xsd.rnc
+++ /dev/null
@@ -1,69 +0,0 @@
-namespace dc = "http://purl.org/dc/elements/1.1/"
-namespace dcterms = "http://purl.org/dc/terms/"
-namespace ruleml = "http://ruleml.org/spec"
-
-dc:title [ "Deliberation RuleML Custom-Built Schema" ]
-dc:version [ "1.01" ]
-dc:creator [ "Tara Athan (taraathan AT gmail.com)" ]
-dc:subject [ "Deliberation RuleML, custom-built" ]
-dc:description [
- "custom-built main module for a Deliberation RuleML sublanguage."
-]
-dc:date [ "2014-03-05T09:11:34-05:00" ]
-dc:language [ "en" ]
-dcterms:rights [ "TBD" ]
-dc:relation [ "http://deliberation.ruleml.org/1.01" ]
-# Call parameters
-# Base URL = http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php
-# GET parameter: backbone=x0
-# GET parameter: default=x5
-# GET parameter: termseq=x1
-# GET parameter: lng=x1
-# GET parameter: propo=x1
-# GET parameter: implies=x0
-# GET parameter: terms=x0
-# GET parameter: quant=x0
-# GET parameter: expr=x0
-# GET parameter: serial=x0
-# Complete URL =
-# http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x0&default=x5&termseq=x1&lng=x1&propo=x1&implies=x0&terms=x0&quant=x0&expr=x0&serial=x0
- start = Node.choice | edge.choice
-#
-# ROOT NODE AND PERFORMATIVES INCLUDED
-#
-include "modules/performative_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATOMIC FORMULAS INCLUDED
-#
-include "modules/atom_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES ARE INITIALIZED
-#
-include "modules/default_inf_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES ARE ABSENT OR OPTIONAL
-#
-include "modules/default_absent_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-include "modules/default_absent_folog_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# UNARY TERM (ONE TERM ONLY) SEQUENCES INCLUDED
-#
-include "modules/termseq_un_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ORDER MODE - UNORDERED GROUPS DISABLED
-#
-include "modules/ordered_groups_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# UNIVERSAL RESOURCE IDENTIFIERS (URIs) INCLUDED
-#
-include "modules/iri_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INDIVIDUAL TERMS (INTERPRETED NAMES) ARE INCLUDED
-#
-include "modules/individual_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INITIALIZATION MODULES INCLUDED
-#
-include "modules/init_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-
-#
\ No newline at end of file
diff --git a/relaxng/unprop_relaxed.rnc b/relaxng/unprop_relaxed.rnc
deleted file mode 100644
index e6e0eefb..00000000
--- a/relaxng/unprop_relaxed.rnc
+++ /dev/null
@@ -1,81 +0,0 @@
-namespace dc = "http://purl.org/dc/elements/1.1/"
-namespace dcterms = "http://purl.org/dc/terms/"
-namespace ruleml = "http://ruleml.org/spec"
-
-dc:title [ "Deliberation RuleML Custom-Built Schema" ]
-dc:version [ "1.01" ]
-dc:creator [ "Tara Athan (taraathan AT gmail.com)" ]
-dc:subject [ "Deliberation RuleML, custom-built" ]
-dc:description [
- "custom-built main module for a Deliberation RuleML sublanguage."
-]
-dc:date [ "2014-03-05T00:36:19-05:00" ]
-dc:language [ "en" ]
-dcterms:rights [ "TBD" ]
-dc:relation [ "http://deliberation.ruleml.org/1.01" ]
-# Call parameters
-# Base URL = http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php
-# GET parameter: backbone=x0
-# GET parameter: default=x5
-# GET parameter: termseq=x1
-# GET parameter: lng=x1
-# GET parameter: propo=x1
-# GET parameter: implies=x0
-# GET parameter: terms=x0
-# GET parameter: quant=x0
-# GET parameter: expr=x0
-# GET parameter: serial=xb
-# Complete URL =
-# http://deliberation.ruleml.org/1.01/relaxng/schema_rnc.php?backbone=x0&default=x5&termseq=x1&lng=x1&propo=x1&implies=x0&terms=x0&quant=x0&expr=x0&serial=xb
- start = Node.choice | edge.choice
-#
-# ROOT NODE AND PERFORMATIVES INCLUDED
-#
-include "modules/performative_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATOMIC FORMULAS INCLUDED
-#
-include "modules/atom_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES ARE INITIALIZED
-#
-include "modules/default_inf_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ATTRIBUTES WITH DEFAULT VALUES ARE ABSENT OR OPTIONAL
-#
-include "modules/default_absent_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-include "modules/default_absent_folog_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# UNARY TERM (ONE TERM ONLY) SEQUENCES INCLUDED
-#
-include "modules/termseq_un_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# ORDER MODE - UNORDERED GROUPS ENABLED
-#
-include "modules/unordered_groups_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# STRIPE-SKIPPING MODE ENABLED
-#
-include "modules/stripe_skipping_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-include "modules/asynchronous_stripe_skipping_entailment_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-include "modules/asynchronous_stripe_skipping_implication_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# xsi:schemaLocation ALLOWED IN RuleML
-#
-include "modules/xsi_schemalocation_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# UNIVERSAL RESOURCE IDENTIFIERS (URIs) INCLUDED
-#
-include "modules/iri_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INDIVIDUAL TERMS (INTERPRETED NAMES) ARE INCLUDED
-#
-include "modules/individual_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-#
-# INITIALIZATION MODULES INCLUDED
-#
-include "modules/init_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
-
-#
\ No newline at end of file
diff --git a/test/schema-test-suites/README.txt b/test/schema-test-suites/README.txt
index 7ec650d9..1f7f08b8 100644
--- a/test/schema-test-suites/README.txt
+++ b/test/schema-test-suites/README.txt
@@ -5,4 +5,7 @@ Each test suite may contain its own README.txt file explaining what it is design
Therefore, a batch validation should skip files with the .txt extension.
Documents within the test suite should reference schemas by relative paths, so that
-the development version in the working directory is called.
\ No newline at end of file
+the development version in the working directory is called.
+
+Final testing is performed after running the script bash/web2rnc.sh, which downloads the published RNC schemas from MYNG
+into the local relaxng folder.
\ No newline at end of file
diff --git a/test/schema-test-suites/equality-rules-test-suite/datalogeq_min_normal.ruleml b/test/schema-test-suites/equality-rules-test-suite/datalogeq_min_normal.ruleml
new file mode 100644
index 00000000..d65470b8
--- /dev/null
+++ b/test/schema-test-suites/equality-rules-test-suite/datalogeq_min_normal.ruleml
@@ -0,0 +1,117 @@
+
+
+
+
+
+
+
+
+
+
+ Bill
+
+
+ William
+
+
+
+
+
+
+
+ x
+
+
+
+
+ x
+
+
+ x
+
+
+
+
+
+
+
+
+
+ x
+
+
+
+
+
+
+ Jane
+
+
+ x
+
+
+
+
+
+ son
+ Jack
+ x
+
+
+
+
+
+
+
+
+
+
+ x
+
+
+ y
+
+
+ z
+
+
+
+
+
+
+
+ mother
+ x
+ z
+
+
+
+
+ mother
+ y
+ z
+
+
+
+
+
+
+
+ x
+
+
+ y
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/test/schema-test-suites/equality-rules-test-suite/datalogeq_xsd.ruleml b/test/schema-test-suites/equality-rules-test-suite/datalogeq_xsd.ruleml
new file mode 100644
index 00000000..b170273f
--- /dev/null
+++ b/test/schema-test-suites/equality-rules-test-suite/datalogeq_xsd.ruleml
@@ -0,0 +1,117 @@
+
+
+
+
+
+
+
+
+
+
+ Bill
+
+
+ William
+
+
+
+
+
+
+
+ x
+
+
+
+
+ x
+
+
+ x
+
+
+
+
+
+
+
+
+
+ x
+
+
+
+
+
+
+ Jane
+
+
+ x
+
+
+
+
+
+ son
+ Jack
+ x
+
+
+
+
+
+
+
+
+
+
+ x
+
+
+ y
+
+
+ z
+
+
+
+
+
+
+
+ mother
+ x
+ z
+
+
+
+
+ mother
+ y
+ z
+
+
+
+
+
+
+
+ x
+
+
+ y
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/test/schema-test-suites/existential-rules-fail-suite/datalogexeq_min_fail.ruleml b/test/schema-test-suites/existential-rules-fail-suite/datalogexeq_min_fail.ruleml
index 89f39660..4a4f5996 100644
--- a/test/schema-test-suites/existential-rules-fail-suite/datalogexeq_min_fail.ruleml
+++ b/test/schema-test-suites/existential-rules-fail-suite/datalogexeq_min_fail.ruleml
@@ -1,5 +1,5 @@
-
+
diff --git a/test/schema-test-suites/existential-rules-test-suite/datalog_min.ruleml b/test/schema-test-suites/existential-rules-test-suite/datalog_min.ruleml
index 28376cc3..240fa85f 100644
--- a/test/schema-test-suites/existential-rules-test-suite/datalog_min.ruleml
+++ b/test/schema-test-suites/existential-rules-test-suite/datalog_min.ruleml
@@ -21,6 +21,7 @@
12
tomorrow
2002-10-10T17:00:00Z
+
test12
Jack
diff --git a/test/schema-test-suites/existential-rules-test-suite/datalog_min_normal.ruleml b/test/schema-test-suites/existential-rules-test-suite/datalog_min_normal.ruleml
index f3fb2a21..41c22e59 100644
--- a/test/schema-test-suites/existential-rules-test-suite/datalog_min_normal.ruleml
+++ b/test/schema-test-suites/existential-rules-test-suite/datalog_min_normal.ruleml
@@ -1,17 +1,19 @@
-
+
-
+
y
-
+
@@ -22,10 +24,11 @@
12
tomorrow
2002-10-10T17:00:00Z
- test12
- Jack
- y
- Frank
+
+ test12
+ Jack
+ y
+ Frank
@@ -53,7 +56,7 @@
Y
-
+
P
diff --git a/test/schema-test-suites/existential-rules-test-suite/datalogexeq_min.ruleml b/test/schema-test-suites/existential-rules-test-suite/datalogexeq_min.ruleml
index e8e603bb..e60fdfd3 100644
--- a/test/schema-test-suites/existential-rules-test-suite/datalogexeq_min.ruleml
+++ b/test/schema-test-suites/existential-rules-test-suite/datalogexeq_min.ruleml
@@ -1,5 +1,5 @@
-
+
diff --git a/test/schema-test-suites/existential-rules-test-suite/datalogplus_mid.ruleml b/test/schema-test-suites/existential-rules-test-suite/datalogplus_mid.ruleml
new file mode 100644
index 00000000..98ac14c1
--- /dev/null
+++ b/test/schema-test-suites/existential-rules-test-suite/datalogplus_mid.ruleml
@@ -0,0 +1,283 @@
+
+
+
+
+
+
+
+
+
+
+ Bill
+
+
+ William
+
+
+
+
+
+
+
+ x
+
+
+
+
+ x
+
+
+ x
+
+
+
+
+
+
+
+
+
+ x
+
+
+ y
+
+
+
+ P
+ x
+ y
+ anysbc
+
+
+
+
+
+
+
+
+ x
+
+
+
+
+
+
+ Jane
+
+
+ x
+
+
+
+
+
+
+ y
+
+
+
+ son
+ x
+ y
+
+
+
+
+
+
+
+
+
+
+
+
+ x
+
+
+
+
+
+
+
+ P
+ x
+
+
+
+
+ Q
+ x
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ x
+
+
+ y
+
+
+ z
+
+
+
+
+
+
+
+ mother
+ x
+ z
+
+
+
+
+ mother
+ y
+ z
+
+
+
+
+
+
+
+ x
+
+
+ y
+
+
+
+
+
+
+
+
+
+
+
+ x
+
+
+
+
+
+ mother
+ x
+ x
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ a
+
+
+ b
+
+
+
+
+
+
+
+
+
+
+
+
+
+ E
+
+
+ P
+
+
+
+
+
+
+
+ employee
+ E
+
+
+
+
+ directs
+ E
+ P
+
+
+
+
+
+
+
+ E'
+
+
+
+
+
+ manager
+ E
+
+
+
+
+ supervises
+ E
+ E'
+
+
+
+
+ works_in
+ E'
+ P
+
+
+
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/test/schema-test-suites/existential-rules-test-suite/datalogplus_min_normal.ruleml b/test/schema-test-suites/existential-rules-test-suite/datalogplus_min_normal.ruleml
index aeefe087..5a36fac5 100644
--- a/test/schema-test-suites/existential-rules-test-suite/datalogplus_min_normal.ruleml
+++ b/test/schema-test-suites/existential-rules-test-suite/datalogplus_min_normal.ruleml
@@ -1,6 +1,9 @@
-
+
@@ -48,6 +51,7 @@
P
x
y
+ anyabc
diff --git a/test/schema-test-suites/existential-rules-test-suite/datalogplusminus_min.ruleml b/test/schema-test-suites/existential-rules-test-suite/datalogplusminus_min.ruleml
deleted file mode 100644
index 12ba6654..00000000
--- a/test/schema-test-suites/existential-rules-test-suite/datalogplusminus_min.ruleml
+++ /dev/null
@@ -1,123 +0,0 @@
-
-
-
-
-
-
-
-
-
-
- Bill
- William
-
-
-
-
-
-
-
- Px
-
-
-
- Jane
- x
-
-
-
-
- y
-
- Q
- x
- y
-
-
-
-
-
-
-
-
-
-
- Px
-
-
- Qx
-
-
-
-
-
-
-
-
-
- x
- y
- z
-
-
-
-
- mother
- x
- z
-
-
- mother
- y
- z
-
-
-
-
-
- x
- y
-
-
-
-
-
-
-
- x
-
-
-
- mother
- x
- x
-
-
-
-
-
-
-
-
-
-
-
-
- a
- b
-
-
-
-
-
-
-
-
-
-
-
diff --git a/test/schema-test-suites/linear-rules-test-suite/datalog_lin.ruleml b/test/schema-test-suites/linear-rules-test-suite/datalog_lin.ruleml
deleted file mode 100644
index 3f188f0c..00000000
--- a/test/schema-test-suites/linear-rules-test-suite/datalog_lin.ruleml
+++ /dev/null
@@ -1,29 +0,0 @@
-
-
-
-
-
-
-
-
-
- y
-
-
-
- friend
- Jane
- y
-
-
-
-
- friend
- y
- Jane
-
-
-
-
-
-
diff --git a/test/schema-test-suites/online-test-suite/datalog_min.ruleml b/test/schema-test-suites/online-test-suite/datalog_min.ruleml
new file mode 100644
index 00000000..35e744c5
--- /dev/null
+++ b/test/schema-test-suites/online-test-suite/datalog_min.ruleml
@@ -0,0 +1,71 @@
+
+
+
+
+
+
+
+
+
+
+ y
+
+
+
+
+ friend
+ Jane
+
+ test
+ 12
+ tomorrow
+ 2002-10-10T17:00:00Z
+ xsi:type="xs:anyType">
+ test12
+
+ Jack
+ y
+ Frank
+
+
+
+
+
+
+ friend
+
+ x
+ y
+ Steph
+
+
+
+
+
+
+ X
+
+ Y
+
+
+ P
+ X
+
+
+ Q
+ Y
+
+
+
+
+
+
+ X
+
+ P
+ X
+
+
+
+
diff --git a/test/schema-test-suites/online-test-suite/datalog_min_normal.ruleml b/test/schema-test-suites/online-test-suite/datalog_min_normal.ruleml
new file mode 100644
index 00000000..c86679c6
--- /dev/null
+++ b/test/schema-test-suites/online-test-suite/datalog_min_normal.ruleml
@@ -0,0 +1,93 @@
+
+
+
+
+
+
+
+
+
+
+ y
+
+
+
+
+
+
+
+ friend
+ Jane
+ test
+ 12
+ tomorrow
+ 2002-10-10T17:00:00Z
+ xsi:type="xs:anyType">
+ test12
+ Jack
+ y
+ Frank
+
+
+
+
+
+
+ friend
+ x
+ y
+ Steph
+
+
+
+
+
+
+
+
+
+ X
+
+
+
+
+ Y
+
+
+
+
+
+ P
+ X
+
+
+
+
+ Q
+ Y
+
+
+
+
+
+
+
+
+
+
+
+ X
+
+
+
+ P
+ X
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/test/schema-test-suites/online-test-suite/datalogeq_min.ruleml b/test/schema-test-suites/online-test-suite/datalogeq_min.ruleml
new file mode 100644
index 00000000..a84d07ed
--- /dev/null
+++ b/test/schema-test-suites/online-test-suite/datalogeq_min.ruleml
@@ -0,0 +1,78 @@
+
+
+
+
+
+
+
+
+
+
+
+ Bill
+ William
+
+
+
+
+ x
+
+ x
+ x
+
+
+
+
+
+ x
+
+
+
+ Jane
+ x
+
+
+
+
+ son
+ Jack
+ x
+
+
+
+
+
+
+
+
+ x
+ y
+ z
+
+
+
+
+ mother
+ x
+ z
+
+
+ mother
+ y
+ z
+
+
+
+
+
+ x
+ y
+
+
+
+
+
+
+
diff --git a/test/schema-test-suites/online-test-suite/datalogeq_min_normal.ruleml b/test/schema-test-suites/online-test-suite/datalogeq_min_normal.ruleml
new file mode 100644
index 00000000..3341c441
--- /dev/null
+++ b/test/schema-test-suites/online-test-suite/datalogeq_min_normal.ruleml
@@ -0,0 +1,117 @@
+
+
+
+
+
+
+
+
+
+
+ Bill
+
+
+ William
+
+
+
+
+
+
+
+ x
+
+
+
+
+ x
+
+
+ x
+
+
+
+
+
+
+
+
+
+ x
+
+
+
+
+
+
+ Jane
+
+
+ x
+
+
+
+
+
+ son
+ Jack
+ x
+
+
+
+
+
+
+
+
+
+
+ x
+
+
+ y
+
+
+ z
+
+
+
+
+
+
+
+ mother
+ x
+ z
+
+
+
+
+ mother
+ y
+ z
+
+
+
+
+
+
+
+ x
+
+
+ y
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/test/schema-test-suites/unary-prop-test-suite/unprop_normal.ruleml b/test/schema-test-suites/unary-prop-test-suite/unprop_normal.ruleml
index 03746309..b08cd389 100644
--- a/test/schema-test-suites/unary-prop-test-suite/unprop_normal.ruleml
+++ b/test/schema-test-suites/unary-prop-test-suite/unprop_normal.ruleml
@@ -1,11 +1,9 @@
-
+
-
+
mother
diff --git a/xsd/datalogex_min_mixed.xsd b/xsd/datalogex_min_mixed.xsd
deleted file mode 100644
index 4f477e9a..00000000
--- a/xsd/datalogex_min_mixed.xsd
+++ /dev/null
@@ -1,326 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/xsd/datalogex_min_normal.xsd b/xsd/datalogex_min_normal.xsd
deleted file mode 100644
index e0c483eb..00000000
--- a/xsd/datalogex_min_normal.xsd
+++ /dev/null
@@ -1,284 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/xsd/datalogplus_mid.xsd b/xsd/datalogplus_mid.xsd
new file mode 100644
index 00000000..07f9eb9e
--- /dev/null
+++ b/xsd/datalogplus_mid.xsd
@@ -0,0 +1 @@
+
\ No newline at end of file
diff --git a/xsd/datalogplus_mid_normal.xsd b/xsd/datalogplus_mid_normal.xsd
new file mode 100644
index 00000000..1d921f85
--- /dev/null
+++ b/xsd/datalogplus_mid_normal.xsd
@@ -0,0 +1 @@
+
\ No newline at end of file
diff --git a/xsd/datalogplus_min.xsd b/xsd/datalogplus_min.xsd
new file mode 100644
index 00000000..7c158adf
--- /dev/null
+++ b/xsd/datalogplus_min.xsd
@@ -0,0 +1 @@
+
\ No newline at end of file
diff --git a/xsd/datalogplus_min_normal.xsd b/xsd/datalogplus_min_normal.xsd
new file mode 100644
index 00000000..4f8e26ec
--- /dev/null
+++ b/xsd/datalogplus_min_normal.xsd
@@ -0,0 +1 @@
+
\ No newline at end of file
diff --git a/xsd/disdatalogplus_mid.xsd b/xsd/disdatalogplus_mid.xsd
new file mode 100644
index 00000000..8f4877a8
--- /dev/null
+++ b/xsd/disdatalogplus_mid.xsd
@@ -0,0 +1 @@
+
\ No newline at end of file
diff --git a/xsd/disdatalogplus_mid_normal.xsd b/xsd/disdatalogplus_mid_normal.xsd
new file mode 100644
index 00000000..bfe9258e
--- /dev/null
+++ b/xsd/disdatalogplus_mid_normal.xsd
@@ -0,0 +1 @@
+
\ No newline at end of file
diff --git a/xsd/disdatalogplus_min.xsd b/xsd/disdatalogplus_min.xsd
new file mode 100644
index 00000000..54b13b68
--- /dev/null
+++ b/xsd/disdatalogplus_min.xsd
@@ -0,0 +1 @@
+
\ No newline at end of file
diff --git a/xsd/disdatalogplus_min_normal.xsd b/xsd/disdatalogplus_min_normal.xsd
new file mode 100644
index 00000000..57e1e749
--- /dev/null
+++ b/xsd/disdatalogplus_min_normal.xsd
@@ -0,0 +1 @@
+
\ No newline at end of file
diff --git a/xsd/unprop_normal.xsd b/xsd/unprop_normal.xsd
deleted file mode 100644
index b96d9d7a..00000000
--- a/xsd/unprop_normal.xsd
+++ /dev/null
@@ -1,81 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/xsd/xml.xsd b/xsd/xml.xsd
new file mode 100644
index 00000000..bace9cb8
--- /dev/null
+++ b/xsd/xml.xsd
@@ -0,0 +1 @@
+
\ No newline at end of file
diff --git a/xslt/rnc2xsd/101_rnc2xsd.xslt b/xslt/rnc2xsd/101_rnc2xsd.xslt
new file mode 100644
index 00000000..a2bffdea
--- /dev/null
+++ b/xslt/rnc2xsd/101_rnc2xsd.xslt
@@ -0,0 +1,30 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file