User Experience Stack Exchange is a question and answer site for user experience researchers and experts. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|improve this question
Are you making the assumption that the legal arguments are a synonym for logical arguments? ;) On a more serious note, are you asking about more mind-mapping type concepts, or things like ways to read court opinions or rules and other formally structured legal documents (or something else entirely?) – DA01 Dec 7 '11 at 5:26
Do you know of any examples yourself? That will help us understand what you mean. Can you post links or examples of any of the XML-based representations? – Patrick McElhaney Dec 7 '11 at 14:32
@PatrickMcElhaney I just tried to post one example I have found so far, but I wasn't allowed to post the screenshot as a new user. I'll update the question with a bit more info as my research unfolds. – ted.strauss Dec 7 '11 at 19:47
@DA01 i'm interested in any of the categories you mentioned, but unlike a mind-mapping tool or formal ontology (which describe static concepts and their relations), I'm more interested in formally-structured documents that include rules, arguments, proofs, inferences, etc. I know it's a tall order, but hey, that's what this site is for. – ted.strauss Dec 7 '11 at 19:59
up vote 1 down vote accepted

I have found a system called DR-Prolog that does logical proofs using a custom XML format for representing content. The visualization uses straight-forward box and arrow diagrams. The type of logic that it was designed for is called Defeasible reasoning.
enter image description here

share|improve this answer
If this solved your problem, feel free to accept the answer! – Rahul Jan 23 '12 at 2:27

I found the article 'Visualizing a Logic of Dependability Arguments' which deals with the topic of the question. Other articles from the conference may be of interest as well.

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.