Warning:
This wiki has been archived and is now read-only.
PIL OWL Ontology Meeting 2011-10-10
Contents
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
- 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.
PROV-Ontology.html validation=
Conform to the FPWD:
Tim made it valid HTML 5
HTML 5 warnings
Some unresolved broken links. Can people look over the error list and see if they know of a quick fix?
PROV diagrams
- (Diagram 1) PROV OWL "first classness" http://dvcs.w3.org/hg/prov/raw-file/e8637dc8cd77/ontology/diagram-history/2011-10-03-tlebo/ProvenanceOntology.owl.png
- They look like two different constructs.
vs.
- (Diagram 2) PROV OWL "direct" http://dvcs.w3.org/hg/prov/raw-file/2add8de6275b/ontology/diagram-history/2011-10-03-tlebo/ProvenanceOntology.owl.png
- (Diagram 3) Crime OWL http://dvcs.w3.org/hg/prov/raw-file/2add8de6275b/ontology/examples/ontology-extensions/crime-file/diagrams/2011-10-04-tlebo/crime.owl.png
- (Diagram 4) Crime OWL just Classes http://dvcs.w3.org/hg/prov/raw-file/2add8de6275b/ontology/examples/ontology-extensions/crime-file/diagrams/2011-10-04-tlebo/crime.owl.classes.png
- (Diagram 5) Crime OWL just Properties http://dvcs.w3.org/hg/prov/raw-file/2add8de6275b/ontology/examples/ontology-extensions/crime-file/diagrams/2011-10-04-tlebo/crime.owl.properties.png
Paolo http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#prov-dm-overview
TODO: Tim to commit the graffles.