PIL OWL Ontology Meeting 2012-08-13

Meeting Information

prov-wg - Modeling Task Force - OWL group telecon

• previous meeting
• date: 2012-08-13
• time: 09:30 Pacific, 11:30 ET, 16:30 GMT
• via Zakim Bridge +1.617.761.6200, conference 695 ("OWL") 
• wiki page: http://www.w3.org/2011/prov/wiki/PIL_OWL_Ontology_Meeting_2012-08-13
• titan page: http://titanpad.com/7QEJUusVdF
• next meeting

Attendees

• Tim
• Khalid
• Stephan
• Stian
• Daniel

regrets:

• David
• Jun
• Satya

Summary

• We want to create an OWL formalization of appropriate constraints from section 5 of PROV-Constraint. Stian to send email.
• Waiting for progress on David's diagrams
• Jun awaiting feedback from Tim on terms to omit - https://docs.google.com/spreadsheet/ccc?key=0Ahxrga9AQHb_dDBQV3ZyWEN6S2RXcWVZMzI0S0xKeEE
• Stian want more volunteers for example checking - https://docs.google.com/spreadsheet/ccc?key=0AtpchNBBcY-qdElUakV3M2paMUpIRE9IU2ZSMF9Xb3c#gid=0 - Daniel signs up - Deadline September
  • REMINDER: TODO what you've signed up to do.

• Khalid to do HTML styling of terms
• Daniel awaiting Tim's feedback on 3.2 --> Stian will review
  • TODO: Tim to regenerate document, Stian to continue review.
• GK's issue on printed references --> Stian take
• TODO: rename prov:Source to prov:PrimarySource and prov:qualifiedSource to prov:qualifiedPrimarySource in OWL and examples -> generate HTML

Agenda

For the issues that you are assigned:

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

ISSUES

• http://www.w3.org/2011/prov/track/issues/476
  • hadOriginalSource still occurs in LC documents
  • rename hadOriginalSource to hadPrimarySource

TODO: Rename

• • Related to prov:*Source renamed to prov:*PrimarySource (separate issue)

Satya 

David

• New diagrams http://dvcs.w3.org/hg/prov/file/tip/ontology/diagram-history/2012-07-09-david
  • David did expanded terms, too. (notes in July 11, 2012 8:57:25 AM EDT email)
    • http://dvcs.w3.org/hg/prov/file/tip/ontology/diagram-history/2012-07-09-david
    • Tim only got the first one in for LC.
    • http://dvcs.w3.org/hg/prov/file/9f0b37eaf74e/ontology/diagram-history/2012-07-09-david/expanded-terms-example-all.svg
    • activity used something that was quoted from something that the activity generated
    •  :quote1, :publicationActivity1123
  • Qual section: A diagram was also requested for after the first paragraph of 3.3, with another comment later regarding the same section focusing on rearranging the example/text; the raised editorial says "not sure how to resolve this" - I guess we should hold off doing a diagram until a decision is made?
  • TODO: David to review the comments on the daigram/ ordering in qualificatoin section narrative and provide recommendation to group.
  • Daniel: expanded-terms-example-all is useful, although it may be too big for the html. I would suggest to remove the boxes with additional metadata of the agents, entities and activities (the ones that are connected with dots). It will make things more simple, IMO.

Daniel: Has provided feedback, but this discussion has not continued. Stian: Is it worth pursuing to get new diagrams for release? Daniel: Just some typos, David had also created some new diagrams that we might not all need.

Jun

• http://www.w3.org/2011/prov/track/issues/442 (what prov.owl terms can we omit in prov.html)
  • https://docs.google.com/spreadsheet/ccc?key=0Ahxrga9AQHb_dDBQV3ZyWEN6S2RXcWVZMzI0S0xKeEE
  • TODO mentionOf in narrative is not clear - use the one from the ontology "The mention of an Entity in a Bundle (containing a description of this Entity) is another Entity that is a specialization of the former and that presents the Bundle as a further additional aspect."
  • Jun's stab: "prov:mentionOf is a special type of prov:specializationOf, which links a more specific Entity to a more general one that is described in a prov:Bundle. prov:asInBundle is used to cite the Bundle in which the more general Entity was mentioned."
  • TODO: Tim to incorporate feedback.
    • Jun: Still awaiting feedback from Tim

