Warning:
This wiki has been archived and is now read-only.
PIL OWL Ontology Meeting 2012-06-11
Contents
Meeting Information
prov-wg - Modeling Task Force - OWL group telecon
- previous meeting
- date: 2012-06-11
- time: 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-11
- titan page: http://titanpad.com/5vchBa37n4
Attendees
- Tim
- Daniel
- Paolo
- Jun
- Stian
- Stephan
- Khalid
regrets:
- Satya
- Paul
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
Paolo
To resolve remaining issues with collections in DM. Here is the edited text following the proposal below: http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#component6
Here is relevant text for the proposal:
Luc's suggestion at http://lists.w3.org/Archives/Public/public-prov-wg/2012Jun/0224.html
... which is analogous to my "prov:hadMember with domain Collection and range Entity", which gets reused on Dictionaries.
as per Tim's suggestion:
"I would think that avoiding Insertion, Removal, and Membership for the general Collection would be a reasonable shortcut, if it meant that we could avoid proliferating (doubling) the number of terms (DictionaryInsertion, CollectionInsertion, etc.).
I think "leaving collection at prov:Collection and hadMember", and doing everything else as already is (Insertion, Removal, Membership) with Dictionary seems reasonable."
- Paolo:
- ... completeness. On Friday, tried to clarify what complete means, and to include Collections
- ... thinks it is close to completion. nothing controversial, right?
- ... generic relations didn't relate generic collections.
- ... http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#component6 addresses it.
- ... permits empty collection and collection types.
- ... added membership, and makes it consistent (only membership at this level)
- ... extensions to collections, gives dictionary and is a specific type of collection.
- ... memberOf applies to entities of Dictionary
- ... how does prov-o
- Tim: likes "if it is present and set to true, then c is believed to include all and only the members specified in the entity-set; "
- Stian: reads well. integrates well. no more comments.
- Paolo: when a conflict happens, it is out of scope.
- Daniel: will try to read it.
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
- Stephan: prov:category, prov:component
- ... no links. TODO: use URI instead of the literal strings.
Khalid
- For http://www.w3.org/2011/prov/track/issues/349 eg for each term :
- Khalid mocked up what a highlight would look like. (with strong HTML elements)
- done: add e.g. to http://dvcs.w3.org/hg/prov/file/tip/examples/eg-24-prov-o-html-examples/rdf/create/rdf/property_pairKey.ttl and pairValue. (use baseball roster example?)
- Khalid: done.
- Khalid: not sure if it is worth the effort to highlight the terms used for the particular example.
- ... did a mockup for starting points.
- http://www.w3.org/2011/prov/track/issues/393 examples have older PairKey predicates.
- CLOSED
Jun
- http://www.w3.org/2011/prov/track/issues/374 prov:Membership, prov:membership
- also recorded by issue http://www.w3.org/2011/prov/track/issues/91
- Changes announced at http://www.w3.org/mid/C89EA239-1FF0-4DAB-B67A-D674F22259DA@rpi.edu
- Stian: list both the justices and KeyValue
- ... Tim: TODO: make a new instance of collection (generic).
- We can close all of these issues after we agreed on the updated collection definition in the DM
- TODO: read through the collection parts and raise any concerns, if any
- Review Dani's action points re. issue 381
TODO (ongoing)
Stian
- 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: Daniel/Stian to review the list.
- Stian: got part way through, changed some things.
- ... some memberships were not there.
- ... updated wiki.
- ... 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.
- https://www.w3.org/2011/prov/track/issues/374 prov:membership [ a prov:Membership ]
- http://www.w3.org/2011/prov/wiki/Eg-34-us-supreme-court-membership
- http://www.w3.org/2011/prov/wiki/Eg-34-us-supreme-court-membership#PROV-O_changes_made.2C_inspired_by_this_example
- http://www.w3.org/mid/C89EA239-1FF0-4DAB-B67A-D674F22259DA@rpi.edu and thread
- TODO(Stian) okay with latest design? yes, as long as example drops direct membership of both entities and key valuepairs in Dictionary
- s*l TODO(DM) reflect PROV-O changes
- TODO(prov-o team) express support or approval.
- 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.
Awaiting DM
- https://www.w3.org/2011/prov/track/issues/392 hasProvenanceIn / isReferencedBy / contextualizationOf
- Dani: a corner case? Could leave it out. Overcomplicates the model.
- ... dropping it would make it simple.
- Khalid: agree. Dropping would simplify. If included, would be useful?
- Jun: started well, but the semantics is becoming too complicated.
- I think it's a shame that we can't provide this *useful* property just because we are making it too complicated, thinking too much about it.
- Tim: one class and two properties added to PROV-O
- Khalid: it is complex to understand.
- TODO: Tim to Luc to make it clear that the discussion to conclude its fate, NEW thread.
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
Someone please take
- http://www.w3.org/2011/prov/track/issues/377 RL++ justifications appendix
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.
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.
- TODO: Tim to regenerate prov-o on aquarius.
- Dani: spacing problems
- TODO: Dani to email Tim with list of "outdated" prov-o html aspects.
- 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: Daniel/Stian to review the list.
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?