Warning:
This wiki has been archived and is now read-only.

PIL OWL Ontology Meeting 2011-10-10

From Provenance WG Wiki

Jump to: navigation, search

1 Meeting Information
2 Skype log
3 Meeting Information
4 Attendees
5 Agenda
6 Discussions

Meeting Information

prov-wg - Modeling Task Force - OWL group telecon

previous meeting
date: 2011-10-10
time: 11am PT, 2 noon ET, 7pm UK
via Skype (Satya calls everyone in)
wiki page: http://www.w3.org/2011/prov/wiki/PIL_OWL_Ontology_Meeting_2011-10-10
titanpad: http://titanpad.com/CHZAz6Hk8w
next meeting

Skype log

Monday, 10 October 2011
[19:02:16 WEST] Tim L: http://titanpad.com/CHZAz6Hk8w
[19:02:20 WEST] Stian Soiland-Reyes: try again, please
[19:02:26 WEST] Stian Soiland-Reyes: 0
[19:03:22 WEST] Tim L: http://titanpad.com/CHZAz6Hk8w
[19:11:51 WEST] Daniel Garijo: +q
[19:15:21 WEST] satyasahoo: Diagram1: http://dvcs.w3.org/hg/prov/raw-file/e8637dc8cd77/ontology/diagram-history/2011-10-03-tlebo/ProvenanceOntology.owl.png
[19:16:44 WEST] Stian Soiland-Reyes: http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/diagram-history/2011-10-03-tlebo/ProvenanceOntology.owl.png is different
[19:17:07 WEST] Daniel Garijo: but when I look at the diagram I see that properties link domain and range. Just an opinion.
[19:20:46 WEST] Paolo Missier: q+
[19:20:58 WEST] Jim McCusker: q+
[19:22:18 WEST] Paolo Missier: http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#prov-dm-overview
[19:26:30 WEST] Daniel Garijo: By the way, what Paul said about the shortcuts can be seen here:
http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#common-relations
they are quotation, attribution, summary and originalSource properties.
[19:27:52 WEST] satyasahoo: Diagram2: http://dvcs.w3.org/hg/prov/raw-file/2add8de6275b/ontology/diagram-history/2011-10-03-tlebo/ProvenanceOntology.owl.png
[19:30:16 WEST] satyasahoo: range: -----
[19:30:24 WEST] satyasahoo: domain: ______________
[19:30:27 WEST] Jim McCusker: -.-.-.-.-.
[19:30:34 WEST] Paolo Missier: ???
[19:30:42 WEST] khalid.belhajjame: domain ---> range
[19:32:17 WEST] Daniel Garijo: +1 to that
[19:41:24 WEST] satyasahoo: http://www.w3.org/2011/prov/track/issues/121
[19:41:32 WEST] satyasahoo: http://www.w3.org/2011/prov/track/issues/122
[19:41:44 WEST] satyasahoo: http://www.w3.org/2011/prov/track/issues/105
[19:47:49 WEST] Stian Soiland-Reyes: that is http://dvcs.w3.org/hg/prov/raw-file/tip/primer/Primer.html#complementarity we are talking about
[19:50:55 WEST] Tim L: Stian, why are you putting the postal codes in a rdf:List?
[19:53:14 WEST] Stian Soiland-Reyes: Oh.. I was not sure about that
[19:53:29 WEST] satyasahoo: <rdf:Description rdf:about="http://www.w3.org/PROV/CrimeFile#e1">
    <rdf:type rdf:resource="http://www.w3.org/PROV/ProvenanceOntology.owl#Entity"/>
</rdf:Description>
[19:53:30 WEST] Stian Soiland-Reyes: because otherwise you could not be sure about NW2 not being in :dataSet1
[19:53:35 WEST] Stian Soiland-Reyes: but it looks silly, yes
[19:54:13 WEST] James Cheney: e1 type Entity
[19:54:43 WEST] Stian Soiland-Reyes: http://validator.w3.org/check?uri=http%3A%2F%2Fdvcs.w3.org%2Fhg%2Fprov%2Fraw-file%2Ftip%2Fontology%2FProvenanceFormalModel.html;verbose=1
  Passed again - some <section>s were messed up
