Warning:
This wiki has been archived and is now read-only.
PIL OWL Ontology Meeting 2012-06-25
From Provenance WG Wiki
Meeting Information
prov-wg - Modeling Task Force - OWL group telecon
- previous meeting
- date: 2012-06-25
- 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-25
- titan page: http://titanpad.com/QjpAA1md9K
- next meeting
Attendees
- Stephan
- Daniel
- Jun
- Satya
- Tim (regrets)
- Khalid (regrets?)
Agenda
For the issues that you are assigned:
- describe the original concern
- describe any perspectives already expressed
- recommend next step, or propose a solution
Discussions
Stephan: Summary of the changes made at the f2f
- Location: had no domain in the ontology. It doesn't make sense to have location on an attribution. Union of entity, agent activity and instantaneous event.
- Decided not to include anything from the constraints in the ontology. Objective: simplification. Remove some functionals, irreflexive, etc. Hierarchy is from DM (it is going to stay).
- ...Is constraints going to be dropped as a note? (It might). This decision implies to avoid being dependent on the constraints doc.
- ...We are NOT going to develop another doc with the constraints. There is going to be a validator for that.
- ...We are still in our OWL RL ++ domain because of the unions, but that is ok.
- Dictionaries are stable, but they are going to be taken out to a note. A self contained note.
- ... Daniel: Is it going to be on the same NS?
- ... Jun: +1 to keep it in a separate NS, as an extension. Stephan: +1 to this as well. Satya: +1
- ... Stephan: it is going to be defined as an extension, but will have to ask what happens with the NS. Collection+membership is kept.
- TracedTo: is it transitive? The def was not very clear. Rename it to wasInfluencedBy. NOT transitive. Involved -> wasInfluencedBy.
- problem with generated and wasGeneratedBy. It doesn't make sense to be both specializations of wasInfluencedBy. We will have another property called influenced. It is very lightweight.
- ... Jun: I think this is a very practical justification for removing transitivity, but worried whether we have been too practical
- ... Maybe Simon was the one wanted the transitivity of tracedTo. Maybe he had some specific use case?
- ... Prov-dm definition of influence: http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html#term-influence
- ... Influence is the capacity an entity, activity, or agent to have an effect on the character, development, or behavior of another by means of usage, start, end, generation, invalidation, derivation, attribution, association, or delegation.
- This aligns DM with PROV-O, since involved and involvee where not in DM.
- ... Daniel: Has something similar for involvee happened? Stephan: no. Maybe involvee to influencee? We will need to look this up.
A Influence relation, written wasInfluencedBy(id; o2, o1, attrs) in PROV-N, has: id: an optional identifier identifying the relation; influencee: an identifier (o2) for an entity, activity, or agent; influencer: an identifier (o1) for an ancestor entity, activity, or agent that the former depends on; attributes: an optional set (attrs) of attribute-value pairs representing additional information about this relation.
- We have to work on the narrative. Tim can't do all by himself. Deadline: mid July.
- Aug 1st ready for last call. Final deadline.
- Volunteers for sections? We need something similar to what we did in the examples. Tim will check that everything is consistent.
- ... Stephan, Jun: Where does Tim want the narration? At what granularity?
- ... Jun: I don't want sec 3 to be too heavy.
- ... Jun: We need a changelog to know what to look at.
- ... Stephan: everything should be reviewed by some reviewer.
- ... Daniel: Section 3.2.
- ... Contextualization->Tim will deal with this.
- ... Stephan: I'll email Tim to ask him where does he want the narrative.
- ... Jun will create a google doc when we get the response. Ask for reviewers+authors out of prov-o (volunteers are always welcome)
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
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 - This has been resolved with addition of RL++ justification section.
- (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?