REFEREE Demo-1.2 Instruction Page

How it works

You first fill out an HTML form that specifies your desired configuration, and submit to my web server running Jigsaw for evaluation.
The server invokes REFEREE with your attributes, and returns an answer in the form of a tri-value and a statement-list. (Please see REFEREE-1.4d Specification for detail information).
Your browser displays the output.

I will describe each step in detail.

Step 1: Filling Out the Form

The form looks like the following:

Action: is the verb that identifies the policy. It is ignored for this particular demo, because we supply only one policy to REFEREE instead of a set of policies.
URL: is the target URL we are operating on.
Policy: is the policy written in Profiles-0.92 language which will be interpreted by the Profiles-0.92 interpreter in server's REFEREE environment.
PICS Labels: is a place to specify the output of the "load-label" invocation. In this way we are able to control what labels we get back from the label bureaus.
Vouched Raters: is a place to specify the raters in which GoodMouseClicking vouches for. Please use double quote for the rater's name.
Submit Button: click here when you are ready to submit the form for evaluation.

Step 2: Server Invokes REFEREE

The server parses your form and sets up REFEREE environment and Profiles-0.92 interpreter appropriately. The interpreter runs your policy against the PICS labels you supply, and returns a tri-value and a statement-list as specified in the REFEREE document.

Step 3: Browser Displays the Output

A sample output is as followed:



The answer is:

( ( Tri-Value "TRUE" ) 
  ( Statement List 
    ( ( ( "endorse-label" "load-label" ) 
        ( "mailto:GoodMouseClicking@w3.org" 
          ( ( version "PICS-1.1" ) 
            ( service "http://www.musac.org/" ) 
            ( original 
              ( PICS-1.1 "http://www.musac.org/" 
                labels 
                  by "alice@rater.org" 
                  ratings 
                  ( s 1 ) ) ) 
            ( by "alice@rater.org" ) 
            ( ratings 
              ( s 1 ) ) ) ) ) ) ) ) 


A trace is as followed:

eval: 
( invoke "load-label" STATEMENT-LIST URL "http://www.musac.org/" 
  ( EMBEDDED ) )

result: 
( ( Tri-Value "TRUE" ) 
  ( Statement List 
    ( ( ( "load-label" ) 
        ( ( "load-label" "http://www.w3.org/pub/WWW/Overview.html" EMBEDDED ) 
          ( ( version "PICS-1.1" ) 
            ( service "http://www.musac.org/" ) 
            ( original 
              ( PICS-1.1 "http://www.musac.org/" 
                labels 
                  by "alice@rater.org" 
                  ratings 
                  ( s 1 ) ) ) 
            ( by "alice@rater.org" ) 
            ( ratings 
              ( s 1 ) ) ) ) ) ) ) )
------------------------------------------------------------

eval: 
( invoke "endorse-label" STATEMENT-LIST "mailto:GoodMouseClicking@w3.org" 
  ( "http://labels.com/" ) )

result: 
( ( Tri-Value "TRUE" ) 
  ( Statement List 
    ( ( ( "endorse-label" "load-label" ) 
        ( "mailto:GoodMouseClicking@w3.org" 
          ( ( version "PICS-1.1" ) 
            ( service "http://www.musac.org/" ) 
            ( original 
              ( PICS-1.1 "http://www.musac.org/" 
                labels 
                  by "alice@rater.org" 
                  ratings 
                  ( s 1 ) ) ) 
            ( by "alice@rater.org" ) 
            ( ratings 
              ( s 1 ) ) ) ) ) ) ) )
------------------------------------------------------------

eval: 
( match 
  ( ( * "load-label" * ) 
    ( * 
      ( ( version "PICS-1.1" ) * 
        ( service "http://www.musac.org/" ) * 
        ( ratings 
          ( RESTRICT < s 2 ) ) ) ) ) STATEMENT-LIST )

result: 
( ( Tri-Value "TRUE" ) 
  ( Statement List 
    ( ( ( "endorse-label" "load-label" ) 
        ( "mailto:GoodMouseClicking@w3.org" 
          ( ( version "PICS-1.1" ) 
            ( service "http://www.musac.org/" ) 
            ( original 
              ( PICS-1.1 "http://www.musac.org/" 
                labels 
                  by "alice@rater.org" 
                  ratings 
                  ( s 1 ) ) ) 
            ( by "alice@rater.org" ) 
            ( ratings 
              ( s 1 ) ) ) ) ) ) ) )
------------------------------------------------------------

eval: 
( false-if-unknown 
  ( match 
    ( ( * "load-label" * ) 
      ( * 
        ( ( version "PICS-1.1" ) * 
          ( service "http://www.musac.org/" ) * 
          ( ratings 
            ( RESTRICT < s 2 ) ) ) ) ) STATEMENT-LIST ) )

result: 
( ( Tri-Value "TRUE" ) 
  ( Statement List 
    ( ( ( "endorse-label" "load-label" ) 
        ( "mailto:GoodMouseClicking@w3.org" 
          ( ( version "PICS-1.1" ) 
            ( service "http://www.musac.org/" ) 
            ( original 
              ( PICS-1.1 "http://www.musac.org/" 
                labels 
                  by "alice@rater.org" 
                  ratings 
                  ( s 1 ) ) ) 
            ( by "alice@rater.org" ) 
            ( ratings 
              ( s 1 ) ) ) ) ) ) ) )
------------------------------------------------------------

The output has two parts: an answer and a trace. An answer consists of two parts: a 'Tri-Value' and a 'Statement-List'. The 'Tri-Value' is the output of the policy evaluation and can return only "TRUE", "FALSE", or "UNKNOWN". The 'Statement-List' is a set of statements that supplement the tri-value. Each statement has two elements; the first element converys the context (speaker) of the statment, and the second element provides the content of the statement.

A trace is a list of pairs of (eval, result). 'Eval' field is the expression in which the interpreter is about to evaluate. 'Result' field is the output of that expression. The output has two parts: a 'Tri-Value' and a 'Statement-List', which is identical to the answer as described above.

That's all. Enjoy the demo!

Comments to Yang-hua Chu

Created 27 October 1996 by Yang-hua Chu

Last updated 28 October 1996 by Yang-hua Chu