Conclusions
Further rule categories (e.g. ICs and triggers) and DTD updates will be available via main RuleML page at http://www.dfki.de/ruleml
Distributed KR can already be based on current DTDs -- using (XSLT) transformations to reach follow-up and Participants’ DTDs