Index of /1.02/relaxng/

Deliberation RuleML 1.02 RelaxNG Directory

This directory contains the "modules" subdirectory of core Relax NG modules as well as a number of static Relax NG driver schemas.

 Name                                                                             Last modified         Size  Description 
   
 Parent Directory                                                                 09-Jan-2016 17:24        -       
 modules                                                                          10-Jan-2016 20:29        -       
 naffologeq_compact.rnc                                                           05-Dec-2015 23:36      12k       
 naffologeq_compact4simp.rnc                                                      05-Dec-2015 23:36      12k       
 naffologeq_compact4xsd.rnc                                                       05-Dec-2015 23:36      12k       
 naffologeq_deterministic4simp.rnc                                                05-Dec-2015 23:36      12k       
 naffologeq_ifthen-compact.rnc                                                    05-Dec-2015 23:36      12k       
 naffologeq_ifthen-compact4xsd.rnc                                                05-Dec-2015 23:36      12k       
 nafhologeq4xsd.rnc                                                               16-Dec-2015 14:38      12k       
 nafhologeq_compact.rnc                                                           16-Dec-2015 00:17      12k       
 nafhologeq_compact4simp.rnc                                                      16-Dec-2015 14:38      12k       
 nafhologeq_compact4xsd.rnc                                                       16-Dec-2015 02:34      12k       
 nafhologeq_deterministic4simp.rnc                                                16-Dec-2015 14:38      12k       
 nafhologeq_ifthen-compact.rnc                                                    16-Dec-2015 14:38      12k       
 nafhologeq_ifthen-compact4xsd.rnc                                                16-Dec-2015 14:38      12k       
 nafhologeq_normal.rnc                                                            16-Dec-2015 14:38      12k       
 nafhologeq_normal4simp.rnc                                                       05-Dec-2015 23:36      12k       
 nafhologeq_normal4xsd.rnc                                                        16-Dec-2015 14:38      12k       
 nafhologeq_relaxed.rnc                                                           16-Dec-2015 14:38      16k       
 nafhologeq_relaxed4simp.rnc                                                      16-Dec-2015 14:38      16k

Download

To download the complete Deliberation RuleML 1.02 repository, use the Github Download.

To download a zip archive of the Deliberation modules only Click Here.

Schema Drivers for Anchor Languages

The following table lists rows that are partially ordered from less- to more-expressive anchor languages. The RNC schema drivers whose links are provided in the table are built on-the-fly by the MYNG PHP engine. The primary purpose of these links is 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 one of the download links above. RuleML users may recommend additional anchor languages for future versions through the RuleML Wiki Issue Manager. To obtain a Wiki account, contact: webmaster {A T} ruleml.org.

Anchor Language	Normalized Serialization	Relaxed Serialization	Compact 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	RNC
nafhologeq	RNC	RNC	RNC

Schema Drivers for Customized Languages

The MYNG PHP engine published at http://deliberation.ruleml.org/1.02/relaxng/schema_rnc.php accepts a query string that may be used, indirectly through the MYNG GUI or directly by advanced users, to customize a RuleML language. (Note that acessing the PHP script without a query string produces a schema corresponding to the naffologeq language in the relaxed serialization.) Because the more than fifty schema modules are freely-combinable, a large number of customized languages is available (see The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice). A naming convention has been adopted to identify these languages, illustrated as follows:

Language Name	Query String
myng-b3f-d7-a2-l1-p3ff-i7f-tf3f-q3-ef-s4f	?backbone=x3f&default=x7&termseq=x2&lng=x1&propo=x3ff&implies=x7f&terms=xf3f&quant=x3&expr=xf&serial=x4f

The first letter of the (MYNG-)facet (backbone, default, ...) is 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. Myng-code URLs of the form http://deliberation.ruleml.org/1.02/relaxng/myng-b3f-d7-a2-l1-p3ff-i7f-tf3f-q3-ef-s4f.rnc are redirected to the longer PHP/query string URL as a convenience.

MYNG

The MYNG GUI is freely available online for automatically constructing a customized language from the user's feature selections; it is powered by the MYNG PHP engine. For details of the schema modularization approach that makes this fine-grained customization possible, see the MYNG Wiki page, or the publication describing the re-engineering of RuleML in Relax NG.

Proudly Served by LiteSpeed Web Server at deliberation.ruleml.org Port 80