This is an easy-to-use translator utilizing XSLT 2.0 between two rule languages.
Notice
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.
Introduction
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.
This project is aimed at implementing an XSLT 2.0 translator to convert Deliberation RuleML 1.01 in XML format to an equivalent representation in a subset of the (FOF) TPTP language.
For a documentation page for the joint endeavors of the RuleML and TPTP communities, see TPTP RuleML on the RuleML wiki. Also see the readme file of this project for brief usage.
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.
RuleML Examples
Here are some good RuleML examples from RuleML wiki to try with this project.