IW Meeting 2012-09-13

From Inference Web

Jump to: navigation, search

Contents

Meeting Information

Agenda

Attendees

  • Jim
  • Paulo
  • Patrice
  • Cynthia
  • Tim
  • Deborah (delayed)
  • James (Regrets)

Meeting Preparation

Around the room

 * Add a section for yourself 2 hours before meeting.  * Mark any discussion point that you would like to raise during meeting (with DURING MEETING).  * Otherwise, assume that others will read the rest before meeting.   * Also, please be considerate and read others' discussion points before the meeting starts.

Tim

Up next:

  • Filling in definitions of PML 3 terms.
  • Refining PML 3 HTML
  • Creating exemplars for each term.
  • Adding PROV-O + PML 3 to csv2rdf4lod and DataFAQs as part of healthdata.tw.rpi.edu challenge submission.

RETURN TO: subtask to meet December 1 deadline.

  • tasks: review and discuss.
  • Tim: instance analysis inspired by discussing terms and developing HTML

Jim

Done:

  • Continued on healthdata challenge and PML 3.

Will do:

  • Continue on healthdata challenge and PML 3.
  • question from deborah - are we getting any requirements for pml 3 from this effort?  and what of the healthdata challenge does not fit in PROV (and/or what does not fit so naturally)?
    • Tim: we expect requirements to arise, we'll see when we get there and will capture them (and address them in PML 3's documentation exemplars)

healthdata modeling is using prov:specializationOf

Tim: question about provenance of combined cubes.

  • void:inDataset point to datasets, and the dataset has provencne. 

James

  • FUSE: Helping with system deployment.

Cynthia

  • Fusenet infrastructure.
  • Storyboard deployment.

Paulo

PML3 adoption/development at PNNL and UTEP

A. Documentation:

PML3 primer (derived from the PML2)

B. Tools 

1. VisKo (with Nick and Cynthia)     1.1. Nick's API     1.2. Cynthia's API 2. Web Probe It (with Hugo and Nick) 2. IWBrowser (with Cynthia) 3. Deriva (with Antonio)

  • Tim would like more info on this. He's done some similar things in a few different ways, and would like to discuss approaches.

4. SPARQL queries for PML3

C. Applications:

1.  TPTP conversion (Cynthia) 2.  UIMA examples (Cynthia) 1. Hole's code (UTEP) 3. WDO/SAW (with Leo) 4. PNNL Knowledge Graph

Patrice

Deborah

  • see comments above on tim and jim.
  • would like to return to the Note / vs member submission issue and timeline with tasks
  • would also like to know where to look for emerging requirements (such as those that might be emerging from the healthdata challenge or for anything that might be emerging from Patrice's work on the semantaqua / dataone work or the emerging fuse requirements (i think fuse is not generating anything this second but might in the next few weeks)

Please add new requirements as a new section in : http://inference-web.org/wiki/Exogenous_additions_to_PML_3.0

Media:Example.ogg

Outstanding Items

  • TODO: Cynthia to provide a proof by negation.
    • Proof with refutation:

http://browser.inference-web.org/iwbrowser/NodeSetBrowser?w=900&mg=999&st=Dag&fm=Raw&url=http%3A%2F%2Finference-web.org%2Fproofs%2Ftptp%2FSolutions%2FPUZ%2FPUZ001%2B1%2FEP---1.2%2Fanswer.owl%23answer 

The proof starts out an assumption "killed (agatha, agatha)" (nodeset #48) andgot negated. Then it concludes "$false" because of this negation "~ killed(agatha, agatha)". By using "Refutation" rule, the negated conjecture was discarded, therefore concludes "killed (agatha, agatha)". You may see a summary of the proof by : 

 http://browser.inference-web.org/iwbrowser/BrowseNodeSet?uri=http%3A%2F%2Finference-web.org%2Fproofs%2Ftptp%2FSolutions%2FPUZ%2FPUZ001%2B1%2FEP---1.2%2Fanswer.owl%23answer     Be sure to click the "show" button of "Justified by" to see the negated conjecture being discharged.

http://browser.inference-web.org/iwbrowser/NodeSetBrowser?w=900&mg=999&st=Dag&fm=Raw&url=http%3A%2F%2Finference-web.org%2Fproofs%2Ftptp%2FProblems%2FPUZ%2FPUZ001%2B1%2Fquery.owl%23query 

You can see the question, query and answers. In this example, each answer is produced by a different inference engine. The refutation example above is one of these answers (EP 1.2). You can also see how all these are linked together in pml code:

http://inference-web.org/proofs/tptp/Problems/PUZ/PUZ001+1/query.owl 

  • TODO: Jim to provide query/question/answer example in PML 3.
Facts about IW Meeting 2012-09-13RDF feed
Date13 September 2012  +
Personal tools
Navigation