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?

  • 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? 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. 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. Dec 7 '11 at 19:59

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


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.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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