This is an easy-to-use translator utilizing XSLT 2.0 between two rule languages.
This project was originally developed on EdmonL/RuleML2TPTP, but now the development work has been transferred to this repository after version 1.02. The old repository EdmonL/RuleML2TPTP is kept only for reference (like a frozen branch or a tag). The entry page for the old repository is here, where the slides and report for the old repository can be obtained.
RuleML is a knowledge representation language developed by the non-profit organization RuleML Inc. RuleML is being used for sharing rule bases in XML and publishing them on the Web. It has broad coverage and is defined as an extensible family of sublanguages across various rule logics and platforms. RuleML consists of Deliberation RuleML and Reaction RuleML.
Supported Deliberation RuleML Layers
Three main expressivity layers of Deliberation RuleML are supported by the following versions:
- Layer Datalog+: version 1.0x
- Layer Hornlog+: version 1.1x
- Layer FOL: version 2.0 and higher
The pre-built binaries can be obtained on the releases page.
Here are some good RuleML examples from RuleML wiki to try with this project.