Stian

• Stian to send email about PROV-Constraints in OWL to get interest and find schedule.
• http://www.w3.org/2011/prov/track/issues/349 [good] turtle examples in cross ref
  • do the examples "fit the ontology"? TODO (CODE)
  • David, Stian, Stephan, Tim will work on this as we go (no clear leader)
  • Stian's report
    • Just use something that makes sense for that example. Like http://example.org/car http://example.org/customer http://example.org/alice http://example.org/workingAtHome
    • Stian: a bit long, log book on what he did. Lots of considerations came up.
    • ... example called the same (e1, e1, e1).
    • ... spelling mistakes
    • TODO: do the renaming to avoid the collisions. TODO: Stian to coordinate the renaming, assign them, coordinate.
    • TODO: do as a whole, then backtrack to the examples.    
  • work request: http://www.w3.org/mid/CAPRnXt=+Ownsy-Sw6Z3pUrmbHCz=wXaOCECuiN0txWtn0xPrJA@mail.gmail.com
• coordination spreadsheet: https://docs.google.com/spreadsheet/ccc?key=0AtpchNBBcY-qdElUakV3M2paMUpIRE9IU2ZSMF9Xb3c#gid=0

• Formalizing PROV-Constraints as OWL? http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/prov-constraints.owl
  • Jun: People would be more interesting in validating provenance, rather than adding further inference. If a full OWL ontology could express all these constraints that would be very valuable. Starting on section 5. 
  • Stian: Think we have room to provide such a validator, but don't have to
  • Jun: If it comes out of our group, it will have resonance with ppl, even if it's not part of a standard. Certainly interesting, Paul is also trying to do something on this. But where do we schedule it in?
  • Stian: Not just some simple weekend work!
  • Tim: Idea is to "just do it" and see what we have and what we'll do with it next.
  • Stephan: make prov-constrains.owl as aprt of the prov-c deliverable?
    • Stian: yes, but we are not committed to doing it.
  • Tim; Next steps?
  • Khalid: identify which to encode. Using OWL everywhere is messy.
  • Stian: TODO: Stian start a spreadsheet and clasisfy as "going in or not" based on intuition
  • Like wasgeneratedBy functional and cardinality
  • Also see pgroth's https://github.com/pgroth/prov-constraints-validator-spin
  • http://dvcs.w3.org/hg/prov/raw-file/tip/model/releases/ED-prov-constraints-20120723/prov-constraints.html
  • PGroth using Sparql: https://github.com/pgroth/prov-constraints-validator-spin/blob/master/prov-rules/inference/activity/generation-use-commuication-inference-6.txt
  • Jun: even with OWL Time ontology it would not be easy to do time constraints
  • Jun: but things like reflexibility, functionality, etc, should be easy
  • Jun: then perhaps SPIN rules for the more complex cases
  • Satya: Could also implement as per rules, a seperate PROV validation application to run together with any OWL reasoner. 
  • Paolo mentioning this on the implementation page already? http://www.w3.org/2011/prov/wiki/ProvImplementations

Who are interested?

