17:59:29 RRSAgent has joined #shapes 17:59:29 logging to http://www.w3.org/2015/03/26-shapes-irc 17:59:31 RRSAgent, make logs rdf-data-shapes 17:59:31 Zakim has joined #shapes 17:59:33 Zakim, this will be SHAPES 17:59:33 ok, trackbot; I see DATA_RDFWG()2:00PM scheduled to start in 1 minute 17:59:34 Dimitris has joined #shapes 17:59:34 Meeting: RDF Data Shapes Working Group Teleconference 17:59:34 Date: 26 March 2015 18:00:16 zakim, this is shapes 18:00:17 ok, Arnaud1; that matches DATA_RDFWG()2:00PM 18:00:29 zakim, who's on the phone? 18:00:29 On the phone I see ??P4, pfps, Arnaud 18:00:45 zakim, ??P4 is me 18:00:45 +SimonSteyskal; got it 18:00:45 cygri has joined #shapes 18:00:51 +??P6 18:00:56 +[IPcaller] 18:00:57 Zakim, ??P6 is me 18:00:58 +BartvanLeeuwen; got it 18:01:02 scribe: SimonSteyskal chair: Arnaud agenda: https://www.w3.org/2014/data-shapes/wiki/Meetings:Telecon2015.03.26 18:01:17 Zakim, IPcaller is labra 18:01:17 +labra; got it 18:01:24 zakim, who is talking? 18:01:25 michel has joined #shapes 18:01:25 hknublau has joined #shapes 18:01:35 pfps, listening for 10 seconds I heard sound from the following: BartvanLeeuwen (21%), labra (62%) 18:01:42 I was 18:01:43 +kcoyle 18:02:06 +michel 18:02:25 +ericP 18:03:19 +[IPcaller] 18:03:21 +OpenLink_Software 18:03:29 Zakim, OpenLink_Software is temporarily me 18:03:29 +TallTed; got it 18:03:30 +ArthurRyman 18:03:31 Zakim, mute me 18:03:31 Zakim, [IPcaller] is me 18:03:31 TallTed should now be muted 18:03:31 +hknublau; got it 18:03:42 zakim, code? 18:03:42 the conference code is 742737 (tel:+1.617.761.6200 sip:zakim@voip.w3.org), cygri 18:03:55 +??P15 18:03:58 zakim, ??P15 is me 18:03:58 +cygri; got it 18:04:05 zakim, mute me 18:04:05 cygri should now be muted 18:04:25 +Dimitris 18:04:38 TOPIC: Minutes of last meeting 18:04:39 PROPOSED: Approve minutes of the 19 March Telecon: http://www.w3.org/2015/03/19-shapes-minutes.html 18:04:48 The minutes looked OK. 18:05:00 ArthurRyman has joined #shapes 18:05:15 +1 18:05:20 RESOLVED: Approve minutes of the 19 March Telecon: http://www.w3.org/2015/03/19-shapes-minutes.html 18:05:44 TOPIC: F2F3 18:06:28 Arnaud: im unable to confirm, that we can host it at the IBM lab in toronto 18:06:35 Which week is the preferred one? 18:07:02 pfps: we still have the possibility of a room in waterloo 18:07:44 TOPIC: Tracking of Actions and Issues 18:08:11 Arnaud: we are in pretty good shape regarding actions 18:08:45 ... maybe we should trying to be more formal in what issues are being addressed 18:09:08 TOPIC: UCR 18:09:29 Arnaud: we agreed last week to publish it 18:10:03 ... publishing is still pending 18:10:15 ... hopefully we can publish it next week 18:11:03 ... there are other new user stories that have been proposed, so we may take some time to discuss them now TOPIC: User Stories 18:12:14 PROPOSED: approve S39 Arbitrary Cardinality https://www.w3.org/2014/data-shapes/wiki/User_Stories#S39_Arbitrary_Cardinality 18:12:15 ericP: a model like in resource shapes is too limited 18:12:17 +1 18:12:19 +1 18:12:23 +1 18:12:27 +1 18:12:27 +1 18:12:31 +1 18:12:32 +1 18:12:42 +1 18:12:45 +1 18:12:50 +1 18:12:55 RESOLVED: approve S39 Arbitrary Cardinality https://www.w3.org/2014/data-shapes/wiki/User_Stories#S39_Arbitrary_Cardinality 18:13:29 S40 Describing Inline Content versus References https://www.w3.org/2014/data-shapes/wiki/User_Stories#S40_Describing_Inline_Content_versus_References 18:14:43 q+ to ask whether this would give rise to a requirement that there be a SHACL construct that goes out and grabs some external information? 18:15:06 ack pfps 18:15:06 pfps, you wanted to ask whether this would give rise to a requirement that there be a SHACL construct that goes out and grabs some external information? 18:15:39 q+ 18:15:53 ack me 18:15:54 ack cygri 18:16:12 ArthurRyman: it tries to describe what's the content of the graph 18:17:32 cygri: it's really just informative in a sense that it describes that something should link to a resource of a particular shape but doesn't really enforce it 18:17:45 I'm still unsure as to just what is supposed to be going on. I really don't see any connection to SHACL here. 18:18:35 ArthurRyman: it would be validateable by checking if unknown content is returned 18:18:40 +1 to cygri's "human-readable" distinction 18:18:49 perhaps "non-semantic" 18:20:24 q+ 18:20:29 ack kcoyle 18:21:02 If this is non-constraint construct then it needs to be connected to one of the other purposes of SHACL. 18:21:10 q+ 18:21:15 kcoyle: are we rejecting this kind of requirements here? 18:21:15 ack ArthurRyman 18:21:16 ArthurRyman: 18:21:20 zakim, mute me 18:21:20 cygri should now be muted 18:22:21 pfps, I think it speaks to this point in the charter: “Developers of data-providing systems can read the shape definitions (and possibly related RDF Vocabulary definitions) to learn what they need to provide” 18:22:57 cygri, yes, but what is supposed to be provided? 18:23:04 S41: Validating schema.org instances against model and metamodel https://www.w3.org/2014/data-shapes/wiki/User_Stories#S41:_Validating_schema.org_instances_against_model_and_metamodel 18:23:12 ack me 18:24:02 cygri: this story is about the model level of schema.org 18:24:44 ... schema.org uses some constructs that are not specified 18:25:09 Does anyone know what the semantics of schema.org is? 18:25:46 +q 18:25:50 ... there are a few issues like not using datatypes in a way defined by rdfs, or not using rdfs domain/range but domainincludes/rangeincludes 18:25:53 q+ to ask what :p1 schema:rangeIncludes :Class1 , :Class2 . means if you see :p1 [ a :Class3 ] 18:26:02 peter: they are whatever you want them to be, afaik 18:26:14 ack ArthurRyman 18:26:26 karen: that's my feeling as well 18:27:09 However, it is then hard to figure out just that SHACL constructs are needed for schema.org validation 18:27:10 ArthurRyman: OSLC valueClass was intended to capture a union 18:27:18 ack ericP 18:27:18 ericP, you wanted to ask what :p1 schema:rangeIncludes :Class1 , :Class2 . means if you see :p1 [ a :Class3 ] 18:28:04 eric: there is no invalid schema.org 18:28:19 ericP: i was wondering how to violate a rangeincludes 18:28:33 cygri: schema.org has no formal semantics 18:29:38 This is something like the kind of validation that Wikidata is starting to do. 18:30:08 ... but someone might want to add some custom constraints, i.e. wants to validate whether certain parts conform to those constraints 18:30:19 q+ 18:30:24 ack pfps 18:31:40 pfps: although domain/rangeincludes might be easy to check, the datatypes constraint might be not 18:33:34 ... so you might want to use regexp to check those datatypes constraints 18:33:55 q+ 18:33:55 PROPOSED: Approve S41: Validating schema.org instances against model and metamodel https://www.w3.org/2014/data-shapes/wiki/User_Stories#S41:_Validating_schema.org_instances_against_model_and_metamodel 18:33:57 if this is regular expressions, then I'm fine with ti 18:34:02 +0.9 18:34:04 +1 18:34:09 ack ArthurRyman 18:34:22 +1 18:34:25 +1 18:34:27 ArthurRyman: this user story line sup with the facets requirements 18:34:30 +1 18:34:31 +1 18:34:35 +1 18:34:37 +1 18:34:39 +1 18:34:39 this may or may not line up with facets - it also may require some weird facets to get right 18:34:52 +1 18:35:04 s/S40/S41? 18:35:06 -17! 18:35:16 RESOLVED: Approve S41: Validating schema.org instances against model and metamodel https://www.w3.org/2014/data-shapes/wiki/User_Stories#S41:_Validating_schema.org_instances_against_model_and_metamodel 18:35:21 s/-17!/ / TOPIC: Requirements 18:35:45 Arnaud: lets switch to requirements 18:36:05 ... 5 requirements left that are under consideration 18:36:35 https://www.w3.org/2014/data-shapes/wiki/Requirements#Evaluating_Constraints_for_a_Single_Node_Only 18:36:39 2.11.8 Evaluating Constraints for a Single Node Only https://www.w3.org/2014/data-shapes/wiki/Requirements#Evaluating_Constraints_for_a_Single_Node_Only 18:37:27 The new comment from RC (Richard?) indicates that this is a new language construct. However, it seems to me that all that is needed is a different API call, with no change to the language. 18:37:31 2.11.8 seems very much the same as 2.12.3 18:37:33 +q 18:37:43 ack ArthurRyman 18:37:58 pfps, no, my comment doesn’t indicate that it’s a new language construct 18:38:18 pfps, it says that the language must be designed in a way that a certain implementation behaviour must be possible 18:38:51 hknublau: it was mostly about the operations level; you can start the validation given a particular node 18:38:53 q+ 18:38:58 ack pfps 18:39:08 sounds like this is the same as "focus" or "root" node concept 18:39:10 ... so if you have a form, you can just check this instance 18:39:46 q+ to ask if validation is permitted to reach subshapes 18:39:48 pfps: you can implement this by keeping track changes on the graph and only check those nodes that have changed 18:40:27 seems like it talks to applying the shape against a subject URI? 18:40:30 q+ 18:40:38 ack ericP 18:40:38 ericP, you wanted to ask if validation is permitted to reach subshapes 18:41:03 hknublau: should actually be a easy to check requirement 18:41:24 scribe, last comment was me, not hknublau 18:41:42 s/hknublau/cygri 18:41:42 s/hknublau:/cygri:/ 18:41:56 +q 18:42:02 ack hknublau 18:42:21 hknublau: it would go into the valueshape 18:42:31 ack kcoyle 18:43:01 +q 18:43:21 kcoyle: my question is, how far do you follow the graph? have we defined the boundaries? 18:43:45 ack hknublau 18:43:54 Arnaud: it's undecided yet 18:46:04 PROPOSED: Approve 2.11.8 Evaluating Constraints for a Single Node Only https://www.w3.org/2014/data-shapes/wiki/Requirements#Evaluating_Constraints_for_a_Single_Node_Only 18:46:06 +1 18:46:12 +1 18:46:16 +1 18:46:16 +1 18:46:24 +1 18:46:26 +1 18:46:36 +1 18:46:43 +1 18:46:49 +0.5 … almost too light a requirement to be worth spelling out 18:46:56 +1 18:47:08 RESOLVED: Approve 2.11.8 Evaluating Constraints for a Single Node Only https://www.w3.org/2014/data-shapes/wiki/Requirements#Evaluating_Constraints_for_a_Single_Node_Only 18:47:11 +1 18:47:46 2.8 Specialization of Shapes https://www.w3.org/2014/data-shapes/wiki/Requirements#Specialization_of_Shapes 18:47:49 -ArthurRyman 18:48:17 My objection has been resolved. I'll change its status. 18:49:16 ericP: most schema languages add stuff and allow you to remove stuff as well 18:49:29 +ArthurRyman 18:49:34 The current description forbids modification and replacement, so most of what Eric is saying is not germane to this requirements. 18:50:04 Labra: i remove my objection 18:50:10 PROPOSED: Approve 2.8 Specialization of Shapes https://www.w3.org/2014/data-shapes/wiki/Requirements#Specialization_of_Shapes 18:50:12 +1 18:50:12 +1 18:50:15 +1 18:50:17 +1 18:50:18 +1 18:50:19 +1 18:50:20 +1 18:50:22 +1 18:50:28 +1 18:50:32 +1 18:50:33 +1 18:50:35 0 18:50:44 RESOLVED: Approve 2.8 Specialization of Shapes https://www.w3.org/2014/data-shapes/wiki/Requirements#Specialization_of_Shapes 18:51:04 I'm hoping that we are reading requirements as "we can do this" as opposed to "we can do this in exactly this way" 18:51:35 TOPIC: SHACL Specification 18:51:35 @pfps yes a follow up question would be sh:extends vs rdfs:subClassOf 18:52:03 or even just attaching to a subclass 18:52:10 Arnaud: we have made a resolution: Define semantics using SPARQL as much as possible 18:52:30 @pfps that’s my preference 18:52:39 ... but there is some room for interpretation 18:53:48 ... but we can use other options if applicable or preferred 18:54:07 ... (that's my view on this) 18:58:20 ... whether if conceptually we have 2 documents (1 high level description, 1 extensions) which one would be referencing the other? 18:58:24 +q 18:58:28 q+ 18:58:29 q+ 18:58:30 ack hknublau 18:59:50 ack ArthurRyman 19:00:10 ArthurRyman: the extension mechanism should refer to the high level description 19:00:59 ack pfps 19:02:39 q+ to say that getting that marriage right will enable other extensions 19:03:32 pfps: if the high level stuff works in one way and the extensions in the other way thats probably not going to work 19:04:10 q+ 19:04:28 ack ericP 19:04:28 ericP, you wanted to say that getting that marriage right will enable other extensions 19:05:30 q+ 19:05:37 ack ArthurRyman 19:06:05 I'm not saying that the ability to express constraints depends on SPARQL at all. 19:06:44 ack cygri 19:07:18 I was saying that designing a small part of a language independent of designing the entire language risks ending up with a broken language. 19:07:31 q+ 19:07:52 @pfps yes it's a risk, but it's under our control 19:08:11 +1 to richard 19:08:24 cygri: i dont see any proposals on how to use javascript as a substitution of SPARQL 19:09:06 +q 19:09:37 q+ 19:10:24 cygri: i dont see the urge of doing that split, since I havent seen any proposals on replacements for sparql (other extension mechanisms) 19:11:01 ack michel 19:11:09 I think that calling it an extension mechanism for a SPARQL is a bad idea. The extension mechanism is really a way of extending the high-level language. 19:11:15 Arnaud: i think it's more of a question of if we should let the door open or not 19:11:17 ... not extending SHACL. 19:11:54 @pfps yes I objected to the term “extension mechanism” before too 19:11:57 q+ 19:12:04 ack Labra 19:12:07 michel: it makes sense to me to have the sparql implementation in its own document 19:12:17 note that the ShExDemo has a few extensions, including one called "js" which tests stuff beyond ShEx's expressivity 19:12:57 ack kcoyle 19:13:12 ericP, is there documentation how the extension mechanism works? 19:13:37 labra: what I defend is that the extension mechanism supports "any" external language processor...but SPARQL there should be optional, not mandatory 19:14:09 https://www.w3.org/2014/data-shapes/wiki/Main_Page#Proposals 19:14:31 @labra I could live with that. Some people may have constraints in their local system that use custom JavaScript. 19:14:38 so could call external language processors in SPARQL, javascript, or whatever...but there could be SHACL implementations that don't support extenal calls to SPARQL 19:14:54 I don't think that decisions can be made without a number of proposals, so I see the multiplicity as a good thing. 19:14:58 Arnaud: we dont have made any decisions yet; so we have a set of proposals that are listed on this wiki page 19:16:19 ... we additionally have shex, we have peter's proposal which is similar to SPIN, ... 19:16:46 @labra yes this (some engines would not support SPRQL) is the intention of my proposal. 19:16:49 ... practically we could just have a vote and decide which road to follow 19:17:39 kcoyle: my question is, if we decide there is one draft.. how can we collaborate on that? 19:18:25 Arnaud: once we have a draft, the editors have to make changes according to issues others raise against the document 19:19:15 ... so basically they implement the resolutions the WG makes 19:19:37 ack ArthurRyman 19:20:03 ericP, I take it there’s no documentation for the js extension in the ShExDemo? 19:20:09 ArthurRyman: i dont think that splitting the document has something to do with the role of SPARQL 19:20:28 ... we should be able to manage 2 documents as long as we agree on the content 19:20:39 It's not the split itself that I found problematic, but the description of the split-off document. 19:20:47 +q 19:22:16 Arnaud: there seems to be a preference on keeping everything in one document 19:22:39 q+ 19:22:41 ack hknublau 19:23:11 If we don't agree to a general approach then how can we vote for a particular part of SHACL? Consider, for example, recursive shapes - they may appear to be fine in a very small part of SHACL but they are extremely problematic for SHACL as a whole. 19:24:01 Along the lines of Holger's comment - let's put together a document that says SHACL includes SPARQL - that would be easy to write, would cover a large part of the WG output, and be a win all around! 19:24:26 hknublau: i dont agree with the assumption that we can publish faster if we split the document because the core part might be less controversial as the extension (i.e. sparql) 19:25:10 ack ArthurRyman 19:26:01 Sure, come up with a document that defines OSLC shapes so that people can implement it and put it forward as a proposal 19:28:02 @pfps I read your comment as asking for a more precise spec of OSLC Resource Shapes since there are already informal descriptions which have led to some implementations 19:28:21 q+ 19:28:29 Arnaud: maybe we should agree on a schedule, i.e. one or two weeks from now we have a contest and pick the "best" proposal 19:28:41 ack pfps 19:29:29 cygri, (sorry, had eyes elsewhere) -- no docs at all. you can play with http://www.w3.org/2013/ShEx/FancyShExDemo?schemaURL=test/Issue-js-test-date-triple.shex&dataURL=test/Issue-fail-date.ttl&colorize=true and write some for me 19:29:49 pfps: somehow someone has to come up with a complete proposal; if a popular proposal has fundamental issues this isnt the right way to go 19:30:03 q+ 19:30:12 q+ to say that we could work on test cases 19:31:20 ack ericP 19:31:20 ericP, you wanted to say that we could work on test cases 19:32:17 ericP: we could solve this issue by defining a number of test cases which SHACL should be able to solve 19:33:14 http://w3c.github.io/data-shapes/data-shapes-test-suite/ 19:33:30 Test cases can be illuminating, but only in how they illustrate the issues that are problematic. 19:33:36 q+ just to say that I will try to put the test cases there 19:33:58 Arnaud: i suggest people to raise issues in the tracker 19:33:59 I was kind of hoping that some one besides me would raise an issue :-) 19:34:01 For test cases we first need a draft for a syntax 19:34:11 ... they can even be in terms of test cases 19:34:12 right 19:34:20 Differences like union/or don’t help at this stage. 19:34:33 -michel 19:34:35 I agree with Holger, we need to settle on the core vocabulary at least 19:34:35 -pfps 19:34:36 -kcoyle 19:34:37 -SimonSteyskal 19:34:38 -hknublau 19:34:38 -BartvanLeeuwen 19:34:40 -cygri 19:34:40 -ArthurRyman 19:34:41 -labra 19:34:41 -Arnaud 19:34:42 -Dimitris 19:34:43 -ericP 19:34:52 trackbot, end meeting 19:34:52 Zakim, list attendees 19:34:52 As of this point the attendees have been pfps, Arnaud, SimonSteyskal, BartvanLeeuwen, labra, kcoyle, michel, ericP, TallTed, ArthurRyman, hknublau, cygri, Dimitris 19:35:00 RRSAgent, please draft minutes 19:35:00 I have made the request to generate http://www.w3.org/2015/03/26-shapes-minutes.html trackbot 19:35:01 -TallTed 19:35:01 RRSAgent, bye 19:35:01 I see no action items 19:35:02 DATA_RDFWG()2:00PM has ended 19:35:02 Attendees were pfps, Arnaud, SimonSteyskal, BartvanLeeuwen, labra, kcoyle, michel, ericP, TallTed, ArthurRyman, hknublau, cygri, Dimitris