From RuleML Wiki
Since RuleML should help rule-system interoperation, (XSLT, ...) translators for RuleML rulebases are rather important. Please send us further translator pairs between your system and RuleML -- even if your translators are (still) partial.
- RuleML<->POSL Converter: A pair of online translators between the POSL shorthand and its XML serialization
- PSOA2TPTP: PSOA RuleML translator to TPTP format, which can be executed, e.g., by VampirePrime
- TPTP RuleML: Datalog+, Hornlog+, and FOL RuleML translators to TPTP format
- DMN<->RuleML Translator: OMG DMN (S-Feel) translator service