Popular repositories Loading
-
-
-
-
ruleml-website
ruleml-website Publicstatic files used to generate the RuleML website except for usecases and 1.0 spec
-
-
issues-ruleml
issues-ruleml PublicA repository solely for RuleML issues. No schemas or documents should be committed here.
Repositories
Showing 10 of 35 repositories
- ruleml-website Public
static files used to generate the RuleML website except for usecases and 1.0 spec
- cl-psoatransrun Public Forked from mthom/cl-psoatransrun
A CL implementation of PSOATransRun, an implementation of the PSOA RuleML data and rule language.
- deliberation-ruleml Public
- TransferTest Public
- RuleML2TPTP Public Forked from edmonl/RuleML2TPTP
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-service Public Forked from farbtrommel/rule-translation-service
Rule Translation Service (RTS) translate to and from RuleML