15 - 20 July 2006

• Yosi modified cwm to provide uris for all bnodes in the cwm proof. Use n flag for --why.
• Modified scenario3 to reduce the occurences of the large formulae in conclusions by acccepting data.ttl and background.ttl as input. Formula is only created once for log:notIncludes. The rules and filter have been modified accordingly.
  cwm http://dig.csail.mit.edu/TAMI/cph/v2/data.ttl http://dig.csail.mit.edu/TAMI/cph/v2/background.ttl http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules-0715.n3 --think --filter="http://dig.csail.mit.edu/TAMI/lkagal/scenario3/min-filter-0715.n3" --base=foo --why=n > scenario3-0719.proof
• Cwm proof
• Modified cwm-pml to reflect Li's solution of using SourceUsage for large formula.
  • cwm http://dig.csail.mit.edu/TAMI/lkagal/scenario3/scenario3-0719.proof http://www.w3.org/2000/10/swap/reason.n3 http://dig.csail.mit.edu/TAMI/lkagal/cwm-pml/cwm-pml-ver1.n3 --think --filter="http://dig.csail.mit.edu/TAMI/lkagal/cwm-pml/cwm-pml-ver1.n3" --data --rdf > scenario3-07li.pml
  • PML Proof
  • View PML proof of Li's solution
  • Problem with Li's solution : variable has made up uri
• Modified cwm-pml according to Lalana's solution of associating a bnode with its value and displaying it in the same way variables are in IW Browser.
  • cwm http://dig.csail.mit.edu/TAMI/lkagal/scenario3/scenario3-0719.proof http://www.w3.org/2000/10/swap/reason.n3 http://dig.csail.mit.edu/TAMI/lkagal/cwm-pml/cwm-pml-ver2.n3 --think --filter="http://dig.csail.mit.edu/TAMI/lkagal/cwm-pml/cwm-pml-ver2.n3" --data --rdf > scenario3-0720.pml
  • PML Proof
  • View PML Proof of Lalana's solution
  • View manual PML English desc

6 July 2006

• To Do
  • Provide uris for all bnodes in the cwm proof (Yosi)
  • Modify cwm-pml so that URIs of bnodes refering to formulae are provided (Lalana). Li wants the URI sent in SourceUsage.
  • Modify IW Browser to display the formula used in a conclusion in new window (Li). Exact requirements to be provided by Lalana.
  • Modify IW Browser to show URI of bnode (li)
  • English description of N3 to be put on hold for now.
  • What should Fact be mapped to ?

4 July 2006

• PML proof is generated to refer to formula and variable being used in the conclusion.
• View PML in IW Browser

28 June 2006

• Modified cwm-pml.n3
• PML proof
• View PML Proof

23 June 2006

• Gone back to original rules and filters from 19 June 2006
• Cwm proof generated was modified by Yosi to suppress large input formulae. Please check out current version of cwm from cvs.
• Cwm to pml generation was modified to work with new proofs
• Cwm proof
• PML proof
• To Do
  • Modify IW Browser to display the new proofs properly. Suggestion that the formula be displayed in the same way as variables or sources i.e. in a separate window.

20 June 2006

• Scenario 3 changed to remove the large formula from appearing in the proof
• http://dig.csail.mit.edu/TAMI/cph/v2/data.ttl has been modified
  • The root of the proof tree, receive-pnr-1, has the ts:antecedent property set to tb:no-antecedent
  • All the nodes in the proof tree that do not have a purpose have ts:purpose set to tb:any-purpose
• I've copied background.ttl to http://dig.csail.mit.edu/TAMI/background so that it matches the prefix defined and the list of authorized purposes can be read in in order to check whether the statute used in the arrest is valid.
• The rules and filter have been rewritten to handle these changes
• To run :
  cwm http://dig.csail.mit.edu/TAMI/cph/v2/data.ttl http://dig.csail.mit.edu/TAMI/cph/v2/background.ttl http://dig.csail.mit.edu/TAMI/lkagal/scenario3/wsn-rules.n3 --think --filter="http://dig.csail.mit.edu/TAMI/lkagal/scenario3/wsn-filter.n3" > wsn-scenario3.result
• Result of running the rules
• To generate cwm proof :
  cwm http://dig.csail.mit.edu/TAMI/cph/v2/data.ttl http://dig.csail.mit.edu/TAMI/cph/v2/background.ttl http://dig.csail.mit.edu/TAMI/lkagal/scenario3/wsn-rules.n3 --think --filter="http://dig.csail.mit.edu/TAMI/lkagal/scenario3/wsn-filter.n3" --base=foo --why > wsn-scenario3.proof
• Cwm proof
• To generate PML proof:
  cwm wsn-scenario3.proof http://www.w3.org/2000/10/swap/reason.n3 http://dig.csail.mit.edu/TAMI/lkagal/cwm-pml/cwm-pml.n3 --think --filter="http://dig.csail.mit.edu/TAMI/lkagal/cwm-pml/cwm-pml.n3" --data --rdf > wsn-scenario3.pml
• PML Proof generated by cwm-pml.n3 with parseTypes removed manually
• To Do
  • IW Browser is still not able to load this PML proof or find the IW document. Looks like a problem with parseType Quote. I've removed all parseTypes and it seems to work. View scenario 3's PML Proof in IW Browser

  19 June 2006

  • Scenario 3 is complete
    • Scenario3 data
    • Background data relating to the SORNs etc.
    • N3 rules
    • Filter
    • To run :
      cwm http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules.n3 --think --filter="http://dig.csail.mit.edu/TAMI/lkagal/scenario3/min-filter.n3" > scenario3.result
    • N3 result
    • To generate proof :
      cwm http://dig.csail.mit.edu/TAMI/lkagal/scenario3/rules.n3 --think --filter="http://dig.csail.mit.edu/TAMI/lkagal/scenario3/min-filter.n3" --base=foo --why > scenario3.proof
    • Proof generated by cwm
    • To generate PML proof:
      cwm scenario3.proof http://www.w3.org/2000/10/swap/reason.n3 http://dig.csail.mit.edu/TAMI/lkagal/cwm-pml/cwm-pml.n3 --think --filter="http://dig.csail.mit.edu/TAMI/lkagal/cwm-pml/cwm-pml.n3" --data --rdf > scenario3.pml
    • PML Proof generated by cwm-pml.n3
  • To Do
    • IW Browser is not load this PML proof or find the IW document. Issue with PML proof in IW Browser
    • The cwm proof and the pml proof are very long. The data and background files are smushed together and used. Everytime this formula is used is in put into the proof. Needs to be fixed.