search

lidingpku / inference-web

Automatically exported from code.google.com/p/inference-web
0 stars 0 forks source link

update list of PML datasets on IW wiki page. #3

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
We need to refresh the list of PML datasets
http://inference-web.org/wiki/PML_Datasets

in particular, we should grow the list of reusable PMLP instances
* rules,  languages, formats
* sources, etc.

Original issue reported on code.google.com by liding...@gmail.com on 15 Jul 2010 at 5:02

GoogleCodeExporter commented 9 years ago 
ACTION: tim to find out actual URL for MLSO and update wiki page.

Action - cynthia look for pml from stanford  for the wine examples  (deborah 
thought there was pml for every single example on 
http://onto.stanford.edu:8080/wino/index.jsp
(i.e. if you chose regular red meat, spicy red meat; or simply red meat, etc)

ACTION: Tim to try to materialize PML from Jim's sparql endpoint.

ACTION: validate PML data files. every URI ever mentioned below a "entry point" 
is dereferencable.

Original comment by liding...@gmail.com on 22 Jul 2010 at 4:38

GoogleCodeExporter commented 9 years ago 
results - cynthia look for pml from stanford  for the wine examples
 * a bunch of old proofs related to wine has been found, mainly related to pairing of wine and meal
 * it will take several days to get them back
 * the wine proofs i saw were from wino. they are all in pml1. they look like the pre-generated proofs for wine pairing for different food. the logical sentences are written in kif. i see there are two parts to get these proofs to be useful. one is to convert them to the pml2 and the other is to make the application. i am not sure the wine agent james worked on generates the same proofs.

ACTION: cynthia to make a table of proofs to be bring back
 1. how to demonstrate PPDL, supporting automatic proof verification. That was done by pryiandra and it has PPDL (or inference ML) stuff in it; (pryiandra)
 2. proof involving typicality assumptions in support of NIMD; 
 3. JTP proofs derived from IBM UIMA logic; 
 4. combined proofs of JTP reasoning and UIMA-extracted knowlege -- Mississipi is just UIMA-extracted knowledge. We used to have examples of COMBINED proofs
 5. proofs involving the use of tactics and declarative rules (possible also with the help of Inference ML)
 6. proofs involving tasks such as proofs derived by SRI SPARK; I am talking about CALO and Alyssa may have access to some of these proofs

ACTION: Cynthia/Paulo try to find the proofs at stanford backup

TABLED ACTIONS

ACTION: tim to find out actual URL for MLSO and update wiki page.
ACTION: Tim to try to materialize PML from Jim's sparql endpoint.
ACTION: validate PML data files. every URI ever mentioned below a "entry point" 
is dereferencable.

Original comment by liding...@gmail.com on 29 Jul 2010 at 3:38

GoogleCodeExporter commented 9 years ago 
(1), pryiandra; for (2), (3)  and (4) , Bill Millar, for (5) Dhyanish and 
vasco; for (6) Alyssa

Original comment by liding...@gmail.com on 5 Aug 2010 at 2:59

GoogleCodeExporter commented 9 years ago 
We need to follow-up this issue

Original comment by liding...@gmail.com on 12 Aug 2010 at 4:55

GoogleCodeExporter commented 9 years ago

Original comment by liding...@gmail.com on 12 Aug 2010 at 4:56

GoogleCodeExporter commented 9 years ago 
[deleted comment]
GoogleCodeExporter commented 9 years ago 
According to Stephan, MLSO is in http://escience.rpi.edu/pml/ and is currently 
listed on the dataset list page.

Original comment by tim...@gmail.com on 9 Sep 2010 at 3:11

GoogleCodeExporter commented 9 years ago 
us-uk provenance course project SPARQL endpoint is still up and available. Need 
to query in segments, as endpoint dies if you ask for all at once.

http://granite.med.yale.edu:2020/sparql.html (if down, need to remind Jim to 
start it up)

Original comment by tim...@gmail.com on 9 Sep 2010 at 3:13

GoogleCodeExporter commented 9 years ago 
Updates
DONE:
 * tim to find out actual URL for MLSO and update wiki page
   According to Stephan, MLSO is in http://escience.rpi.edu/pml/ and is currently listed on the dataset list page.

TODO:
 * ACTION: (Cynthia) publish recovered wine agent proof data at http://inference-web.org/proofs/
 * ACTION: (TBD) rebuild WineAgent (v1) demo to show a customized UI for accessing explanations encoded in PML proofs. http://www.ksl.stanford.edu/people/dlm/webont/wineAgent/
 * ACTION: organize PML dataset page http://inference-web.org/wiki/PML_Datasets
    justification: primarily pmlj:justification element
    justification metadata: primarily pmlp:identified thing

TODO TABLED
 * ACTION: Tim to try to materialize PML from Jim's sparql endpoint.
 * ACTION: validate PML data files. every URI ever mentioned below a "entry point" is dereferencable.

Original comment by liding...@gmail.com on 9 Sep 2010 at 3:57

GoogleCodeExporter commented 9 years ago 
James Michaelis: 

Here's the link: http://onto.rpi.edu/wiki/wine/index.php/Main_Page.  However, 
it looks like the main application is having some problems (I'll have to look 
at that later). 
While there are some provenance components in this version of the Wine Agent 
(it provides an ordering of wines for different foods, derived from Semantic 
Mediawiki entries made by certain authors), I don't think it's generating 
actual PML for the wine orderings.

Original comment by tim...@gmail.com on 9 Sep 2010 at 4:29

GoogleCodeExporter commented 9 years ago 
Updates
DONE:
 * (cynthia) got wine agent proofs back at http://inference-web.org/proofs/wino/
 * (paulo) how to demonstrate PPDR, supporting automatic proof verification. That was done by pryiandra and it has PPDL (or inference ML) stuff in it; (pryiandra)
 * (tim) PML dump of US and UK mashup workflow online

TODO:
 * ACTION: deb follow up with Cynthia on the potentials of this demo
 * ACTION: find PPDR proofs, (check priyendra (login  deshwal) in KSL file system;) (paulo find rules for PPDR, cynthia look for proofs using the rules; paulo verify the proofs) <10hr
 * ACTION: (li) move the us-uk dump to inference-web.org, un-compressed. (not yet linked data)

TODO TABLED:
 * ACTION: (TBD) rebuild WineAgent (v1) demo to show a customized UI for accessing explanations encoded in PML proofs. http://www.ksl.stanford.edu/people/dlm/webont/wineAgent/
 * ACTION: Tim to try to materialize PML from Jim's sparql endpoint.
 * ACTION: validate PML data files. every URI ever mentioned below a "entry point" is dereferencable.

Original comment by liding...@gmail.com on 16 Sep 2010 at 4:05

GoogleCodeExporter commented 9 years ago 
ACTION: (li) move the us-uk dump to inference-web.org, un-compressed. (not yet 
linked data)

done:
* see 
http://inference-web.org/wiki/PML_Datasets#Justification_for_data_conversion
* see http://inference-web.org/2010/us-uk_pixel-to-government-excel/

Original comment by liding...@gmail.com on 16 Sep 2010 at 4:15