I am interested in user interfaces that represent legal argumentation and/or logical reasoning. For professionals dealing with complex reasoning and argumentation that is mainly language-based, what tools are they using to formalize, manage and archive their documents?
I am most interested in browser-based, e.g. viewers of XML-based representations, but stand-alone applications would be fascinating too. The types of markup languages that I'm interested in seeing viewers of include: Legal XML, RuleML, and some instances of OWL and RDF.
What is out there?