IW Meeting 2010-09-16

From Inference Web

Jump to: navigation, search

Contents

Meeting Info

IW Overall Objectives

     1) PML ontology: (OWL level only) potential non-monotonic  changes (Li) 
     2) PML practice  
         2.1) Use cases and examples (Tim) 
         2.2) RDF level issues (Cynthia) 
         2.3) PML Tools / API issues (Cynthia) 
         2.4) PML primer (Tim) 
     3) PML and OPM mapping (Paulo) 
     4) IW management (TBD)
        4.1) inference web infrastructure and research plan
        4.2) technologies for engagement 
     5) PML Graphical Notation

Agenda

Paulo: data.gov.uk is using provenance.

Notes

Attendees
  • Cynthia Chang
  • Li Ding
  • Tim Lebo
  • Paulo Pinheiro da Silva
  • Deborah McGuinness
  • Geoff

TPTP Combine Proof

  • a test case created by Geoff
  • cynthia produced combined proof
  • results
    • something unexpected
    • not meeting the anticipated proofs
  • 1. Stabilize current combingin software
  • 2. Add greedy hill-climbing algorithm
  • 3. Apply to Mizar proofs
  • 1 redundant proofs (which he and cynthia will work to refine)
  • 2 unexpected proofs (although with discussion it could be that those proofs may be redundant but they are still interesting since they may be evidence for promise of coming up with novel proofs that are truly new and better
  • 3 a clearly better proof as judged by any metric

uses a subset of the original fof axioms , subset of internal nodes, all metrics from paper at workshop

Wine Proof

we need to understand if Wine Agent proofs are good enough to generate explanations. Cynthia showed an example in IW browser, what explanation can be generated from wine agent proofs http://browser.inference-web.org/iwbrowser/NodeSetBrowser?w=900&mg=999&st=Dag&fm=English&url=http%3A%2F%2Finference-web.org%2Fproofs%2Fwino%2F40___owql_0%2F_owql_0ns1_0.owl%23_owql_0ns1_0

TODO: deb follow up with Cynthia on the potentials of this demo

PML 2.1. planning

promoted to issue: http://code.google.com/p/inference-web/issues/detail?id=7

  • ACTION: Tim and paulo talk, the updates will be reflected on wiki page, and an email notification is needed for highlights.
  • ACTION: Stephan add examples


PML Exampels

promoted to issue: http://code.google.com/p/inference-web/issues/detail?id=8

  • focus on sponsored projects
  • need both english and PML data

TODO

  • ACTION: (stephan) consider SPCDIS examples
  • ACTION: (deb, tim,li ) consider Data.gov exampels
Personal tools
Navigation