Index of /1.01/relaxng/

Deliberation RuleML 1.01 RelaxNG Directory

Deliberation RuleML 1.01 RelaxNG Directory

This directory contains the "modules/" subdirectory of core modules and the "modules_ext/" subdirectory of extension modules.

      Name                                                                             Last modified         Size  Description
up Parent Directory 25-Jan-2018 19:55 - directory indep_valid_modules 25-Jan-2018 19:55 - directory modules 25-Jan-2018 19:55 -


Please download modules from the Github repository.


There are a number of URLs beginning with the path to this directory that redirect to PHP scripts. In particular, the schema drivers for anchor sublanguages are built on-the-fly by PHP scripts.

Schema Drivers for Anchor Sublanguages

The schema drivers listed in this table are built on-the-fly by the PHP script "schema_rnc.php". The primary purpose of these links is for online validation. The intended usage is to copy the link and paste it into a validation script or processing instruction. Clicking on the links will download (only) the schema driver file. If you plan to use a local copy of one or more of these drivers, please also download the modules from the Github link above. RuleML users may recommend additional anchor sublanguages for future versions through the RuleML Wiki Issue Manager. To obtain a Wiki account, contact: webmaster {A T}

Anchor Sublanguage Normal Serialization Relaxed Serialization
bindatagroundfact RNC RNC
bindatagroundlog RNC RNC
bindatalog RNC RNC
datalog_min RNC RNC
disdatalog_min RNC RNC
datalog RNC RNC
datalogplus_min RNC RNC
disdatalogplus_min RNC RNC
datalogplus_mid RNC RNC
disdatalogplus_mid RNC RNC
nafdatalog RNC RNC
negdatalog RNC RNC
nafnegdatalog RNC RNC
nafnegdisdatalogplus RNC RNC
hornlog RNC RNC
hornlogeq RNC RNC
dishornlog RNC RNC
nafhornlog RNC RNC
nafneghornlogeq RNC RNC
nafnegdishornlogplus RNC RNC
folog RNC RNC
fologeq RNC RNC
naffolog RNC RNC
naffologeq RNC RNC

Schema Drivers for Customized Sublanguages

The PHP script "" accepts a query string that may be used to customize a RuleML sublanguage. Because the more than fifty schema modules are freely-combinable, a large number of customized languages are available. A naming convention has been adopted to identify these sublanguages, illustrated as follows:
Sublanguage Name Query String
myng-b0-d5-a0-l1-p0-i0-t10-q0-e0-s0 ?backbone=x0&default=x5&termseq=x0&lng=x1&propo=x0&implies=x0&terms=x10&quant=x0&expr=x0&serial=x0
The first letter of the facet (backbone, default, ...) has been used in the encoding, except for the facet "termseq", where the letter "a" (for -adicity or -arity) is used to disambiguate from the "terms" facet.


A GUI for constructing the query string for a customized language is available (see MYNG). For details of the modularization approach, see the MYNG Wiki, or the publication describing the re-engineering of RuleML in Relax NG.
Proudly Served by LiteSpeed Web Server at Port 443