6、RIF与RuleML的映射及WellnessRules系统解析

RIF与RuleML的映射及WellnessRules系统解析

1. RIF Presentation Syntax到RIF/XML的映射

RIF Presentation Syntax中的功能式术语可映射到RIF/XML元素，通过插入角色标签实现。以下是具体的映射规则：
| RIF Presentation Syntax | RIF/XML |
| — | — |
| And (
conjunct 1
. . .
conjunct n
) | <And>
<formula>χdlex(conjunct 1)</formula>
. . .
<formula>χdlex(conjunct n)</formula>
</And> |
| External (
atomexpr
) | <External>
<content>χdlex(atomexpr )</content>
</External