Popular repositories
-
-
-
-
ruleml-website Public
static files used to generate the RuleML website except for usecases and 1.0 spec
-
-
issues-ruleml Public
A repository solely for RuleML issues. No schemas or documents should be committed here.
Repositories
- ruleml-website Public
static files used to generate the RuleML website except for usecases and 1.0 spec
-
- cl-psoatransrun Public
A CL implementation of PSOATransRun, an implementation of the PSOA RuleML data and rule language.
-
- deliberation-ruleml Public
- TransferTest Public
- RuleML2TPTP Public
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 TPTP (Thousands of Problems for Theorem Provers) format.
-
- rule-translation-web-service Public
-