Index of /1.02/exa/

 Name                                                                             Last modified         Size  Description 
   
 Parent Directory                                                                 09-Jan-2016 19:46        -       
 BinaryDatalog                                                                    30-Jul-2014 16:43        -       
 Datalog                                                                          20-Jun-2016 18:45        -       
 DatalogPlus                                                                      20-Jun-2016 18:45        -       
 Dishornlog                                                                       04-Jun-2015 18:50        -       
 FOLPlus                                                                          30-Jul-2014 16:43        -       
 Folog                                                                            17-May-2016 08:55        -       
 Holog                                                                            19-Dec-2015 19:50        -       
 Hornlog                                                                          30-Jul-2014 16:43        -       
 MYNG                                                                             17-Jan-2015 14:50        -       
 NegationDatalog                                                                  30-Jul-2014 16:43        -       
 RulebaseCompetition2014                                                          17-Feb-2015 12:40        -       

The examples of this directory are grouped into (sub-)subdirectories roughly corresponding to anchor languages. In the instance documents at the leaves of the main directory, xml-model processing instructions (PIs) and/or xsi:schemaLocation attributes are used to indicate RNC, NVDL, or XSD schemas that the instances should validate against. Please see Appendix 3, Appendix 4, and Appendix 5 of the Deliberation RuleML 1.02 Specification for information on validating these examples against Relax NG schemas, NVDL scripts, and XSD schemas, resp. Besides the primary instance documents with filename extension .ruleml, secondary documents with other filename extensions .<ext> are sometimes included to illustrate meaning and interoperation of primary documents (using the same filename, i.e. instance.ruleml and instance.<ext>). The RuleML validation scripts only process leaf documents with filename extension .ruleml (ignoring everything else). Some instance documents are intended as counter-examples for validation, as indicated by their names of the form instance_fail.ruleml.