add slotdep module to all_ordered.rnc

RuleML · Jul 27, 2018 · 03151ac · 03151ac · rimachaudhari · Jun 6, 2019
1 parent 2286ebd
commit 03151ac
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/relaxng/all_ordered.rnc b/relaxng/all_ordered.rnc
@@ -1,4 +1,4 @@
- namespace dc = "http://purl.org/dc/terms/"
+namespace dc = "http://purl.org/dc/terms/"
 namespace dcterms = "http://purl.org/dc/terms/"
 namespace ruleml = "http://ruleml.org/spec"
 
@@ -95,6 +95,7 @@ include "modules/rulebase_expansion_module.rnc" inherit = ruleml {start |= notAl
 include "contractions/short_name_contraction_module.rnc" inherit = ruleml {start |= notAllowed}
 include "modules/skolem_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
 include "modules/slot_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
+include "modules/slotdep_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
 include "modules/stripe_skipping_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
 include "modules/stripe_skipping_ifthen_expansion_module.rnc" inherit = ruleml {start |= notAllowed}
 include "modules/stripe_skipping_op_expansion_module.rnc" inherit = ruleml {start |= notAllowed}