PIL OWL Ontology Meeting 2012-07-16

From Provenance WG Wiki
Jump to: navigation, search

Meeting Information

prov-wg - Modeling Task Force - OWL group telecon


  • Tim 
  • Stian
  • David Corsar
  • Satya
  • Stephan  (regrets)
  • Khalid   (regrets)
  • Daniel  (regrets)
  • Jun (regrets)


For the issues that you are assigned:

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

Voting on Thursday to release PROV-O to public




TODO: Tim integrate into document and revisit David's points.


    • extra paragraph for "now that we've qualified, what can we do?" (right at the beginning of the section, after or before the cheat-sheet tables)
      • activity, entity, agent, dictionary point to the objects being qualified
      • hadActivity, hadGeneration, hadUsage hadPlan and hadRole provide the additional statements about the can-be-qualifeid properties, via their corresponding qualify classes or an involvement class
      • TODO: Tim to make sure all are covered.
    • rename prov:activity, prov:entity, prov:agent -> influencerAgent, influencingEntity, influencingActivity ?
      • Tim: anybody have suggestions on rename?
      • Stephan / Satya: too late to rename.
      • Tim: postpone to list.



  • we need blog post by 24 July - takers?
    • TODO: Satya to lead, ask Paul, cc. Stian and Tim.


  • RDFa is bunk
  • Stephan review's
    • Plan: We do not mention in Section 3.3 that Plan is a subclass of Entity (and we do mention that Bundle and Collection are subclasses of Entity).  
      • Stephan: we give all but plan, but do not mention it in 3.2. One could infer that Plan is not an entity.
      • ... we don't say why Plan is an Entity. One could describe the provenance of a Plan. So it's not always a qulfieid term.
      • TODO: Tim add the one-liner for Plan in 3.2, add to Figure 2. "one can describe provenancne of a plan".
    • We may want to introduce Plan as a specialization of Entity in Section 3.2 and include it in Figure 2.
    • Role: I think including role information in the Qualified Association example in section 3.3 would help the narrative.  Otherwise, fine.
      • Stephan: dind't see Role in section 3.3. Along with HadPlan, add a Role.
      • TODO: Tim to add hadRole to the example, plus the narrative of the example.
  • review of prov-o july 3 2012 for last call (and its 104 raised feedback points)
    • qualifiedXXX: shouldn't they be inverseFunctional? (luc's comment)
      • Otherwise, this would allow for a given Influence instance, to be a qualified Influence for multiple subjects. This is not intended.
      •   The qualified pattern is prov-o specific. It was inverse functional before, but I think this characteristic was incorrectly removed.
      • Stephan: not against it, but goal is to refelct the DM, so the DM should assert that it is inverse functional.
    • influencer: should it be functional: there is only one influencer per qualified pattern instance, isn't there.
    • hadPlan: is functional; hadUsage: is functional; hadGeneration: is functional; hadActivity: is functional
      • TODO: Satya to help skim through, Stephan to skim but busy, David.
    • cross references links to DM, constraints, and N. (remove all but DM?)
      • satya: remove to prov-n
      • ... for constraints
      • stephan: fine with removign to prov-n, since we're not trying to model the constraints
      • david: sounds reasonable, constraints
    • diagrams for examples (what is PROV conventions?)
      • TODO: David to give it a shot.
  • Luc's scan

http://dvcs.w3.org/hg/prov/file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf <97 chars

  • property_pair.ttl  
  • property_qualifiedQuotation.ttl 
  • class_Quotation.ttl
  • property_wasQuotedFrom.ttl
  • class_Collection.ttl
  • property_invalidated.ttl
  • property_value.ttl
  • property_hadMember.ttl
  • property_hadQuoter.ttl
  • property_hadQuoted.ttl
  • class_completeCollection.ttl


  • Encouragement to link prov.owl to DM as much as possible.
  • reviewing Role, Plan, and hadRole in gdoc


  • highlighting focus terms in prov-o examples
    • with strong HTML elements


  • The only 2 things that I have detected is that in section 3.2 there is no example for mention and asInBundle (even though the example has bundles) and there is no wasInfluencedBy in the example (it could be easily added as an inference of wasAttributedTo).
  • Rename chart maker, make consistent.
    • - I wonder if a better example organization instead of ex:chartgen would be "National Newspaper".
    • - I think the team was already looking at the consistency of the examples. It was Chart Generators and now in this example it's Chart Generators Inc.
  • it was suggested for prov-dm that examples should be described in past tense. It should be done here too.