Selection Form

Instructions

Make a selection from the form below, then click "Refresh Schema" to update the Schema URL. The main module is also displayed below the form. To reset the form to the default (supremum) values, click "Reset Form".



Schema URL =

Expressivity
"Backbone"
(Check One)
  1. Atomic Formulas
  2. Ground Fact
  3. Ground Logic
  4. Datalog
  5. Horn Logic
  6. Disjunctive Logic
  7. Full First-Order Logic
Treatment of Attributes
With Default Values
(Check One)
  1. Required to be Absent
  2. Required to be Present
  3. Optional
Term Sequences:
Number of Terms
(Check One)
  1. None
  2. Binary (Zero or Two)
  3. Polyadic (Zero or More)
Language
(Check One)

  1. English Abbreviated Names
  2. English Long Names
  3. French Long Names
Serialization
Options
(Check Zero or More)
  1. Unordered Groups
  2. Stripe-Skipping
  3. Explicit Datatyping
  4. Schema Location Attribute
Propositional
Options
(Check Zero or More)
  1. URIs
  2. Rulebases
  3. Entailments
  4. Degree of Uncertainty
  5. Strong Negation
  6. Weak Negation
         (Negation as Failure)
Implication
Options
(Check Zero or More)
  1. Equivalences
  2. Inference Direction
  3. Non-Material
Term
Options
(Check Zero or More)
  1. Object Identifiers
  2. Slots
  3. Slot Cardinality
  4. Slot Weight
  5. Equations
  6. Oriented Equations
  7. Term Typing
  8. Data Terms
  9. Skolem Constants
  10. Reified Terms
Quantification
Options
(Check Zero or More)
  1. Implicit Closure
  2. Slotted Rest Variables
  3. Positional Rest Variables
Expression
Options
(Check Zero or More)
  1. Generalized Lists
  2. Set-valued Expressions
  3. Interpreted Expressions

Usage

The Schema URL may be used directly for online validation - copy and paste as required by the validator. For a demonstration of validation using the online service Validator.nu, see How to Validate with the RuleML Parameterized Relax NG Schema. Some scripts and processing instructions may require that the character "&" be replaced by "&". Clicking on the Schema URL downloads a copy of the schema driver into a file named "custom_driver.rnc". To use the schema driver locally (offline), a local copy of the modules directory is also necessary - this may be downloaded as a zip archive from the RuleML 0.91 Relax NG Directory.

Main Module