Pinned Repositories
deliberation-ruleml
issues-ruleml
A repository solely for RuleML issues. No schemas or documents should be committed here.
psoa-ruleml
Positional-Slotted, Object-Applicative RuleML
PSOATransRunComponents
Components of PSOATransRun system
reaction-ruleml
Reaction RuleML
responder-ruleml
static webpages of the Rule Responder website http://responder.ruleml.org
ruleml-metamodel
artifacts defining the RuleML metamodel
ruleml-usecases
Selected RuleML Usecases
ruleml-website
static files used to generate the RuleML website except for usecases and 1.0 spec
xcl2
Draft proposal for the revised XML syntax of Common Logic
RuleML's Repositories
RuleML/reaction-ruleml
Reaction RuleML
RuleML/PSOATransRunComponents
Components of PSOATransRun system
RuleML/deliberation-ruleml
RuleML/ruleml-website
static files used to generate the RuleML website except for usecases and 1.0 spec
RuleML/ruleml-usecases
Selected RuleML Usecases
RuleML/issues-ruleml
A repository solely for RuleML issues. No schemas or documents should be committed here.
RuleML/psoa-ruleml
Positional-Slotted, Object-Applicative RuleML
RuleML/responder-ruleml
static webpages of the Rule Responder website http://responder.ruleml.org
RuleML/ruleml-metamodel
artifacts defining the RuleML metamodel
RuleML/xcl2
Draft proposal for the revised XML syntax of Common Logic
RuleML/2004-ruleml
website for the RuleML 2004 symposium
RuleML/2005-ruleml
website for the RuleML 2005 symposium
RuleML/2007-ruleml
website for the RuleML 2007 symposium
RuleML/2008-ruleml
website for the RuleML 2008 symposium
RuleML/2009-ruleml
website for the RuleML 2009 symposium
RuleML/2010-ruleml
website for the RuleML 2010 symposium
RuleML/2011-ruleml
website for the RuleML 2011 symposium
RuleML/2012-ruleml
website for the RuleML 2012 symposium
RuleML/2013-ruleml
website for the RuleML 2013 symposium
RuleML/2014-ruleml
website for the RuleML 2014 symposium
RuleML/2015-ruleml
website for the RuleML 2015 symposium
RuleML/consumer-ruleml
A RuleML consumer sublanguage
RuleML/GrailogKSViz
RuleML/reaction-ruleml-doc
Schema docs for the Reaction RuleML XSD schemas
RuleML/ruleml-relfun
RuleML/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.
RuleML/TransferTest
RuleML/cl-psoatransrun
A CL implementation of PSOATransRun, an implementation of the PSOA RuleML data and rule language.
RuleML/rule-translation-service
Rule Translation Service (RTS) translate to and from RuleML
RuleML/rule-translation-web-service