This is an archive of an inactive wiki and cannot be modified.

Validation of Positive Conditions

The BNF for Positive Conditions can be directly rewritten as a DTD (see PositiveConditions.dtd) or an XML Schema.

Using the DTD spec, XML validators such as Richard Goerwitz' STG Validator succeed with positive conditions such as the conjunction of Example 2b (see Positive Conditions):

<?xml version="1.0" standalone="no"?>
<!DOCTYPE And SYSTEM "http://www.jdrew.org/rif/PositiveConditions.dtd">
<And>
  ... valid content such as Example 2b ...
</And>

Validation of Horn Rules

The BNF for Horn Rules can be directly rewritten as a DTD (see HornRules.dtd) or an XML Schema.

Using the DTD spec, XML validators succeed with Horn clauses such as the 2-clause rule set of Example 4 (see Horn Rules):

<?xml version="1.0" standalone="no"?>
<!DOCTYPE Ruleset SYSTEM "http://www.jdrew.org/rif/HornRules.dtd">
<Ruleset>
  ... valid content such as Example 4 ...
</Ruleset>