• Stian
• Jun
• Paul?
• Tim (discussion only)
• Khalid
• Paolo? (IPAW work on Datalog) (https://github.com/PaoloMissier/ProvToolbox/tree/master/datalog)

TODO: Stian to send email about this to get interest and find schedule.

Stephan

Khalid

• highlighting focus terms in prov-o examples
  • with strong HTML elements
  • Khalid: we should see if the group wants / does not want it.
  • Khalid redid markup example from LC draft.
  • http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/working-dir/prov-o-highlighted-cross-reference.html#Activity
  • http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/working-dir/prov-o-unhighlighted-cross-reference.html#Activity

• TODO: Khalid add a class to the strong, and add a color to the class.
  • dark red #824 or burgundy #9E0508
  • Khalid added http://dvcs.w3.org/hg/prov/file/430db2dd07f7/ontology/PROV-O_highlighted_terms.html - for instance in section 4 prov:Activity in the example is highlighted in blue
  • http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/PROV-O_highlighted_terms.html#Activity
  • TODO: Tim aling with the naming above in hg.
  • TODO: TIm to review document production pipeline to see how to get that markup in.

Daniel

• TODO Work through review of prov-o july 3 2012 for last call (33 RAISED feedback points left of 100+)
• 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).
  • The latest version is always http://aquarius.tw.rpi.edu/prov-wg/prov-o

• 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.

Daniel: rewrote some parts, filled in some missing terms. Responded to Tim. TODO: Tim to review the changes.

Daniel: Still waiting for Tim to review.

Daniel: what about the other figures?  Tim: How many figures? Tim: let's postpone until David joins us. Stian: takes over Tim's review

Tim

Someone please take

• http://www.w3.org/2011/prov/track/issues/461 (Graham's printed cross reference)
  • Last push on this was email "Re: Your feedback on pre-LC prov-o" from 18-20 July.
  • STian takes this

Mine

• Ivan's comments http://www.w3.org/mid/2BB8960E-3025-4116-B43B-4185BB99A68F@w3.org
  • his means that there is an editorial issue in the current Last Call which still refers to the TR space (in the abstract)
• Update figures to latest draft: Well sppotted, I hadn't realized. I have changed it. They are 2 different activities. (see Daniel)
  • Regarding the image with the bundlePost in the html, I have spotted a typo: There is an edge with prov:hadLocation from the pyublicationActivity to the Location, which is incorrect. This edge should be from :post9821v1 instead (as you have it with :post9821v2). Also, there is a "my" prefix in the edge snapshotContent that should be ":" according to the example. Also, as I suggested before i would remove the boxes with "type" and "date" to simplify the although that's just my opinion.
  • Finally, I had to do some small changes to the example, adding annotations to the bundle. Would you mind adding those, please?. (Daniel)

• Review Daniel's 3.2

• http://www.w3.org/2011/prov/track/issues/455 (Source vs. PrimarySource)
  • WG resolved to rename prov:Source to prov:PrimarySource and prov:qualifiedSource to prov:qualifiedPrimarySource.
  • but can we change in LC? Sandro.
  • Stian: Any takers? Should be a search/replace in OWL+examples and new aquarius run-through 
    • Leave for next week
• http://www.w3.org/2011/prov/wiki/ProvNamespaceManagement#Solution_2.2_Use_owl:import_and_return_full_merge_of_PROV-O_and_all_Notes

• http://aquarius.tw.rpi.edu/prov-wg/prov-o#Derivation should seeAlso Source, Revision, Quotation. (plus LC comment for others seeAlsos)

• Luc's scan

• http://www.w3.org/2011/prov/track/issues/336 pre-WD2 feedback
  • These are editorial, and thus second priority before LC.

• prov:category and prov:component should be URIs, not literals (requires code, many filename dependencies across systems)
  • http://aquarius.tw.rpi.edu/prov-wg/prov-o#description-starting-point-terms
  • http://aquarius.tw.rpi.edu/prov-wg/prov-o#description-expanded-terms
  • http://aquarius.tw.rpi.edu/prov-wg/prov-o#description-qualified-terms
  • Tim asked Luc to rename the following:
  • http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#component1
  • http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#component2

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

• What text to put into span title hover text that is there now?
  • We can also do slightly nicer mouseover using CSS :hover http://www.w3schools.com/cssref/sel_hover.asp http://www.scientificpsychic.com/etc/css-mouseover.html

• https://www.w3.org/2011/prov/track/issues/388 (tools and demos)

• https://www.w3.org/2011/prov/track/issues/389 extensions to prov-o

AOB