MYNG 1.02 - the Deliberation RuleML Schema Configuration Form

Instructions

To automatically construct a customized language, make selections from the form below. Click "Download ..." for the normative RNC schema or an approximating XSD anchor schema. To view the Relax NG driver schema, click "Generate Schema", then scroll down. To fill the form to the initial (supremum) values, click "Fill Form". To clear the form, specifying a language with the fewest included modules (infimum), click "Clear Form".



Expressivity
"Backbone"
(Select One)
  1. Atomic Formulas
  2. Ground Fact
  3. Ground Logic
  4. Datalog
  5. Horn Logic
  6. Full First-Order Logic
Propositional
Options
(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
Implication
Options
(Check Zero or More)
  1. Equivalences
  2. Inference Direction
  3. Non-Material
  4. Conjunctive Heads
  5. Negative Constraints
  6. Disjunctive Heads
  7. Existential Heads
Term Sequences:
Number of Terms
(Select One)
  1. None
  2. Unary (Zero or One)
  3. Binary (Zero or Two)
  4. Unary/Binary (Zero to Two)
  5. Variably Polyadic (Zero or More)
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
Serialization
Options
(Check Zero or More)
  1. Unordered Groups
  2. Stripe-Skipping
  3. Explicit Datatyping
  4. Schema Location Attribute
  5. Distributed Syntax
Language
(Select One)

  1. English Abbreviated Names
  2. English Long Names
  3. French Long Names

Relax NG Schema
Relax NG Query String URL =
Equivalent Relax NG myng-code URL =

XSD Anchor Schema URL =

Usage

The RNC and XSD Schema URLs may be used directly for online validation - copy and paste as required by the validator. For a demonstration of RNC 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 "Download RNC Schema" button downloads a copy of the schema driver into a file named according to the text labeled "RNC". To use the schema driver locally (offline), a local copy of the modules directory is also necessary - for download instructions, see the Deliberation RuleML 1.02 Relax NG Directory. For more information about the re-engineering of RuleML into Relax NG, which made this modularization possible, see the MYNG page on the RuleML Wiki.

Schema Driver