This wiki has been archived and is now read-only.

PIL OWL Ontology Meeting 2012-05-28

From Provenance WG Wiki
Jump to: navigation, search

Meeting Information

prov-wg - Modeling Task Force - OWL group telecon


  • Tim
  • Daniel
  • Khalid


  • Stian
  • Paul
  • Satya 
  • Stephan
  • Jun


For the issues that you are assigned:

  • describe the original concern
  • describe any perspectives already expressed
  • recommend next step, or propose a solution




  • https://www.w3.org/2011/prov/track/issues/372 qualified prop chains
    • (prov:qualifiedUsage prov:entity) rdfs:subPropertyOf prov:used .
    • Why the new "RL++ errors"?  
    • Jun/Stian/Satya will take a look and report back what that error message means so that we can include them in the HMTL page (send emails to 372 chain)
    • Satya: playing with protege OWL API. Trying to recreate the error.
    • ... Stian sent a summary.
    • ... shouldn't be a problem
    • Stian: thinks a bug in the OWL API.
    • Jun: tried to reproduce the error, but it never worked (never got anything back).
  • https://www.w3.org/2011/prov/track/issues/374 prov:membership [ a prov:Membership ]
    •   TIm: why do we have the indirection?
    • TODO: Stian to think it through and reply on the list.
    • Khalid: b/c it was incomplete.
    • Stian: "complete membership" we have CompleteMembership.
  • TIm: wasn't Membeship Involvement?


  • For Involvement example - use non PROV properties (not use specific sub-type of involvement)


  • http://www.w3.org/2011/prov/track/issues/379 update 3.1 diagram
    • Jun: In the updated diagram "Figure ???", it doesn't show prov:wasInvalidatedBy, prov:generatedAt, and prov:invalidatedAt. They are listed in section 2. This needs to be made consistent. We also miss examples for this.
      • Tim: {generated,invalidated}At are not in PROV-O - += atTime?
      • Tim: I think adding these goes beyond starting points.
      • Khalid, Daniel agree to keep them as extended terms.
    • The text in section 3.1 still mentions prov:wasStartedByActivity.
    • We don't have any explanation about invalidation properties, nor examples.





How would you encode http://aquarius.tw.rpi.edu/prov-wg/prov-o#acknowledgements in prov-o?