Integrating Cwm with Inference Web

Latest version : http://dig.csail.mit.edu/TAMI/lkagal/cwm-pml/

1 June 2006

hasSourceUsage supports unregistered sources. Fixed by Cynthia.

cwm-pml.n3 now generates sourceusage for Extraction. Also fixed problem with --filter generating oversimplified results.
View PML of Example1 in Inference Web
View PML of Example2 in Inference Web
Carlos's TAMI scenario 3 : Check if a transfer is legal
Scenario 3 : Check if an arrest is justified by ensuring that all antecedents in its antecedent chain are legal/justified.
- Simple N3 rules
- Filter
- Modified data
- To generate N3 proof :
  cwm http://people.csail.mit.edu/lkagal/tami/tami-scenario3-data.n3 http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3 http://people.csail.mit.edu/lkagal/tami/tami-scenario3-rules.n3 --think --filter="http://people.csail.mit.edu/lkagal/tami/tami-scenario3-filter.n3" --base=foo --why > tami-scenario3.proof
- N3 Proof
- To generate PML proof :
  cwm tami-scenario3.proof http://www.w3.org/2000/10/swap/reason.n3 http://people.csail.mit.edu/lkagal/tami/cwm-pml.n3 --think --filter="http://people.csail.mit.edu/lkagal/tami/cwm-pml.n3" --rdf > tami-scenario3.pml
- PML proof
- View PML proof in IW
To Do
- Split conclusion of conjunction to its components
- Question: Is it possible to have more than 5 for the lens magnitute. Is this required ? It is possible to drill down as required. For example, clicking on an Extraction NodeSet provides all the steps that lead to that Extraction that may not have been displayed in the original proof.

26 May 2006

cwm-pml.n3 generates pml from the cwm proof. Some bugs (see below)
Instructions for generating pml from n3
- Download source (examples, Makefile, cwm-pml.n3)
- Untar it
- Configure Makefile and "make"
- *.pml are files that are generated by cwm-pml.n3 from the n3 proof
Example 1
Example 2
To Do
- hasSourceUsage not supported in IW
- Every NodeSet needs to have a conclusion. Need to obtain conclusions for Inferences within a Conclusion.

11 May 2006

We've been looking at how cwm's reason ontology maps to PML.
Suggested mapping. Some problems we need to express the difference between :rule and :evidence properties of Inference
Registered cwm rules (placeholders) with Inference Web Base
Developed some examples
Simple TAMI-like example in N3
To run the example :
cwm http://people.csail.mit.edu/lkagal/tami/example1.n3 --think --filter="http://people.csail.mit.edu/lkagal/tami/example1.n3"



  Result
  of running the example

  Proof
  generated by cwm

  Manually generated PML proof

  View
  the PML proof in Inference Web Browser

  Example 2 : Two level TAMI-like example

   To run the example : 

   

   
  cwm
  http://people.csail.mit.edu/lkagal/tami/example2.n3 --think --filter="http://people.csail.mit.edu/lkagal/tami/example2.n3"


   Result
  of running the example

  Proof
  generated by cwm

  Manually generated PML proof

   View the PML proof in Inference Web Browser



To do :


   Find out whether hasSourceUsage can be used to link to the
  source documents (Li Ding)

  reason.n3 does not contain info about evidence, rule, and
  args. Add those (Lalana)

  Decide on mapping (Li and Lalana)
  Figure out how to display more than one step in IW browser (Lalana)
  Fix to-pml.n3 (Lalana)