Index of /1.03-psoa/exa/

      Name                                                                             Last modified         Size  Description
up Parent Directory 15-Feb-2020 20:00 - directory RulebaseCompetition2014 13-Sep-2018 18:21 - directory NegationDatalog 13-Sep-2018 18:21 - directory NaffologeqPSOA 09-Mar-2020 11:50 - directory MYNG 13-Sep-2018 18:21 - directory HornlogPSOA 10-Mar-2020 22:30 - directory Hornlog 13-Sep-2018 18:21 - directory Holog 13-Sep-2018 18:21 - directory Folog 13-Sep-2018 18:21 - directory FOLPlus 13-Sep-2018 18:21 - directory Dishornlog 13-Sep-2018 18:21 - directory DatalogPlus 13-Sep-2018 18:21 - directory DatalogPSOA 02-Sep-2019 18:40 - directory Datalog 13-Sep-2018 18:21 - directory BinaryDatalog 13-Sep-2018 18:21 -

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.03 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 Port 443