Name Last modified Size Description
Parent Directory 25-Jan-2018 19:55 -
BinaryDatalog 30-Jul-2014 16:43 -
Datalog 25-Jan-2018 19:55 -
DatalogPlus 25-Jan-2018 19:55 -
Dishornlog 25-Jan-2018 19:55 -
FOLPlus 30-Jul-2014 16:43 -
Folog 25-Jan-2018 19:55 -
Holog 19-Dec-2015 19:50 -
Hornlog 30-Jul-2014 16:43 -
MYNG 25-Jan-2018 19:55 -
NegationDatalog 30-Jul-2014 16:43 -
RulebaseCompetition2014 25-Jan-2018 19:55 -
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.
Proudly Served by LiteSpeed Web Server at deliberation.ruleml.org Port 80