Index of /ruleml.org/1.0/exa/

Deliberation RuleML 1.0 Examples Directory

Notice of Pending Obsolescence

This directory contains the approved examples of Deliberation RuleML. The Specification of Deliberation RuleML 1.01 is currently under review. In the pending release, the examples will be available from the Deliberation RuleML 1.01 Examples Directory.

      Name                                Last modified         Size  Description 
   
up Parent Directory 16-May-2014 21:01 - directory BinaryDatalog 11-Dec-2013 15:59 - directory Datalog 11-Dec-2013 15:59 - directory Datalog-xsd 11-Dec-2013 15:59 - directory Dishornlog 11-Dec-2013 15:59 - directory FOL+ 11-Dec-2013 15:59 - directory Folog 11-Dec-2013 15:59 - directory Hornlog 11-Dec-2013 15:59 - directory Issues 11-Dec-2013 15:59 - directory MYNG 11-Dec-2013 15:59 - directory NegationDatalog 11-Dec-2013 15:59 - directory SWSL 11-Dec-2013 15:59 -

Validation Instructions in Validator.nu

Please see the MYNG Demo for a tutorial on using the online tool Validator.nu to validate these examples against Relax NG schemas, XSD schemas or NVDL scripts.

Validation Instructions in http://www.w3.org/2001/03/webdata/xsv

Enter two addresses in the text field, the instance and the schema. For example
http://ruleml.org/1.0/exa/Hornlog/hornlogeq/hornlogeq.ruleml http://ruleml.org/1.0/xsd/hornlogeq.xsd

Validation Instructions in oXygen

In the instances in this examples directory, xml-model processing instructions (PIs) are used to indicate the minimal RNC and XSD schemas that the instances should validate against. An xml-model processing application, such as oXygen (http://oxygenxml.com) will use these PIs to determine the schemas to be used for validation. Unfortunately, the RuleML Version 1.0 XSD schemas are not validated by oXygen's default XSD validator, Xerces, due to circular definitions. These XSD schemas are validated by Saxon EE (with warning messages) and XSV (with no warning messages). Ideally, a user would configure oXygen to use a non-default XSD validation engine, enabling validation of an instance against both RNC and XSD schemas. Unfortunately, in oXygen versions up to at least 13.1, this configuration setting causes oXygen to attempt to apply the Saxon engine to the RNC schema, which produces an error message. This bug has been reported and is scheduled to be fixed in oXygen 13.2. The xml-model processing instruction for the XSD schema has been commented out, so that it can be easily activated once this oXygen issue is fixed. Also a RuleML start tag that includes the xsi:schemaLocation attribute is available in a comment in each file, for use with validators that do not understand xml-model processsing instructions.

As a temporary workaround to this oXygen issue, one may apply a custom validation configuration to each subdirectory, except for the MYNG subdirectory, where each file requires a custom validation configuration. Each configuration contains two validation scenarios:

  1. the default validation scenario, which activates the xml-model PI with the RNC schema;
  2. a scenario specifying the XSD schema appropriate to that instance or subdirectory, and a validation engine (either Saxon EE or XSV)
Once these configurations have been set, batch validation may be performed on the entire exa directory.

Hint: the oXygen "Information" view provides helpful information about the batch validation process, beyond what appears in the "Results" pane.

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