This document describes how to install and use the Justification UI which provides explanations based on the annotated transaction log. This annotated transaction log is produced by the python implementation of the AIR reasoner.
Install the latest Tabulator release and click on these URIs to have Tabulator present the results of asking the reasoner whether one of these logs is compliant with the relevant policies:
I have assumed that you are using Firefox as your web browser. Apologies if you are not, as the following applications are Firefox extensions.
The TAMI Firefox Sidebar Extension provides an easy interface to invoke the reasoner. Installing this is not really necessary if you prefer to manually craft the URI with the correct parameters!
The Justification UI is actually a "pane" in the Tabulator.
As an alternative to installing the xpis, you can run these applications from the checked out SVN source code. This will ensure you have the latest changes, as this project is currently very active. Just follow these few simple steps.
firstname.lastname@example.org, remove those.
The following image shows what you should be seeing when you fetch a policy file.
Once you invoke the reasoner with the correct parameters, you will see the annotated transaction log rendered by Tabulator as shown in the following image. Note that the "Data" pane which has the "RDF" icon, and the "Justification" pane which has the "?" mark icon are toggled to be active. You can always click on the relevant icons and make these panes hidden/unhidden.
Once you click the "Why?" button you will see a description appear in the "Because" box, and the premises appear in the "Premises" box. When you click the "More Information" button the descriptions corresponding to outer rules in the proof tree will be appended to the "Because" box, and the "Premises" box will be overwritten by the corresponding set of premises in the proof tree.
When all the descriptions in the proof tree are traversed the message "No more information is availble from the reasoner" will be displayed in the "Premises" box. At any given time, this proof exploration can be restarted by clicking the "Start Over" button.
The following image shows an intermediate stage in the proof tree exploration.
In addition to stepping through the proof tree it is also possible to get a summary of the scenario and the justification using the "Lawyer's View" pane by clicking the "balance" icon on the top right hand corner.
The specific sections in the summary and the data included therein are as follows:
rdfs:commentwhich describes what the intended rule of the policy is, that is taken to be the content for this section. If there is no
rdfs:comment, the content defaults to "Rule is specified in the [policy]".
air:descriptionsof the outer
air:rulesin the proof tree (i.e.intermediate rules that were fired in the reasoning).
air:descriptionof the final
air:rulein the proof tree.