PIL OWL Ontology Meeting 2012-06-18

Meeting Information

prov-wg - Modeling Task Force - OWL group telecon

• previous meeting
• date: 2012-06-17
• time: 9am PT, 12pm ET, 5pm 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-06-17
• titan page: http://titanpad.com/BoxmXMpFrQ

• next meeting

Attendees

• Tim
• Daniel
• Satya
• Jun

• Stian

regrets:

• Stephan
• Khalid

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

Stephan

• http://www.w3.org/2011/prov/track/issues/267 - justify all subproperty assertions (of tracedTo)
  • 2nd pass?
  • (Stephan) I somehow missed Tim's response to my first pass, will read and make 2nd pass

Khalid

• Khalid mocked up what a highlight would look like. (with strong HTML elements)

Jun

• TODO: read through the collection parts and raise any concerns, if any
  • I am happy with the rewording
  • I suggested on the list to close my issue 391

• Review Dani's action points re. issue 381
  • Finally done. Email sent out this afternoon BST

Stian

• http://www.w3.org/2011/prov/track/issues/406 
  • Delegation wrong direction.
  • Stian: confused his colleague. Opposite direction.
  • ... with name change, it is now confusing.
  • ... hadDelegate to be the primary, but that doens't follow the back in time rule.
  • Stian: proposal is to rename.

Tim

Actual modeling

• http://www.w3.org/2011/prov/track/issues/83 prov:inverse local names 
  • http://www.w3.org/2011/prov/wiki/Inverse_properties_discussion#Inverse_properties_discussion
  • narrative for the appendix: http://aquarius.tw.rpi.edu/prov-wg/prov-o#names-of-inverse-properties
    • TODO(still): respond to Stian's feedback http://www.w3.org/mid/CAPRnXt=DYfhtPJsYrq0vKsW2McZnVo6qqXR5pTP7oANA6BMLZA@mail.gmail.com
  • TODO: Tim to review the list.

• https://www.w3.org/2011/prov/track/issues/392 hasProvenanceIn / isReferencedBy / contextualizationOf
  • Reminder that it's in DM and PROV-O, so if you have severe objections voice them to the WG.

Awaiting DM

DM is in review; no more waiting :-)

Editorial

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

• http://www.w3.org/2011/prov/track/issues/382 Jun's feedback part deux.

• prov:qualifiedForm - comment does not reflect "pointing at both" - Stephan.
  • prov:qualifiedFrom should change 'prov:Involved subclass' -> 'prov:Involvement subclass'
  • This is an issue with prov:wasTracedTo and all its sub-properties.

• 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

• prov:category, prov:component ... no links. TODO: use URI instead of the literal strings.

• Stian: list both the justices and KeyValue;Tim: done: make a new instance of collection (generic).

• http://www.w3.org/2011/prov/track/issues/83 prov:inverse local names 
  • http://www.w3.org/2011/prov/wiki/Inverse_properties_discussion#Inverse_properties_discussion
  • narrative for the appendix: http://aquarius.tw.rpi.edu/prov-wg/prov-o#names-of-inverse-properties
  • Stian: got part way through, changed some things.
  • ... derivation's usage TODO: Tim to check.same style on usage and generation on a Derivation's inverse.
  • .. TODO: Tim to look over the list.

• Dani: spacing problems
  • TODO: Tim to respond to Dani to email with list of "outdated" prov-o html aspects.

Someone please take

• http://www.w3.org/2011/prov/track/issues/377 RL++ justifications appendix
  • started at http://aquarius.tw.rpi.edu/prov-wg/prov-o#prov-o-owl-profile

Backburner

• http://www.w3.org/2011/prov/track/issues/349 [good] turtle examples in cross ref
  • This is an ongoing activity. Anyone up for reviewing and enhancing the examples?
  • Stian: html and owl are alternatives. HTML comes from owl.
  • .. not everytihng in the owl is reflected in the HTML or opposite
  • ... views them as alternateOf
  • Jun: can we say the owl is for machines?:) html is for human.
  • Stephan: two representations of the same resource, the resource is the rec.
  • Khalid: use it in the eg of alternateOf.
  • Tim: are we okay that the HTML doesn't reflect "every triple" in OWL.
  • Group: yes. that's silly.

Fading usefulness

• http://www.w3.org/2011/prov/track/issues/276 coverage
  • automation still down.
  • relying upon good ol' brow sweat.

Daniel

• http://www.w3.org/2011/prov/track/issues/381 Jun's feedback on 3.2 expanded terms
  • Daniel: haven't gotten to it. Will do by Thursday. Tomorrow morning.
  • ... removed the Note, added missing Location etc. All there now.
  • TODO: SoftwareAgent is missing in examples.
  • done: Tim to regenerate prov-o on aquarius. TODO: Dani check that it's "right".

• • Daniel: Done, I will answer to Jun's answer to my answer.

• Daniel: will try to read Paolo's new Collections.

Satya

• https://www.w3.org/2011/prov/track/issues/372 qualified prop chains
  • (prov:qualifiedUsage prov:entity) rdfs:subPropertyOf prov:used .
  • http://aquarius.tw.rpi.edu/prov-wg/prov-o#prov-o-owl-profile
  • Use of non-simple property in IrrefexiveObjectProperty axiom: [IrreflexiveObjectProperty(<http://www.w3.org/ns/prov#wasGeneratedBy>) in <http://www.w3.org/ns/prov#>
  • 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).

AOB

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