[19:54:50 WEST] Jim McCusker: CrimeFile:e1 a prov:Entity.
[19:55:04 WEST] khalid.belhajjame: PROV:Entity rdfs:subClassOf owl:Thing.
[19:56:22 WEST] Stian Soiland-Reyes: yes, that's not "OWL syntax".. that's OWL/RDFS in Turtle.
[19:56:39 WEST] Jim McCusker: Paolo, please mute when you type.
[19:56:52 WEST] Paolo Missier: sorry
[19:56:58 WEST] Jim McCusker: np
[19:57:03 WEST] Tim L: +1 to Revision being a simple case of Entity.
[19:57:49 WEST] Stian Soiland-Reyes: Revision is just a relation in DM
[19:57:52 WEST] Stian Soiland-Reyes: should not be a class
[19:58:51 WEST] Tim L: http://dvcs.w3.org/hg/prov/file/tip/ontology/examples/ontology-extensions/crime-file/diagrams/2011-10-04-tlebo
 and http://dvcs.w3.org/hg/prov/file/tip/ontology/diagram-history/2011-10-03-tlebo have the graffles, go crazy, khalid+satya.
[19:59:20 WEST] Tim L: http://dvcs.w3.org/hg/prov/file/625a5aee0612/ontology/components/EntityInRole/car-purchase.ttl

(be sure to see the OWL ontology definition of classes referenced in car-purchase.ttl)

http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/commerce/commerce.ttl#
[19:59:37 WEST] Paolo Missier: satya before we end:
[19:59:54 WEST] Stian Soiland-Reyes: @Tim with ascii art!
[20:00:37 WEST] Paolo Missier: plz
[20:00:38 WEST] Paolo Missier: Hi all,
There is an issue with the second constraint on wasGeneratedBy, hence I
am combining this with the first constraint on wasGeneratedBy.

Constraint (in PEOV-DM document on Oct 10, 2011):
"An entity e may be generated before the end of pe, for example a
manufacturing PE can generate multiple entities before terminating."

Issue: An entity e may be generated before the end of pe, for example a
manufacturing PE can generate multiple entities before terminating.
[20:01:11 WEST] Stian Soiland-Reyes: http://www.w3.org/2011/prov/track/issues/122 says "Overall, this constraint does not help
 either in inferring new knowledge from existing information or allow "validation/checking" of existing knowledge - which are
 the standard uses of rules/constraints. Hence, the suggestion is to remove this constraint"
[20:01:57 WEST] satyasahoo: ""Given an assertion wasGeneratedBy(x,pe,r) or wasGeneratedBy(x,pe,r,t), one can infer that the
 generation of the thing denoted by x precedes the end of pe and follows the beginning of pe." "
[20:02:08 WEST] Tim L: Stian,

ex1:dataSet1 a ex1:DataSet ;
    ex1:postCodes "N1", "N2", "NW1", "E1", "E2" ;
[20:02:12 WEST] Tim L: is just as good
[20:05:32 WEST] Tim L: Paolo's ProcessExecution vs. Event is OWL-TIME's ProperInterval vs. Instant

Meeting Information

prov-wg - Modeling Task Force - OWL group telecon

next meeting
date: 2011-10-10
time: 11am PT, 2 noon ET, 7pm UK
via Skype (Satya calls everyone in)
wiki page: http://www.w3.org/2011/prov/wiki/PIL_OWL_Ontology_Meeting_2011-10-10
titanpad: http://titanpad.com/CHZAz6Hk8w
next meeting

Attendees

Tim
Jim
Daniel
Satya
Paolo
Stian

Agenda

renaming "Formal" - to PROV-O, PROV-Onto, PROV-OM
- http://www.w3.org/2011/prov/wiki/NameSuggestions
diagrams
- non-tip hg URLs to diagrams, please. e.g. http://dvcs.w3.org/hg/prov/raw-file/tip/ontology/examples/ontology-extensions/crime-file/diagrams/2011-10-04-tlebo/crime.owl.png
- "Block Arrows" - what does Satya mean?
components review
FormalModel.html validation
Review provenance constraints
Review of PROV-O components

Discussions

Renaming Formal

http://www.w3.org/2011/prov/wiki/NameSuggestions

Jim: PROV-O

PROV-SW

James: prov-o may be confusing - there is a city in utah called provo. Jim Mc: I don't think that's a problem. There are lots of city names that are reused. agree, not a big deal

Shortcuts

Daniel: Paul was referring to these shortcuts: http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#common-relations they are quotation, attribution, summary and originalSource properties. They are currently not present in the ontology.