16:12:40 RRSAgent has joined #rdfn 16:12:40 logging to http://www.w3.org/2010/06/26-rdfn-irc 16:12:59 Alejandro has joined #rdfn 16:13:00 sandro has joined #rdfn 16:13:13 jun has joined #rdfn 16:13:49 james has joined #rdfn 16:14:00 rrsagent, set log public 16:14:26 mscottm has joined #rdfn 16:14:28 Meeting: RDF Next Step Workshop 16:14:34 iand has joined #rdfn 16:14:41 jjc has joined #rdfn 16:15:54 iand has left #rdfn 16:16:05 ekendall has joined #rdfn 16:16:20 iand has joined #rdfn 16:18:14 FabGandon has joined #rdfn 16:19:00 Where are my tomatoes? 16:19:00 ekw has joined #rdfn 16:19:10 mdean has joined #rdfn 16:20:23 #rdfn tag for twitter, etc. ? 16:20:26 scribenick pfps 16:20:49 what do I need to do to be the scribe 16:21:11 I made a short URL for the agenda: http://bit.ly/rdfnsw 16:21:45 official agenda URL http://www.w3.org/2001/sw/wiki/RDF/NextStepWorkshop 16:22:24 jun has joined #rdfn 16:22:55 dingl has joined #rdfn 16:23:14 scribenick: pfps 16:25:03 Scribe: Peter F. Patel-Schneider 16:28:16 mhausenblas has joined #rdfn 16:28:47 Introduction of all participants 16:29:00 and search for lost participants 16:29:01 Today will be presentation of many of the submissions 16:29:17 Tomorrow will be breakout sessions 16:29:31 Also today, initial setup of breakout sessions 16:31:07 Presentation from Richard Cyganiak 16:31:10 webr3 has joined #rdfn 16:31:45 cygri: Four Boundary Conditions for RDF Next Steps 16:32:00 http://richard.cyganiak.de/2010/06/rdf-next-steps.pdf 16:32:41 Above is a version of Richard's slides 16:32:45 ojirio has joined #rdfn 16:33:20 cygri: I want to set up boundary conditions on what we can do and what we can't do. 16:33:49 Some information from the slides will not be minuted 16:34:10 cygri: #1: Standards are a tool for achieving interoperability 16:34:17 cygri: Boundary Condition 1: Standards are a tool for achieving interoperability. 16:34:35 cygri: Boundary Condition 2: Change can disrupt the network effect. 16:35:52 cygri: Boundary Condition 3: W3C is not good at R&D. 16:37:18 cygri: Boundary Condition 4: Focus on areas where RDF has proven useful. 16:39:08 cygri: What does this mean? 16:39:43 cygri: Optimality can never be achieved. 16:41:14 cygri: W3C can turn existing practice (quasi-standards) into recommendations. 16:42:08 cygri: We can align the stack. 16:42:21 cygri: Currently the stack is rather messy. 16:43:06 cygri: Even within RDF - e.g., containers vs lists 16:43:53 mdean has joined #rdfn 16:44:18 cygri: A messy stack causes problems for new people. 16:44:54 cygri: There are ways to align the stack, including deprecation, notes, 16:46:03 kasei has joined #rdfn 16:46:25 cygri: My preferences - put common practice into Rec, explain the messiness 16:47:46 juansequeda has joined #rdfn 16:48:23 sandro: What are consequences of only looking at where RDF is useful? 16:49:02 jeremy: Remember the forced compatability between RDF and OWL. 16:49:17 sandro: whar are the things that are NOT areas where RDF has proven useful ? 16:49:57 andy: RDF for encoding OWL ontologies vs OWL for defining RDF properties 16:50:35 cygri: Don't come up with a new semantics for RDF here (e.g., to make it work with blogic). 16:50:37 cygri: As a foundation for KR languages, RDF has not proven itself. Let's not spend a lot of time with the RDF Semantics to make that happen. 16:51:07 david: Be careful of tyranny of the majority; don't kill something just because it's not popular (yet) 16:51:19 david: Let's not preclude the future. 16:51:37 david: On the spectrum between Change Nothing and All-Powerful-WG, where are you? 16:51:56 TBL: http://www.w3.org/DesignIssues/RDF-Future.html (June 2010) 16:51:59 cygri: Any WG should turn practice into REC, anything else can be dangerous. 16:52:04 cygri: Yes change quasi-standards into Recs. Be very careful about scope-creep on WG fixing stuff. 16:52:44 ivan: cygri, be a guard dog at this workshop, please, pointing out if people violate your principals. 16:52:59 Jeremy Carroll: Towards a minor revision of RDF 16:53:24 http://lists.w3.org/Archives/Public/www-archive/2010Jun/att-0057/SmallSteps.pdf 16:53:49 jeremy: Small Steps Please! 16:54:19 Jeremy: "If it ain't brokce, don't fix it" 16:54:24 cygri has joined #rdfn 16:54:51 jeremy: No bugs in RDF spec (contrast with HTML). 16:55:13 rrsagent, draft minutes 16:55:13 I have made the request to generate http://www.w3.org/2010/06/26-rdfn-minutes.html ivan 16:55:15 jeremy: The parts that aren't being used don't matter. 16:55:55 jeremy: Let's also consider the costs of doing something (HP spent 0.8M on RDF Rec) 16:55:59 david; HERESY! 16:56:38 jeremy: There are also implementation and training costs, .... 16:57:53 jeremy: Semantic Web has yet to really prove itself, too much change at this point can be detrimental. 16:59:42 jeremy: We should instead be linking data, building apps, .... 17:00:49 jeremy: We could make a few small steps, e.g., deprecate containers, but for any thing someone wants it. 17:01:19 cygri: Deprecating something doesn't mean that the feature has to go away, as users can do it themselves. 17:01:21 cygri: Are those folks using these maybe-deprecate features using them in an interoperable way? 17:01:40 jjc: "Not to be used for new vocabularies" WEAKLY DEPRECATE. 17:01:48 +1 17:01:54 +1 17:02:02 +1 17:02:03 jeremy: Let's use weak deprecation - "Don't use this in future work - new vocabularies" 17:02:07 jjc: "SHOULD not use" 17:02:36 sandro: RDF parses MUST still parse it 17:02:36 ivan: Real deprecation has this pragmatics that the feature *will* go away. 17:02:57 dbooth: Encourage authors of older vocabs to migrate. 17:03:02 jjc: a MAY 17:03:07 s/parses/parsers/ 17:03:52 li: maybe will improve computaton complexity 17:04:10 jeremy: "I hate it" is a good enough reason to deprecate something :-) 17:04:23 jeremy: If enough hate it, there is something wrong with it 17:04:31 ?: What about backwards compatability? 17:05:01 s/?/mikeu/ 17:05:41 jeremy: weakly deprecated features shouldn't be used by other recs 17:06:02 we should have a 'weakly deprecate' column on the whiteboard 17:06:20 david: weakdepr puts a stake in the ground in the direction to go. 17:06:39 we can use things like the linked data patterns book to help with deprecating things, e.g. http://patterns.dataincubator.org/book/repeated-property.html 17:07:10 cygri: foaf uses "archaic" for this purpose 17:07:11 cygri: Danbri says "archaic" not "deprecated". 17:07:56 jeremy: OK do to turtle and named graphs, maybe "follow your nose" 17:07:57 Better, not "deprecation" but "best practices" 17:08:06 core/deprecating/best practices seem to revolve around the same issue ... discouraging some less used features, 2 questions are: which features are these, how doe we "brand" that? 17:08:13 jeremy: need to do a cost/benefit analysis 17:08:40 I'd like to note the regular questions on mailing lists about "I've heard that Containers are bad, but I can't find out why" 17:08:49 jeremy: throwing out RDF semantics could be good, but it would be costly 17:08:52 jjc: Maybe throw our RDF Semantics, but DONT THROW OUT THE BATHWATER WITH THE BABY. Lots of good bathwater there. 17:09:05 paul, good point... 17:09:58 andys: maybe use "best practices" instead of "weak deprecation" - its cheaper 17:10:18 andy: Always point to a good practice instead, next to anything deprecated 17:10:34 axel: want to discourage some stuff, but we need to come up with a tag for that 17:10:51 paul: for things like rdf:value, say what you should do instead 17:11:03 pgearon: if we are going to "wd" we should also say what *to do* 17:11:23 dajobe: RDF syntaxes 2.0 17:11:45 http://www.dajobe.org/talks/201006-rdf-next-steps/ 17:12:21 Dave is not representing his employer 17:12:36 dajobe: syntaxes - RDF/XML, N-Triples, RDFa, Turtle - first 2 recs last one not 17:12:42 what would be the point of throwing out RDF Semantics? is pat hayes participating in this discussion? 17:13:52 GuusSchreiber has joined #rdfn 17:14:02 dajobe: other syntaxes have less use 17:14:25 pointer http://n2.talis.com/wiki/RDF_JSON_Specification 17:15:41 dajobe: some minor change is possible in most syntaxes 17:16:55 dajobe: if backwards compatability is not a concern then can remove rdf:ID, property attributes, reification 17:17:25 dajobe: if major change is possible then turtle could add named graphs 17:18:32 dajobe: recommend that new syntaxes cover *entire* RDF model 17:18:47 dajobe: Turtle - make a REC, polish, tidy 17:19:18 LeeF has joined #rdfn 17:19:20 dajobe: JSON - make a version for RDF as a Rec 17:19:42 DeborahMcG has joined #rdfn 17:20:04 dajobe: binary - no need demonstrated yet 17:20:21 dajobe: named graphs not an obvious addition 17:21:12 DeborahMcGuinness has joined #rdfn 17:21:17 iand: what about ATOM 17:21:30 dajobe: not much takeup for ATOM, so not a major need 17:21:44 Somone: what about TriG 17:21:46 pmika: what about a data feed? 17:22:13 ivan: submission on gdata from Google 17:22:40 ivan: also interest from Microsoft 17:23:50 I am interested in Atom as an encoding for the RDF model, not an RDF expression of the Atom model 17:23:52 cygri: active work in community - so may need to wait before REC 17:24:19 pmika: there is enough work that it would be good to start on REC now 17:24:47 (Microsoft interested in increasing compatibility between RDF and OData) 17:25:22 Dave: DON'T use binary XML for this. 17:26:09 vmom has joined #rdfn 17:26:12 dajobe: new XML syntaxes - XML is tree, RDF is graph - so there is no good solution - so don't try 17:26:15 Turtle is not a subset of TriG which is hard to explain. 17:26:36 TriG is really a serialization of RDF Datasets (c.f. SPARQL spec) 17:26:40 dajobe: Turtle has worked - why? - it doesn't look like XML 17:27:16 dajobe: DO NOT create any new XML Syntaxes for RDF. There's no way to make a really good one. 17:27:42 Is anyone here (or elsewhere) strongly suggesting a new XML syntax? 17:27:52 iand: XML has order, RDF doesn't, this is another mismatch 17:28:12 dajobe: some parts of RDF capture order 17:28:17 s/iand/Li Ding/ 17:28:18 s/iand/leef/ 17:28:36 s/iand/dingl/ 17:29:08 jjc: I get a lot of defect reports from end users where people expect their RDF/XML to look nice. 17:29:18 dbooth: What I Want in RDF 2.0 17:29:39 http://www.w3.org/2009/12/rdf-ws/papers/ws19 17:30:41 dbooth: What helps US (experts) is far less important than what will help new users. 17:30:54 dbooth: REC for some human-friendly syntax 17:31:12 dbooth: REC for rules language based on SPARQL CONSTRUCT 17:31:50 Disagree strongly with focusing on new RDF users rather than existing RDF users 17:31:55 dbooth: 1. standards a rules language based on sparql construct. 17:32:00 ivan: isn't this just something for RIF core 17:32:20 ivan: RDF friendly syntax for RIF core? 17:32:32 dbooth: yes 17:32:36 sandro: would a presentation syntax for RIF that looked like SPARQL construct solve the problem 17:32:46 mdean: OPTIONAL in SPARQL is a very powerful construct 17:32:50 dbooth: Yes. 17:33:03 dbooth: SPARQL has wide use - so use it 17:33:04 sandro, I would be very happy if I had a clearly defined way to understand SPARQL in terms of RIF semantics 17:33:20 pmika: how does this relate to RIF? 17:33:24 dbooth: don't know 17:34:04 sandro: Put this on the agenda for tomorrow -- RIF-SPARQL-etc 17:34:08 pgearon, I guess the answer to my earlier question is "dbooth is" :-) 17:34:08 dbooth: REC for some XML Schema-friendly serialization - maybe TriX - RDF/XML is awful from many points 17:34:17 dbooth: add literals as subjects 17:34:49 cool, +1 for the breakout on RDF rules based on SPARQL+RIF ... thinking about making a short presentation why it is *not* a no-brainer, but still feasible 17:34:53 zazi has joined #rdfn 17:35:22 some people want literals as subjects, some don't 17:35:27 I'm in the "don't care one way or the other" group :-) 17:35:47 I have been wondering if literals as subjects could be replaced with formal semantics on rdf:value 17:36:13 ivan: this may raise internationalization issues 17:36:35 literals as subjects are not allowed in rdf triples as per rdf concepts spec. 17:37:15 dbooth: named graphs - obvious to me 17:37:17 yes, but there are a lot of parts of the rdf concepts spec that are already being ignored 17:38:17 dbooth: bnodes are a pain - do *something* - maybe get rid of them - maybe skolemization 17:38:26 +1 std way to skolemize bnodes 17:38:43 (for the folks who want to skolemize them) 17:38:45 cygri: too late - bnodes as existentials are here! 17:38:50 axel: bnodes are useful 17:39:11 dbooth: *syntax matters* 17:39:21 bnodes are natural *local* identifiers, noty accessible form ouside a doc ... by definition. 17:39:28 ... that is needed sometimes 17:39:34 Bnode refs: Needed to have distributed graphs - currently can't do based on stds only 17:39:54 *break for coffee* 18:05:01 iand has joined #rdfn 18:05:03 jjc has joined #rdfn 18:05:21 jun has joined #rdfn 18:05:31 scribenick: Jeremy 18:05:39 jun is presenter 18:05:44 slides: http://users.ox.ac.uk/~zool0770/presentations/2010_06_rdf_next.pdf 18:05:59 Provenance Requirements for the Next Version of RDF 18:06:03 ekw has joined #rdfn 18:06:09 ivan has joined #rdfn 18:06:12 co-authors: Jun Zhao, Christian Bizer, Yolanda Gil, Paolo Missier, and Satya Sahoo 18:06:42 DeborahMcG has joined #rdfn 18:06:44 AndyS has joined #rdfn 18:08:36 DaveB has joined #rdfn 18:08:43 FabGandon has joined #rdfn 18:08:44 LeeF has joined #rdfn 18:09:05 AxelPolleres has joined #rdfn 18:09:35 pgearon has joined #rdfn 18:09:44 slidenick: Jeremy 18:10:13 vmom has joined #rdfn 18:10:26 cygri has joined #rdfn 18:10:43 info URIs could be an option for skolemization 18:10:54 guus has joined #rdfn 18:11:48 Authors are W3C Provenance Group 18:11:51 scribenick: Jeremy 18:12:23 iand: based on UUIDs? 18:12:41 -> http://bit.ly/9t08xc Jun Zhao's slides 18:12:51 pgearon: register a new bnode domain 18:13:17 info:rdf:iandavis.com:/what/ever/I/like/foo123 18:14:20 iand: OK, so it has the same effect as a UUID, only manually generated, and human readable 18:14:29 Problems start with sets of RDF statements ... 18:14:55 Provenance allows addressing quality issues with linked data 18:15:19 I'm amused to see Dan Connolly's "Oh Yeah?" button adopted in Jun's slides. 18:15:20 mdean has joined #rdfn 18:15:42 dbooth has joined #rdfn 18:15:51 zakim, who is here? 18:16:15 is zakim here at all? 18:16:24 I guess not 18:16:29 Zakim has joined #rdfn 18:16:34 I see RRSAgent 18:16:38 rrsagent, where am i? 18:16:38 See http://www.w3.org/2010/06/26-rdfn-irc#T18-16-38 18:18:12 mscottm has joined #rdfn 18:18:33 i/Jun Zhao/Topic: Provenance 18:20:01 peter: Jun seems to be using the term "resource" in a generic English sense, rather than the RDF sense. 18:20:28 peter: resource has technical meaning in RDF - the use on slides "Requirement 1: Identity" seems different 18:20:59 Alejandro has joined #rdfn 18:21:59 AxelPolleres has joined #rdfn 18:22:40 james has joined #rdfn 18:22:42 peter: Requirement 2: new URIs means new URIs related to old URIs 18:22:46 jun: yes 18:23:47 Jun: When should a new URI be minted versus when should existing URI be used? URI evolution 18:23:56 peter: this is an issue outside RDF 18:24:11 ???: it IS an issue of the *use* of RDF 18:24:38 AndyS1 has joined #rdfn 18:26:37 Best practice is missing about when to use different items from state of the art 18:26:52 Some state of art items are not yet standardized 18:27:14 Annotations of RDF graphs general requirement not just provenance 18:28:52 Q&A 18:29:11 Scott: it is important to say stuff about a named graph. 18:29:50 Scott: from linked open data cloud ... 18:30:29 Scott: provenance allows you to say where a particular graph came from how it was made etc 18:30:47 Scott: also can say stuff about what is in it - annotations 18:30:57 Ivan: what's the question 18:31:19 i/What I Want in RDF 2.0/Topic: David Booth: What I Want in RDF 2.0/ 18:32:11 Scott: ??? something about saying something about named graphs .... 18:32:38 mscott: do y'all think it's important to be able to talk about what's in a named graph, to characterize it? 18:33:43 andy: it seemed to be talking about a set of statements 18:33:48 ivan: Provenance is somewhat independent of RDF -- but this is important to us to know about their requirements w.r.t. 'named graphs'. 18:33:53 andy: this may be more general than named graph 18:34:03 jun: we do not want to tie to particular technology 18:34:11 jun: not in scope for provenance group 18:34:15 a poll in the SW group at VU (35 people) put named graph as THE top req in case of an RDF revision, far ahead of anything else 18:34:32 dbooth: do we need another category of output: best practices 18:34:52 I want a little buzzer to press when anyone says "Named Graphs". (I hate the ambiguity of the term.) 18:35:02 ivan: i think the provenance XG will come back with suggestion of group 18:35:03 sandro: +100 18:36:03 i/RDF syntaxes 2.0/Topic: Dave Beckett: RDF syntaxes 2.0 18:36:37 debMcG: named graphs need to be first class objects 18:36:53 debMcG: with this I am happy - goodbye 18:37:22 i/Jeremy Carroll: Towards a minor revision of RDF/Topic: Jeremy Carroll: Towards a minor revision of RDF 18:37:31 speaker: Elisa 18:37:58 LeeF has joined #rdfn 18:38:07 talk: http://www.w3.org/2009/12/rdf-ws/slides/RDFNextSteps-OMG-2.pdf 18:38:21 OMG Ontology PSIG, 18:38:34 i/cygri: Four Boundary Conditions for RDF Next Steps/Topic: Richard Cyganiak: Four Boundary Conditions for RDF Next Steps 18:39:00 Topic: Elisa Kendall: OMG Ontology PSIG Position Paper 18:39:11 PSIG = Platform Special Interest Group 18:39:21 (slide 1) 18:39:29 (Jeremy, I think sometimes people mean graph literals, sometimes they mean graph reification (reasoning about the elements in a graph), sometimes they mean a way to talk about the state of a triplestore, ....) 18:39:56 (Sandro, that ambiguity was deliberate) 18:40:35 Replying to Sandro's question: "do y'all think it's important to be able to talk about what's in a named graph, to characterize it?" YES. Would be nice if the characterization was available from the SPARQL endpoint. 18:41:00 (slides 2) Elisa clarifies difference in charter between OMG and W3C 18:41:39 (Well, I find it causes me almost physical pain, each time I hear someone use the term, because I don't actually know which position they are advocating.) 18:42:28 (slide 3) we need one or two documents for the basics 18:42:29 mscottm, I was scribe-assisting, writing down your question, not asking it. 18:42:33 not seven or eight 18:43:35 sandro: let's put tidying up namespaces on board 18:43:45 peter: wehy does namespace matter 18:43:58 evan: in metamodel you may namespace into .... 18:44:07 a package 18:44:18 rdfs:domain owl:sameAs rdf:domain ... done? 18:44:49 +1 Axel. :-) DL folks might not like that, though. :-) 18:45:17 (slide 4) 18:47:17 Sandro: Jena and Sesame are not really APIs because not multiple impl 18:47:27 but then... why not also owl:sameAs owl:sameAs rdf:sameAs ?... admittedly probably that goes too far, but ... where'd be the border... kinda leaning towards disliking my own proposal now 18:47:30 re named graphs: when people say named graphs, often they mean the URI of the resource which contains a serialized RDF description of the current state of that resource. This doesn't 'Name a Graph' because a graph is a distinct set of triples, you can't change a set and if you add or remove anything it becomes a new set (thus a new graph). 18:47:36 re named graphs: what most want is a way to be able to refer to a distinct set of triples and annotate it in order to provide provenance, enable version control, temporal matters and most uses of RDf in message rather information space, but this can't be achieved with any form of named graph. 18:47:37 Sandro: DIG only real API 18:47:44 re named graphs: .. especially not with the conflated named graph most think of, nested graphs *does* however provide the means to cover all aforementioned the things we need /end 18:48:14 jun has joined #rdfn 18:48:15 axel: every sparql query result will list:: "x rdf:domain y. x rdfs:domain y". it will be tricky to process it query time 18:48:16 DaveB: W3C is not very good at API 18:48:39 Elisa: OMG issued an RFP: API for KB 18:48:44 elisa: need standard Java/Enterprise interfaces (APIs) 18:48:52 s(slide 5) 18:50:07 AxelPolleres: I don't want rdf:sameAs.... I want to see rdf:equals (same meaning, but with a name that tells newbies what it actually means) 18:51:34 Ivan: DOM went wrong because one api for all languages, but then we have too many languages to support 18:51:48 DaveB: Java commuinity should do API for Java 18:52:20 Ivan: well defined web interface for SPARQL 18:52:20 I meant to say w3c isn't so good at programming APIs 18:52:29 web APIs, a *little* better 18:52:33 vmon: you mean for SPARQL engines that support entailment... anyways, as mentioned, throughinh the URIs together by sameAs is arguable... where should one stop, we peobably don't want to embrace all of rdfs: and owl: within rdf: ... this is all a surface syntax issue, what it seems to me is rather Elisa is arguing for a "surface syntax" where she doesn't have to care for the namespaces, whereas peter says, "so what, it's all IRIs, it could equally be 18:52:33 a:domain b:range c:sameAs, d:type..." both are right in a sense 18:52:33 (sorry for misscribing) 18:52:37 DaveB: Yes. I've had several people approach me about this (API for Java). e.g. bblfish 18:53:02 s/throughing/throwing/ 18:53:43 squabbling over the defn of "week" 18:53:46 (semantics) 18:54:17 looks like it'll appear at http://www.omg.org/ontology/ 18:56:26 ":What do you want?" (David Wood) 18:56:27 didn't sound to me like the namespace separation were showstoppers for Elisa 18:56:33 Elisa: slide 3: named graphs 18:56:43 "it would be great" 18:56:46 = nice to have 18:56:47 Elisa: namespace untangling 18:57:19 Peter Mika: profile docs in RDFa would be potential soln to namespace problem 18:57:28 i think many people are using the "named graph" phrase incompatibly here 18:57:31 Richard: agree with Peter Mika 18:57:41 Richard: jiggling around is not soln 18:57:50 Richard: need to hide 18:58:18 Richard: RDFa profiles are a good example of how to do this 18:58:26 Jeremy: however we jiggle around namespaces someone will be unhappy 18:58:30 +1 18:58:44 Elisa: I would be happy with this sort of soln 18:59:08 DaveB: we mix data and schema, untanlged namespaces happen 18:59:36 Elisa: minimally, in a document update, add commentary about tangled namespace 18:59:52 to say to reader "you are not a lunatic to be confused here" 19:00:19 DavidW: WG could issue WG note "Known pitfalls" 19:00:22 David: "KNOWN PITFALLS IN RDF" WG Note. 19:00:40 here be pits 19:01:01 Axel Polleres 19:01:06 next up 19:01:21 Topic: Axel Polleres: RDF and XML: Towards a Unified Query Layer 19:01:37 authors are authors of XSPARQL 19:04:28 (slide 5, 6) transformation as well as query 19:05:41 slide 8: too many variants of RDF/XML rep of single graph 19:06:24 (slide 9) structure of SPARQL and XUQERY similar: head + body 19:07:50 slide 14: formal semantics combine 19:07:57 slide 16: why 19:08:34 Anyone know URL for Axel's slides? 19:09:03 http://www.polleres.net/presentations/20100626W3C_RDF_NS_RDFXML_UnifiedQueryLayer.pptx 19:09:07 no sorry 19:09:17 http://www.polleres.net/presentations/20100626W3C_RDF_NS_RDFXML_UnifiedQueryLayer.pdf 19:11:32 Summary: RDF and XML communities need to talk to one another 19:13:40 ]Jeremy: I wrote paper on canonical RDF/XML a long time ago 19:13:44 on hp web site 19:13:50 DaveB: so did I 19:13:59 DaveB and Jeremy: but no real take up 19:14:02 ekendall has joined #rdfn 19:14:14 Peter: XML and RDF are different, very different 19:15:13 Axel: in a way this is a scripting language 19:15:13 should add canonical RDF/XML to whiteboard - probably under RDF-Core Maybe Never 19:15:49 DavidWood: where is the line in other formats 19:16:55 Link all "query" into one thing? Seems top down. 19:17:00 ?: RDFa how do you query, as XML or using SPARQL 19:17:04 Axel: as RDF 19:17:51 Sandro: there is a wd in RID on mapping XML docs to RIF Frames (which are RDFs) 19:17:57 does that address ? 19:18:10 Axel: I am afriad that is like saying XSLT is the answer 19:18:39 Sandro: I advocate direct mapping canoncial RDB to RDF and then use rules to transform 19:19:19 Peter: XSLT is wrong tech for mapping in second phase of Sandro's case 19:19:30 Sandro: RIF is declarative 19:19:39 (off topic on quality of RIF) 19:21:40 Jeremy: suggests globally replace "RDF URI Reference: with "IRI" 19:22:04 DavidWood: aren't you just moving around where the implicit knowledge is? 19:22:06 the rdb2rdf wg seems to have made one doc: http://www.w3.org/2001/sw/rdb2rdf/use-cases/ 19:22:25 Axel: one use case is legacy datasources 19:22:39 In this one you need xforms to RDF queried by SPARQL 19:22:53 But other use case is going from RDF to something else 19:23:24 DavidW: would this be addressed by canonical RDF/XML 19:23:28 Jeremy: it is disgusting 19:23:40 AndyS: what about JSON 19:24:08 Ivan: there was an attempt to write a 2nd Cambridge Communique 19:24:23 it was friendly, but (Sandro): there was not a single consensus statement 19:24:35 Ivan: there is a social gap 19:24:52 Ivan: some XML people feel threatened (economically) by RDF 19:25:40 DavidB = david booth 19:25:45 DaveB = Dave Beckett 19:26:34 FabGandon has left #rdfn 19:31:28 canoniocal RDF/XML 19:31:48 psu.edu [PDF]Jeremy J Carroll Signing RDF Graphs - The SemanticWeb-ISWC 2003, 2003 - Springer 19:33:13 http://www.hpl.hp.com/techreports/2003/HPL-2003-142.pdf 19:49:06 juansequeda has joined #rdfn 19:55:28 juansequeda has joined #rdfn 20:09:10 iand has joined #rdfn 20:10:01 DeborahMcG has joined #rdfn 20:12:28 DeborahMcGuinness has joined #rdfn 20:15:14 *greetings from sfo - looks like you are at lunch. sorry had to leave early 20:19:02 Zakim has left #rdfn 20:22:16 Alejandro has joined #rdfn 20:24:06 ekw has joined #rdfn 20:25:05 AndyS has joined #rdfn 20:26:25 jjc has joined #rdfn 20:28:21 ivan has joined #rdfn 20:32:20 LeeF has joined #rdfn 20:32:33 scribenick: LeeF 20:32:50 topic: Revisiting Blank Nodes in RDF to Avoid the Semantic Mismatch with SPARQL 20:33:01 Speaker is Alejandro Mallea 20:33:17 dbooth has joined #rdfn 20:33:23 vmom has joined #rdfn 20:33:25 pgearon has joined #rdfn 20:33:27 Alejandro: I'm going to talk about issues with the semantics of blank nodes 20:33:32 AxelPolleres has joined #rdfn 20:33:32 james has joined #rdfn 20:33:33 ivan: the semantics of what??? ;-) 20:34:21 Alejandro: in SQL, NULL doesn't count as an item when counting items 20:34:38 ... in SPARQL, a blank node counts as 1 20:34:44 AndyS: Why is that similar? 20:34:46 guus has joined #rdfn 20:35:00 Alejandro: We have the same information -- we interpreted a blank node as (SQL) NULL 20:35:15 ivan: I would read a blank node as "John owns something" and expect a count of 1 20:35:27 Alejandro: But this behavior is not natural to SQL people 20:35:37 pfps: everyone agrees the behavior of NULL in SQL is wrong - why should we be wrong like them? 20:36:05 Alejandro: in SQL NULL means we don't know and in SPARQL blank nodes mean we don't know a name 20:36:06 mscottm has joined #rdfn 20:36:16 DaveB has joined #rdfn 20:37:12 Alejandro: graphs get meaning when nodes are related to real objects 20:38:10 FabGandon has joined #rdfn 20:38:19 Codd pointed out there are more than one kind of null in SQL. Codd, E.F. (1990). The Relational Model for Database Management (ed 2) 20:38:21 jjc: You're suffering a bit from the Realist Fallacy, as if there is one right Interpretation 20:38:28 Alejandro: proposed new definition - A representation of an RDF Graph G is the image of G under an interpretation. In a sense, it's a real version of G. 20:38:58 Alejandro: I'm saying *a* real version, not *the" real version 20:39:10 dbooth suggests that Alejandro take a look at his SemTech paper, which does not talk about bnodes, but talks a lot about interpretations: http://dbooth.org/2010/ambiguity/paper.html 20:39:41 cygri has joined #rdfn 20:39:42 Alejandro: the set of representations of G is equal to the union of the representations of all ground versions of G 20:40:35 Alejandro: two different blank nodes can be replaced by the same URI, which is different from what SPARQL does 20:40:45 wood: *laugh* It's really hard to watch this with Jeremy's head going up and down and pfps's head going side to side 20:41:17 Perhaps a bnode doesn't equate to SQL NULL, perhaps a bnode equates to a table where the primary key is across all columns, thus _:b1 is a pointer to the set of values of that node 20:41:26 alejandro, FILTER a != b is different from a owl:differentFrom b 20:41:49 Alejandro: blank nodes don't add much meaning - the only difference that we can tell is that blank nodes are non-dereferenceable 20:42:03 Alejandro: In terms of meaning, blank nodes don't add expressive power to the ground datasets. The only relevant difference is they are non-dereferenceable. 20:42:31 Alejandro: SPARQL considers distinct blank symbols as distinct objects 20:42:35 ... that is != in SPARQL could *very informally* be viewed as "not known to be equal" 20:43:04 dbooth: doesn't SPARQL consider blank nodes as possibly distinct items? 20:43:07 dbooth: SPARQL treats them as POSSIBLY distinct, it can't assume they are the same. 20:43:25 Alejandro: No, they're always distinct 20:43:31 AxelPolleres: != in SPARQL is syntactical, it's not semantic 20:43:42 axel: The problem is != in SPARQL is syntactic, NOT the semantic not-equal. 20:44:56 Alejandro: if blank nodes are treated as incomplete information, then the data complexity of SPARQL with only BGPs, SELECT, UNION, and FILTER (?X != ?Y) is coNP-hard 20:45:24 Alejandro: We then looked at how blank nodes are used on practice on the Web 20:46:03 Alejandro: blank nodes are rarely used -- often used aspointers to collections of data 20:46:13 Alejandro: they almost always have an in-defree of 1 and an out-degree of 1 or more 20:47:32 DavidW: how often? did you measure? 20:47:39 Alejandro: we didn't measure, but it was every time in our sample 20:48:01 Alejandro: We also looked at the linked data perspective, which discourages the use of blank nodes 20:48:08 ivan: that's the opinion of some (respectable) people 20:48:12 in my humble opinion, the view presented by alejandro reflects mostly coneptual disagreements of what "incomplete data" means between how we treat it in the form of bnodes in RDF and the community doing research on incomplete databases (which is where they're coming from), or no? it is valid to raise that there is this disagreement. Plus, he is right that bnodes are mostly used in the [] way rather than really named bnodes would be needed. 20:48:14 dbooth: The fact that the in-degree is typically 1 suggests that a *standard* way to write n-ary predicates may help address this. 20:48:49 Alejandro: we propose to redefine the semantics of blank nodes in RDB to align with the semantics in SPARQL 20:49:00 Alejandro: That is, assume that two blank nodes with different BNIDs are different 20:49:10 Alejandro: which turns blank nodes into just non-dereferenceable URIs 20:49:15 Alejandro: further discussion -- 20:49:23 Alejandro: what is the usage role of blank nodes? 20:49:38 Alejandro: anonymous idnetifiers, unknown information, eliminated altogether, other? 20:50:02 bnodes are anonymous identifiers 20:50:16 DavidW: first suggestion is to make a new type of collection in RDF? 20:50:27 Alejandro: one option, not necessarily our position 20:51:01 ivan: We already have blank nodes recorded in a similar fashion, so let's move on 20:51:14 ivan: we'll discuss in breakout groups tomorrow 20:51:29 DavidW: we have several SPARQL implementors in the room who have had to deal with this issue 20:51:37 DavidW: I'd like to know what decisions they've made 20:52:02 mdean has joined #rdfn 20:52:05 Jeff(?): does this mean unique name assumption for blank nodes? 20:52:27 Jeff(?): having unique name assumption only for blank nodes but not for ordinary resources 20:52:51 Alejandro: My opinion is to eliminate blank nodes - as a group, we propose to align semantics as in SPARQL 20:52:56 Jeff(?): But what does that mean? 20:52:56 SPARQL defn for bNode treatment: http://www.w3.org/TR/rdf-sparql-query/#BasicGraphPattern 20:53:01 Alejandro: Need help form SPARQL people for that 20:53:11 DavidW: that's why I brought up the SPARQL implementors 20:53:35 mdean: last year I analyzed the billion triple challenge corpus - there were 12 datasets there and 5 of those datasets had more blank nodes than URIs 20:53:42 mdean: that seems to be different results then you got 20:54:10 Alejandro: in the US Census data set, 99% are blank nodes - very similar usage to what I've outlined here 20:54:20 mdean: I'm finding a lot of other datasets also have extensive use of blank nodes 20:54:27 ivan: which means eliminating blank nodes completely would be a big problem 20:54:53 dbooth: a standardized encoding for Nary predicates ... not sure how much interest htere is there, but this seems like what Alejandro is observing 20:55:49 I see the point... it is about some awkwardness about leanness or not, which makes the behaviour of queries on lean and non-lean graphs different, or no? that is, you can have different results of queries on a lean version of the same graph, which is equivalent. 20:55:53 PeterMika: ??? 20:56:18 Alejandro: our result was that everything you can do with blank nodes you can do without 20:56:19 2009 Billion Triples Challenge analysis http://asio.bbn.com/2009/06/semtech/Dean_Mike_Billion.ppt slide 14 20:56:24 20:56:59 AndyS: can I tell the difference in SPARQL without using COUNT(...) ? COUNT ends up closing the world no matter what 20:57:23 Alejandro: with DISTINCT 20:58:00 topic: Contextualized RDF Importing 20:58:25 does that summarize Alejandro's point? ... It is awkward to get potentially different answers on queries on (simple) equivalent RDF graphs? 20:58:33 speaker is Jie Bao 20:58:35 tomlurge has joined #rdfn 20:59:05 JieBao: JieBao: using owl:sameAs leads to confusing/wrong conclusions because context has been lost 21:00:08 anyone got the URL for the slides? 21:00:23 JieBao: 2nd example is assumptions - foaf:mbox is an owl:IFP, but what if in an open forum the value of foaf:mbox is "n/a"? 21:00:42 JieBao: 3rd example is "World" -- which universe is something true in? 21:01:24 JieBao: context is something related to the meaning of a sentence (provenance, assumptions, world) 21:01:34 JieBao: we need a way to make context explicit when a triple is published 21:01:49 JieBao: what about named graphs, C-OWL, N3 quotation, or Contextx in AI? 21:02:29 JieBao: Named graphs - name is a context. But contexts are more than a name - some triples may be in multiple contextx - one context may be reused 21:02:30 slides: http://www.w3.org/2001/sw/wiki/File:2010-06-24_RDF_Context.pdf 21:02:58 cygri: but the same triple can be in multiple graphs, what's the problem? 21:03:11 JieBao: duplicate information increases the risk of inconsistency and many other things 21:03:24 DavidW: you're saying that you can't draw a clean boundary to deifne the context? 21:03:26 JieBao: Yes 21:03:33 jjc: to me, the context information is just things encoded in graphs 21:03:47 turtles all the way down 21:04:56 JieBao: C-OWL is about mapping that respects contexts 21:05:20 JieBao: knowledge transfer is controlled, but context is more than mapping 21:05:31 JieBao: N# -- contexts are more than quotation 21:05:51 JieBao: we propose to base on named graphs and add two vocabulary terms: rdf:context & rdf:imports 21:06:15 JieBao: when we publish a set of triples, we can relate a context document to that set of triples 21:06:49 JieBao: G: rdf:context C - C may give a context definition document 21:07:34 JieBao: one graph can import another - each graph may have a context 21:07:48 JieBao: contexts may have an (in)compatibility relationship with one another that controls what happens on import 21:08:16 provenance is a broad term that is basically the main use case for named graphs 21:08:46 pfps: do documents have multiple graphs in them? 21:08:51 JieBao: possible but not necessary 21:09:00 ekendall has joined #rdfn 21:09:06 pfps: if you don't have multiple graphs in one document, then this looks like owl:imports and owl:incompatileWith 21:09:14 JieBao: no, because even if you import, you're not required to reuse the semantics 21:09:24 pfps: I don't see the difference 21:09:38 JieBao: the difference is copy&paste (OWL) vs. citation 21:10:20 21:11:12 DavidW: we'd have the same conflict between RDF and OWL with this that we have today 21:11:22 JieBao: yes, but the main difference is having the choice of which parts are reused 21:12:39 dbooth: am I right in understanding that basically what you're doing would be supported by named graphs? 21:12:43 JieBao: Yes 21:12:57 ivan: but you have to add on as a separate specification somewhere which adds the semantics on the imports and context properties 21:13:03 dbooth: so that would be a semantic extension? 21:13:17 stefan: so this is named graphs + RDF infrastructure for contexts 21:13:21 jjc: What needs standardizing? 21:13:37 jjc: when we did the named graphs work we were trying to minimize the scope of it to focus on a minimal piece 21:13:42 can you trust a graph to specify it's own context.. 21:13:47 jjc: after you do the named graph stuff you can optionally do the hairy stuff 21:14:36 JieBao: maybe standardize named graph stuff today and context stuff maybe later 21:14:55 LeeF_ has joined #rdfn 21:15:04 ivan: this touches on - how would all the inferencing rules of RDF SWchema work together with the contents of named graphs 21:15:15 scribenick: LeeF_ 21:16:08 jjc: if we standardize named graphs, then people can go off and do research not under the W3C banner for things like context 21:16:15 DavidW: does your context operate over one or more named graphs? 21:16:22 JieBao: Yes 21:16:33 DavidW: so you can't have a context that operates on part of a named graph 21:16:37 JieBao: Correct 21:16:46 DavidW: that helps simplify this 21:17:33 vmom has joined #rdfn 21:17:45 scribenick: LeeF 21:17:47 found this btw: http://www.cs.rpi.edu/~baojie/pub/2010-03-25_context_websci.pdf 21:18:15 topic: RDF(S) needs annotations 21:18:19 Speaker is AxelPolleres 21:18:20 Axel's paper: http://www.w3.org/2009/12/rdf-ws/papers/ws09 slides: http://www.polleres.net/presentations/20100626W3C_RDF_NS_RDFneedsAnnotations.pdf 21:19:05 AxelPolleres: context, as before 21:19:18 AxelPolleres: e.g. time, provenance 21:19:35 AxelPolleres: trust/certainty 21:21:02 AxelPolleres: needs come from academia, practice, XGs, etc. 21:21:34 ... two issues are (1) representation of annotations and semantics of annotations 21:21:54 ... we claim that RDF needs agreement on representation and semantics 21:22:01 ... we propose something we call annotated RDFS 21:22:49 ... sensor example - need to capture location of a tag in a room, time of the sensor reading, signal strength 21:23:24 ... one way of representing these is with reification 21:23:50 ... problem is no semantics 21:23:57 ... and reification is not popular 21:24:18 ... other possi bilities is N-Quads, TriG, TriX 21:24:25 iand: what about N-ary predicates? 21:24:29 AxelPolleres: that's the same as reification 21:25:15 dbooth: as N-ary predicates, the subject would be an observation 21:25:21 21:25:59 jjc: the distinction is that you can decide up front as part of your data model that certain things such as time, location are important - that becomes the safe as all other parts of your data model OR you can say that in general annotations are important for EVERYTHING so things like time & location should be part of the data model 21:26:29 AxelPolleres: we need semantics of these annotations for RDF(S) 21:26:34 Alejandro has joined #rdfn 21:27:50 ... we have a generic framework for describing annotation domains and telling how they can coexist with non-annotated RDF data 21:28:17 ... an annotation domain is a lattice with the representation of the annotation (time intervals), an order between the elements, and a top and bottom element 21:28:52 ???: are partial orders enoguh? 21:28:56 s/enoguh/enough 21:29:06 AxelPolleres: it does need a top and bottom element 21:29:18 AxelPolleres: we need a t-norm operator (often AND), and a combining operator (OR) 21:30:25 AndyS: in the sensor case, there are dependent events, so you can't combine probabilities in such a simple way? 21:30:41 jun has joined #rdfn 21:30:42 AxelPolleres: if you're combining annotation domains, then we're treating them independently 21:31:04 AndyS: in that case with probabilities it's a race to the bottom? 21:31:12 AxelPolleres: this is not probabilities, it's fuzziness 21:32:14 ... several options for integrating with non-annotated triples 21:32:20 ... (1) treat non-annotated triples as top element 21:32:40 ... (2) another approach is that a triple is true at "some" time (a la blank nodes) 21:32:44 AndyS: ordered blank nodes! 21:33:08 AxelPolleres: (3) triple is valid until "now" - current time 21:33:33 ... the only upwards compatible option here is (1) 21:33:42 iand: how do you annotate which clock was used for the timings? 21:34:28 iand: meta annotations? 21:34:35 AxelPolleres: Seriously though. :-) 21:34:49 AndyS: Do you need layers of annotations? Can I put annotations on the annotations? 21:34:54 AxelPolleres: No. The annotations are separate. 21:35:06 everyone: it's a problem that you can't annotate annotations 21:35:25 axel: No, not really, but I'll get back to that. 21:35:47 ... inference rules use t-norm and OR operators to combine contexts 21:37:52 cygri: why do this within W3C rather than defining this somewhere else and advertise it? 21:38:02 AxelPolleres: you need interoperability when you want to talk about temporal (e.g.) information 21:38:23 cygri: but W3C is for when there are multiple non-interoperable implementations/proposals out there - I don't see that here 21:38:30 AxelPolleres: people use ad hoc solutions for this right now 21:39:05 cygri: think about Good Relations - someone has written it down, promoted it to the point of adoption - what's lacking from what you have now is the deployment & promotion 21:39:21 mdean has joined #rdfn 21:39:23 AxelPolleres: Yes & no. The temporal stuff is there and implicit. Provenance is there and implicit. 21:40:00 jjc: you need to point to something losing money because of an interoperability failure -- there's not enough use here for there to be a problem to solve 21:40:07 mscottm: there's an opportunity cost 21:40:27 AxelPolleres: there is RDB2RDF work, but no temporal DB to RDF because people can't do it 21:40:35 jjc: people are doing RDB2RDF in different interoperable ways 21:40:52 ivan: what does this require on the core level? 21:42:56 DavidW: Franz with AllegroGraph got to a point where they neede dto do annotations - their solution was to create a quad store where they assign a URI to every single triple - that allows them to cascade annotations 21:43:06 ivan: rdflib does this also 21:43:27 ivan: this could be an alternative to the named graph 21:44:25 jjc: named graphs is more popular than reification because reification is standardized and people have to use it 21:45:19 assigning a uri to every triple is just creating a named graph where the graph contains exactly one triple, nested graphs would cater for this and named graphs use cases and much more 21:45:39 sandro: "named graph" is a horrible name - "graph metadata" sounds good 21:45:51 1+ 21:45:52 topic: RDF: Back to Graph 21:46:03 (actually, I said "graph metadata" is the best I know so far, but it's still not great. 21:46:07 ) 21:46:13 sandro, mscottm -- in Anzo, every graph has an accompanying "metadata graph" for pretty much these purposes 21:46:14 let's not re-use/abuse 'metadata' 21:46:37 Tell me something better, DaveB 21:46:41 speaker is Peter F Patel-Schneider 21:47:06 metagraph 21:47:13 Topic: Peter F Patel-Schneider: RDF: Back to the Graph 21:47:15 Peter's paper: http://www.w3.org/2009/12/rdf-ws/papers/ws05 slides: http://ect.bell-labs.com/who/pfps/talks/rdf/rdf-next-steps-pfps.html 21:47:21 everything is sort of "meta" 21:47:35 pfps: I'm not proposing anything different than what's already out there in the world 21:47:42 ... RDF has 2 competing purposes 21:47:49 ... it's a data structure language & it's a KR formalism 21:47:58 ... some people like the 1st, some people like the 2nd, some people do neither 21:48:38 ... the problem here is if you're using this stuff as the foundation to build upon 21:49:11 ... if we believe that all syntax is triples and all semantics is based on RDF semantics, then semantic extensions result in paradoxes 21:49:53 ... the claim that RDF is the basis of the Semantic Web is a lie 21:50:01 ... OWL, RIF, SPARQL don't use triples for everything 21:50:31 ... RDFS uses triples, but there are lots of incomplete implementations 21:51:49 ... let's stop saying that it's true if it's not true 21:52:06 ... let's say that Semantic Web semantics is not necessarily an extension of the RDF semantics 21:52:09 ... syntax is not just triples 21:52:35 scor has joined #rdfn 21:52:49 pfps +1 21:52:51 ... this is how extensions have been done by mathematical philosophers for ages 21:53:10 scor_ has joined #rdfn 21:53:31 ... invent new syntax when you have something new to say 21:54:05 ... if we did this, then: 21:54:12 ... RDFS might have its own syntax 21:54:17 ... OWL would have its own syntax 21:54:23 ... RIF, SPARQL would have their own syntaxes 21:54:27 ... mostly compatible semantics 21:54:35 ... but this is reality (except for RDFS) 21:55:07 guus has joined #rdfn 21:55:24 pfps: there is a good rationale to have a common core of the Semantic Web 21:55:27 ... what shoudl this be? 21:55:35 ... it could be RDF if RDF is containing *data* 21:55:43 ... retain things like "say anything about anything" (more or less) 21:55:53 ... IRIs as global names, entities, properties, ... 21:56:17 ... allow higher languages to use RDF for their data and interpret it however they want 21:56:37 ... OWL could strip out annotations in a pre-processing step (e.g. remove facts not true "now") 21:57:00 ... RDF would still support linked data 21:58:20 ... RDF could be either just a data structuring language or it could be used as part of the syntax of a representation language 21:58:31 ... the higher level language could validate / restrict inputs 21:58:39 ... e.g. restrict vocabulary 21:59:33 ... this leads to a freer Semantic Web 21:59:44 ... this doesn't change that much 22:00:19 ... we can extend RDF freely without necessarily affecting things like RDFS or OWL - the higher pieces can use syntactic or semantic extraction methods to handle the extensions 22:00:24 NOW is a time I want Pat here. :-/ 22:00:54 pfps: MIME types, change over period to make this happen 22:01:52 dbooth: are you suggesting that the semantics should be separated from the RDF? when RDF is given to someone, then they choose what semantics they apply to the RDF? 22:01:59 pfps: more or less -- 22:02:19 dbooth: if an RDF author writes RDF and sends it to someone else - how should the consumer of the RDF statements know what semantics are intended by the author? 22:02:22 pfps: MIME type 22:02:29 cygri: or rdf:type on the document 22:02:37 pfps: an internal or extenral syntactic data-ish marker 22:03:21 stefan: if RDF is a data structure language, it still has a semantics - a la a database has semantics - it may not be full FOL semantics, but it has semantics that can be described and expressed using logics 22:03:29 ... the different languages on the stack still need to respect each other 22:03:40 ... maybe what is wrong here is not what is wrong with RDF but what is wrong with OWL 22:04:11 pfps: the point is that there's nothing wrong with the duality as long as you're low down in the stack - as soon as you get higher (not just OWL), you run into these problems 22:04:24 stefan: I think people still typically do more database-oriented work 22:04:39 pfps: there should retain compatibility issues -- i'm saying that the lockstep is too strict 22:05:00 jjc: the semantics that RDF statements have differs from the RDF Semantics 22:05:35 jjc: the underlying RDF semantics actually seems to come from SPARQL 22:05:51 jjc: I agree that this is the current situation -- what do we need to change? 22:06:05 pfps: I want to deprecate the RDF Semantics document as it applies to RDF(S) 22:06:11 pfps: precisely so that other things can be added 22:06:27 jjc: no one is suggesting mapping a named graph extension to triples 22:06:31 SPARQL treats things as symbols (still partially there under entailment regimes as well). Oops. 22:06:36 DavidW: we're saying precisely the opposite 22:06:59 pfps: but you will need a semantics for named graphs, that will have to cover every corner case for ... whatever. 22:07:11 pfps: as soon as you have named graphs, you need to deal with cycles, multiple documents, etc. 22:07:21 jjc: perhaps "maybe never" give a semantics to named graphs 22:07:36 cygri: of all the stuff i've heard today, this is the one that I really wish we could do 22:07:56 cygri: there's some stuff in RDF Semantics that can't just be deprecated - maybe 3 pages or so 22:08:03 pfps: agreed, but most of that is in RDF Concepts as well 22:08:38 cygri: Could we just point to the useful bits in RDF Semantics and let people ignore the rest of it? 22:08:41 pfps: Possibly 22:08:48 cygri: most people are ignoring it already 22:09:03 pfps: What about RDFS? RDFS has at least an operational semantics for its built-in constructors 22:10:01 pfps: possible world semantics for RDF graphs belongs at a higher level 22:10:17 pfps: the principles of Semantic Web at an RDF graph level still belongs to RDF (e.g. identifiers) 22:10:36 dbooth: I think you need to distinguish between the intended semantics when authored and the semantics that an RDF consumer chooses to apply to it - may be differnet 22:10:40 s/differnet/different 22:10:51 dbooth: suppose 2 graphs A & B with different semantics - what happens when you merge them? 22:10:56 pfps: depends on compatibility issues 22:11:45 pfps: i think the intended semantics of the author is always mangled by the consumer 22:11:50 dbooth: Suppose you have graph Ga with semantics Sa, and graph Gb with semantics Sb. And then you merge graphs Ga and Gb. What should be the semantics of the merged graph? 22:12:06 there could be an semantics interoperability vocabulary 22:12:08 dbooth; Presumably the intended semantics should be both Sa and Sb. 22:13:10 stefan: in my terms, you're proposing finally applying database semantics into RDF - including UNA, CWA, etc. 22:13:16 pfps: no! just data, not knowledge 22:13:39 pgearon: how many people have leaned out a graph in reality? 22:13:41 jjc: I have! 22:13:58 AxelPolleres: Can you clarify what you said about RDFS? 22:14:25 pfps: Personally, I don't think RDFS has much place in the universe - BUT I was saying that there are parts of the semantics of RDFS that if you're going to keep RDFS as an RL then you want some of these semantics 22:14:34 pfps: maybe the right way to do RDFS is completely operational? 22:14:41 people have made graphs lean? For commercial purposes? Or for theoretic/research purposes? 22:14:53 pfps: that frees you from concerns but opens up a can of worms because there are so many more degrees of freedoms compared to model theoretic semantics 22:15:06 sandro: this is appealing but i'm worried about linked data and worried that the key to linked data is being able to merge graphs 22:15:28 cygri: triples are just edges in a graph, not true statements 22:15:35 sandro: I think that breaks the Semantic Web as a social construct 22:15:51 ???: several issues that I want to comment on 22:15:53 dbooth: I agree 22:15:55 it's not like the data would have no semantics if rdf semantics is deprecated, it's a sort of signal of the openness of the system, allowing anyone, perhaps just in natural language define semantics 22:16:06 ... Semantic Web calls for proposals for NSF - how do we make available data on the Web and create unexpected use of the data? 22:16:23 ... semantics would be assigned by the user side - publisher can recommend semantics but user will take a different interpretation 22:16:59 ... since we're talking about data structures, do we care about IRIs and HTTP or do we not care? 22:17:19 ... if no linked data, then are we back at graph databases that's been looked at in the past by DB community? 22:17:26 Related: http://www.w3.org/2009/12/rdf-ws/papers/ws31 22:17:28 pfps: No, I think we want to keep IRIs as names at the data level 22:18:25 pfps: my proposal is to slash out pieces of the semantics document? 22:18:56 cygri: I don't think saying that W3C is going to deprecate this document would fly 22:19:05 ... could we summarize this? fold this into RDF Concepts? 22:19:12 jjc: we could move the word "normative" around 22:19:23 pfps: Yes, and/or any new additions to RDF don't need to show up in this document 22:19:28 ivan: that is an important statement 22:19:36 jjc: the typical reader would not notice this 22:19:45 pfps: one intended consequence would be to trash the RDFS semantics as wlel 22:19:47 s/wlel/well 22:20:12 The important thing in communicating information is that the RDF consumer must have the *ability* to know what the RDF author intended, whether or not he/she chooses to use it. I.e., the RDF author must be able to indicate the intended semantics. 22:20:13 But the semantic web is all about *merging* data. This means that the mechanism for indicating the semantics must be amenable to graph merging. This works well if predicate URIs in the graph are used to signal the semantics. I don't see how this could work as well if the intended semantics are *separated* from graph, such as being in a MIME type. 22:20:42 *break!* 22:20:48 Topic: Dinner and Logistics 22:20:59 rrsagent, draft minutes 22:20:59 I have made the request to generate http://www.w3.org/2010/06/26-rdfn-minutes.html ivan 22:21:33 it is hard to imagine this without RDFS 22:22:56 FabGandon has left #rdfn 22:23:16 AxelPolleres has joined #rdfn 22:24:09 scor has joined #rdfn 22:31:29 juansequeda has joined #rdfn 22:49:59 iand has joined #rdfn 22:50:23 AxelPolleres has joined #rdfn 22:50:40 scribe: AxelPolleres 22:50:43 DaveB has joined #rdfn 22:51:23 Fabien's presentaion upcoming... http://www.slideshare.net/fabien_gandon/name-that-graph 22:51:35 cygri has joined #rdfn 22:51:46 scribenick: AxelPolleres 22:52:27 Ivan and Sandro arguing about working overnight... 22:52:57 fabien: a lot said about named graphs already 22:53:18 dbooth has joined #rdfn 22:53:28 pgearon has joined #rdfn 22:53:33 ... "preaching to the converted" 22:53:55 scor has joined #rdfn 22:54:07 ivan has joined #rdfn 22:54:09 ... named graphs useful to model context 22:54:16 guus has joined #rdfn 22:54:19 i/Fabien's presentaion upcoming/Topic: Fabien Gandon: Name that Graph 22:54:56 ... document != graph 22:55:09 mscottm has joined #rdfn 22:55:12 ... so, using the doc URI to speak about a graph is bad practice. 22:55:33 ... we heard about C-OWL, con text ,etc. 22:55:47 ... not yet mentioned: nested typed graphs 22:55:57 AndyS1 has joined #rdfn 22:56:37 ... nested graphs also have an equivalent to bnodes. 22:57:10 Alejandro_ has joined #rdfn 22:57:30 we use nested graphs in RDF, e.g. for tagging 22:57:54 fabien: ... or for nested context 22:58:18 sandro: is that an XML syntax extension? compatible with RDF/XML? 22:58:37 fabien: we had to modify by an additional attribute. 22:58:48 sandro: so, not a syntax errror 22:58:53 dajobe: It parses as RDF/XML 22:59:23 fabien: we use that for various applications. 22:59:40 jjc has joined #rdfn 22:59:51 axelR: Can you use different applications at the same time? 23:00:16 jun has joined #rdfn 23:00:37 fabien: in principle yes, with some limitation 23:01:16 fabien: I want RDF1.1 not RDF2.0 23:01:30 ... i.e. agree with small steps 23:02:22 naso: how can you meet all your requirements with a single mechanism? 23:02:46 fabien: named graphs are an underpinning for all of those 23:03:34 stefan: i have you down for named graphs and bnodes 23:03:34 fabien: I don't like bnodes 23:04:00 topic: andy's presentation “Supporting Change Propagations in RDF”, Andy Seaborne and Ian Davis 23:04:08 http://openjena.org/~afs/2010-06%20RDF-NS%20Change%20Propagation.pdf 23:04:39 AndyS: Web not only read-only 23:04:47 ... changes, edits 23:05:14 dwood has joined #rdfn 23:05:26 i/Seaborne and Ian/Topic: Andy Seaborne: Supporting Change Propagation in RDF/ 23:05:29 ... looking at the web as a single graph doesn't caprute the semantic web 23:05:36 Andy's paper: http://www.w3.org/2009/12/rdf-ws/papers/ws07 slides: http://openjena.org/~afs/2010-06%20RDF-NS%20Change%20Propagation.pdf 23:05:47 FabGandon has joined #rdfn 23:06:59 AndyS: moving around large graphs on the web is problematic (gives some examples) 23:07:16 s/caprute/capture/ 23:08:51 AndyS: surveys approaches for change propagation (Delta, RDF Difference, SemVersion, ChangeSets, RDFSync) 23:10:00 ... you move around manifest, two graphs (add, remove) 23:10:14 ... how to package those graphs? 23:11:21 Think it's a good idea to drill into the idea of RDF Datasets more - I think it would be good to consider them explicitly 23:11:34 AndyS: Named Graphs is different to RDF Datasets 23:12:29 +1 to LeeF, understanding you say so far they're already part of SPARQL standard, but you say could be useful for other uses on RDF? 23:13:15 Andy: exmplifying ChangeSets, sparql update 23:13:25 ... TriG 23:14:00 s/TriG/Graph Bundles(TriG) 23:14:29 ... Syntax for Graph Bundles matters 23:14:44 Andy's example in n3: 23:14:45 [[ 23:14:46 Richard: you could have a literal whose value is a graph. 23:14:46 @prefix : . 23:14:46 @prefix rdf: . 23:14:46 a :ChangeSet; 23:14:46 :addition [ 23:14:47 a rdf:Statement; 23:14:49 rdf:object "New Title"; 23:14:53 rdf:predicate ; 23:14:55 rdf:subject ]; 23:14:57 :changeReason "Change of title"; 23:14:59 :createdDate "2006-01-01T00:00:00Z"; 23:15:01 :creatorName "Anne Onymous"; 23:15:03 :removal [ 23:15:05 a rdf:Statement; 23:15:07 rdf:object "Original Title"; 23:15:09 rdf:predicate ; 23:15:11 rdf:subject ]; 23:15:13 :subjectOfChange . 23:15:15 ]] 23:15:16 ivan: vocabulary for change might be useful to standardise as well. 23:16:16 sandro: how to change bnodes? 23:16:53 AndyS: that's a problem, TriG NQuad-s don't specify scope of bnodes. 23:17:47 ... bnode could be treated as "_:URI" 23:17:52 AndyS: I want BNodes to be just a kind of URIs, so they're table and I can do this, yes. 23:18:22 sandro: this would be the strongest use case for changing bnodes. 23:19:07 Ian: In Talis we don't support bnodes because we want to propagate changes. 23:19:15 sandro: because you need at least some stable notion of URI names in order to propagate changes 23:20:10 andy: the label only has meaning if you go back to the original graph 23:20:20 mika: this is related to feed formats (atom) 23:20:24 ivan: Yes 23:20:25 axel: seems enough to qualify bnodes by their graph name (bnodes are local identifiers) 23:21:14 there is an issue on how to model bnode (scope) in named graphs 23:21:23 Topic: James Leigh: RDF Isolation API 23:21:39 topic: RDF Isolation API, James Leigh 23:21:41 http://www.w3.org/2009/12/rdf-ws/slides/rdf-isolation.pdf 23:22:18 James's paper: http://www.w3.org/2009/12/rdf-ws/papers/ws13 23:22:28 james: this also needs changesets (connection with andy's talk) 23:23:01 ... protocol to change an RDF store and do query operations 23:23:40 ... can also delegate to other services 23:23:47 s/topic: RDF Isolation API, // 23:24:17 rrsagent, draft minutes 23:24:17 I have made the request to generate http://www.w3.org/2010/06/26-rdfn-minutes.html ivan 23:24:37 james gives an example of a virtual service 23:25:41 ekw has joined #rdfn 23:26:54 ekw_ has joined #rdfn 23:27:32 axel: this is rather on top of SPARQL update/SPARQL protocol/SPARQL http-protocol, right? 23:28:02 james: yes, SPARQL 1.1 doesn't allow service creation 23:28:25 Topic: James Leigh: An Ordered RDF List 23:28:35 http://www.w3.org/2009/12/rdf-ws/slides/rdflist.pdf 23:28:53 James's paper: http://www.w3.org/2009/12/rdf-ws/papers/ws14 23:29:18 James: currently "two forms of RDF" lists 23:29:48 ... my proposal is to make the rfd:first rdf:rest way "syntactic sugar" 23:30:28 ... in favor of a first-class single RDF term way to write lists. 23:31:46 james: that would have a big impact in SPARQL, needs treatment of lists, results need to return lists (instead of just a bnode) 23:32:59 david: I see two aspects, the first could be just addressed by "advice to serializers", the second "needs" modification on SPARQL 23:33:13 select ?n ?o 23:33:16 ivan: ongoing discussion on SWIG list on RDF lists 23:33:16 from 23:33:33 rdf:rest { ?n } / rdf:first ?o . 23:33:50 ... one issue is that OWL uses lists heavily, tempering with them is dangerous. 23:34:56 ... another way would be to introduce first-class lists, separately. 23:35:38 sandro: we have lists as first-class entity in RIF, and syntactic "sour" for rdf:first rdf:rest for RDF compatibility 23:36:23 The term "hijack" was used by Normal Gray. Pat Hayes said this was historically inaccurate, and suggested the word "pre-jacked" 23:36:50 ???: I like a more flexible way that allows ordered, non ordered, etc. 23:37:18 AxelR: I do like containers more like collections, removing elements, etc. a lot easier. 23:38:04 http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Apr/att-0095/containers.html 23:38:17 thomas: how, in james' proposal can you refer to e.g. the third element of the list? 23:39:05 james: you need extra stuff to refer to elements 23:39:32 jie: why we need all that, may bloat the standard 23:40:07 peter: do we really need lists-lists *and* lisp-lists? 23:40:23 ekendall has joined #rdfn 23:40:30 jjc: points to mail http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Apr/att-0095/containers.html 23:41:16 discussion about malformed lists... 23:41:46 ivan: more comments? hearing none... 23:41:59 vmom has joined #rdfn 23:42:11 stefan: what to note down (on the whiteboard) 23:42:13 ? 23:42:41 stefan: notes lists construct on "RDF Core" 23:42:42 Topic: Ivan Herman: When owl:sameAs isn’t the Same: An Analysis of Identity Links on the Semantic Web 23:42:42 Ivan's paper: http://www.w3.org/2009/12/rdf-ws/papers/ws21 slides: http://www.w3.org/2010/Talks/0626-RDFN-IH/ 23:43:43 ivan: linked data community uses owl:sameAs all over the place... in some examples used wrongly 23:44:19 ... we should probably define a vocabulary for alternatives, SKOS being a good starting point. 23:44:40 ... but they are defined as having domain skos:concept 23:45:14 ... only case not covered by skos properties is if equality depends on the context 23:45:26 .... as mentioned by jie earlier. 23:46:12 possibly worth noting http://www.w3.org/2006/link#uri | 'One of possibly many URIs which identify something.' 23:46:20 I think they're hijacking the owl:sameAs predicate ;-) 23:47:01 richard: more useful, e.g. a property for "two documents having the same topic" 23:47:28 peter: sameAs may be useful for particular applications. 23:47:29 Ivan: there are also cases for modelling the context under which two URIs being stated as the same 23:47:41 ... for that application owl:sameAs is fine. 23:48:12 ivan: people don't realise the consequences of owl:sameAs 23:48:28 richard: people jsut us it for creating links 23:48:50 ivan: there is room for differentiatiation 23:49:23 ... for finer-grained connections. 23:49:42 richard: in practice people use it in a "best effort" manner 23:50:20 david: not against other predicates, e.g. skos, great, but not convinced that LOD commmunity is using it really incorrectly. 23:51:01 ... but there is a lack of understanding how owl:sameAs should work in distr environment. 23:51:22 ... look at myths in my semtech slides (remark: link?) 23:51:24 dbooth's SemTech paper on resource identity, which sheds some light on owl:sameAs: http://dbooth.org/2010/ambiguity/paper.html 23:51:27 David, can you post a link to those slides? 23:51:53 mdean has joined #rdfn 23:52:30 A recent OWL paper that created a taxonomy of relations that might support some LOD use cases for sameAs http://www.webont.org/owled/2010/papers/owled2010_submission_12.pdf 23:53:58 yes,! let's call it: rdf:notQuiteTheSameAs 23:54:07 david: in some application things may be the same. 23:54:12 what about rdfs:seeAlso? 23:54:25 eh, more than seeAlso 23:54:40 ... may be precise enoguh for some applications, but not for all, that's life, and this is fundamental. 23:54:43 rdfs:similarTo? 23:55:11 (I just liked dbooth's phrasing as notQuiteTheSameAs :-) 23:55:33 dbooth's SemTech slides are at http://dbooth.org/2010/ambiguity/ 23:55:36 rdf:fuzzyEqual 23:55:48 (I'm mildly in favor of something like this.) 23:56:02 axel: not sure whether adding mroe URIs solves the problem, people will still make mistakes 23:56:21 Also see the paper by Pat Hayes and Harry Halpin that David referenced: http://www.ibiblio.org/hhalpin/homepage/publications/indefenseofambiguity.html 23:56:37 jjc: people could use skos:concepts, domain/range are not prescriptive 23:56:55 guus: jeremy, that's right, but it might scare people off. 23:57:06 guus: I disagree with david. 23:57:22 ... if we put out a graph, we express our interpretation. 23:57:44 jeremy, I think that is just adding more muddiness 23:58:38 let's just promote skos:closeMatch 23:59:30 petermika: for LOD people, reusing owl: may not imply buying into owl semantics