Selection Form

Notice of Obsolescence

See the current Deliberation RuleML MYNG service.


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 =

(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)
(Check One)

  1. English Abbreviated Names
  2. English Long Names
  3. French Long Names
(Check Zero or More)
  1. Unordered Groups
  2. Stripe-Skipping
  3. Explicit Datatyping
  4. Schema Location Attribute
(Check Zero or More)
  1. IRIs
  2. Rulebases
  3. Entailments
  4. Degree of Uncertainty
  5. Strong Negation
  6. Weak Negation
         (Negation as Failure)
  7. Node Identifiers
  8. In-Place Annotation
  9. XML base
  10. XML id
(Check Zero or More)
  1. Equivalences
  2. Inference Direction
  3. Non-Material
(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
(Check Zero or More)
  1. Implicit Closure
  2. Slotted Rest Variables
  3. Positional Rest Variables
(Check Zero or More)
  1. Generalized Lists
  2. Set-valued Expressions
  3. Interpreted Expressions


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, 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 1.0 Relax NG Directory.

Main Module