13:02:21 RRSAgent has joined #rif 13:02:21 logging to http://www.w3.org/2009/04/17-rif-irc 13:02:26 zakim, this is rif 13:02:26 ChrisW, I see SW_RIF(F2F)8:00AM in the schedule but not yet started. Perhaps you mean "this will be rif". 13:02:42 zakim, this will be rif 13:02:42 ok, ChrisW; I see SW_RIF(F2F)8:00AM scheduled to start 62 minutes ago 13:03:19 Meeting: RIF F2F13 13:03:26 josb has joined #rif 13:03:36 Chair: Chris Welty and Christ de Sainte-Marie 13:03:39 StellaMitchell has joined #rif 13:04:14 Agenda: http://www.w3.org/2005/rules/wiki/F2F13#Agenda 13:05:40 DaveReynolds has joined #rif 13:05:48 AxelPolleres has joined #rif 13:06:59 http://lists.w3.org/Archives/Public/public-rif-wg/2009Apr/0091.html 13:07:14 (and thread following) 13:08:12 SW_RIF(F2F)8:00AM has now started 13:08:14 In the light of the new information that owl:real is disjoint from float and double, I'd prefer to drop owl:real as a datatype in RIF. 13:08:18 +??P12 13:14:39 calling 13:14:40 GaryHallmark has joined #rif 13:16:19 +MIT-G631 13:17:29 dave, can you hear? 13:17:29 Harold has joined #rif 13:17:42 cke has joined #rif 13:17:48 AdrianP has joined #rif 13:17:55 scribe: cke 13:17:57 zakim, who is on the phone? 13:17:57 On the phone I see DaveReynolds, MIT-G631 13:18:35 zaim, MIT-G631 contains ChrisW, csma, sandro, Harold, mkifer, AdrianP, cke, AxelPolleres, josb, GaryHallmark, StellaMitchell 13:19:22 Discussion about this morning's agenda 13:19:51 quick resolutions - lists - breakout sessions, etc. 13:20:35 PROPOSED: Close ISSUE-97 (earlier resolution removed its object). 13:20:47 issue-97 13:20:50 issue-97? 13:20:50 ISSUE-97 -- Shoudl Core safeness be restricted to Eiter-Schindlauer safeness -- CLOSED 13:20:50 http://www.w3.org/2005/rules/wg/track/issues/97 13:21:34 chris: we closed it but not resolve explicitely 13:21:46 RESOLVED: Close ISSUE-97 (earlier resolution removed its object). 13:22:01 next one 13:22:12 PROPOSED: accept the minutes of April 7 13:22:22 http://www.w3.org/2009/04/07-rif-minutes.html 13:22:40 RESOLVED: : accept the minutes of April 7 13:22:45 next one 13:23:34 PROPOSED: remove owl:real from RIF primitive data types. 13:24:31 RRSAgent, pointer? 13:24:31 See http://www.w3.org/2009/04/17-rif-irc#T13-24-31 13:25:19 Axel: Bijan and the owl Wiki confirm that owl:real is disjoint from float and double. 13:26:01 real subsumes rational, which subsumes decimal 13:26:13 (See Axel's email and following thread: http://lists.w3.org/Archives/Public/public-rif-wg/2009Apr/0091.html) 13:26:31 q? 13:27:18 q+ 13:27:29 q- 13:27:45 sandro: We should have isNumeric 13:27:47 sandro: I see no reason to keep owl:real 13:28:16 chris: what's the disadvantage? Why drop? 13:28:52 axel: it's confusing. For example ... 13:29:18 Bijan said: "Of course, this would make owl:real harmless to support in RIF, perhaps. [snip] So I don't think it really matters one way or the other, technically. Socially, I think it helps not to have it since having things which are idle (when they are quite significant in other contexts) can be confusing." 13:32:33 owl:real is the only reference to the owl namespace in RIF 13:32:37 chris: Hierarchy is: real - rational - decimal, no further subclasses 13:33:30 PROPOSED: drop owl:real from RIF primitive data types. 13:33:34 MichaelKifer has joined #rif 13:33:47 +1 13:33:52 +1 13:33:53 +1 13:33:55 +1 13:33:56 +1 13:34:00 0 see no harm in keeping it 13:34:00 +1 13:34:01 +1 13:34:14 RESOLVED: drop owl:real from RIF primitive data types. 13:34:51 Now on the lists 13:35:05 http://www.w3.org/2005/rules/wiki/Lists 13:36:32 chris: we agree on the semantics of lists, we agree that the semantics can be described, ... 13:37:18 PROPOSED: have lists in Core, as described in http://www.w3.org/2005/rules/wiki/Lists, with the builtins listed there. 13:38:23 (Some remaining List issues: (1) mapping to/from RDF lists and sequences, (2) indexing ) 13:39:46 +1 13:39:56 csma: some details need to be refined. 13:40:20 johnhall has joined #rif 13:40:50 Other remaining List issue: can the list constructor syntactically include external or variable terms? 13:41:03 (ie what does ground list really mean) 13:41:19 jos: do we keep only grounded lists in Core?, we chose option 1 13:41:43 PROPOSED: have lists, as described in http://www.w3.org/2005/rules/wiki/Lists, with the builtins listed there (with only immutable ground lists in Core, per previous resolution). Closing ISSUE- 13:42:19 issue-95? 13:42:19 ISSUE-95 -- Does RIF need a primitive data type (and associated builtins) for lists? -- OPEN 13:42:19 http://www.w3.org/2005/rules/wg/track/issues/95 13:42:24 PROPOSED: have lists in BLD, as described in http://www.w3.org/2005/rules/wiki/Lists, with the builtins listed there (with only immutable ground lists in Core, per previous resolution). Closing ISSUE-95 13:42:44 +1 13:42:59 +1 13:43:00 +1 13:43:08 noting that there are still several design issues about lists not yet resolved. 13:43:08 0 13:43:08 +1 13:43:10 +1 13:43:12 0 13:43:17 +1 13:43:34 +1 13:43:48 RESOLVED: have lists in BLD, as described in http://www.w3.org/2005/rules/wiki/Lists, with the builtins listed there (with only immutable ground lists in Core, per previous resolution). Closing ISSUE-95. 13:44:00 RRSAgent, make records public 13:44:28 csma: now need to solve design, editorial issues 13:44:48 decision on list built-ins was a quick majority vote - no thorough technical reasons for the current selection 13:46:24 ACTION: michael to add the syntax and semantics of lists to BLD 13:46:24 Sorry, amibiguous username (more than one match) - michael 13:46:24 Try using a different identifier, such as family name or username (eg. msintek, mkifer, merdmann) 13:46:36 we also need to change the schemas in Core, BLD and PRD 13:46:45 ACTION: mkifer to add the syntax and semantics of lists to BLD 13:46:45 Created ACTION-759 - Add the syntax and semantics of lists to BLD [on Michael Kifer - due 2009-04-24]. 13:47:20 action: Sandro to add the list builtins in DTB 13:47:20 Created ACTION-760 - Add the list builtins in DTB [on Sandro Hawke - due 2009-04-24]. 13:47:58 ACTION: Adrian to add the restriction on list in Core 13:47:58 Created ACTION-761 - Add the restriction on list in Core [on Adrian Paschke - due 2009-04-24]. 13:48:38 Action: Harold amends the XML schema for Core. 13:48:38 Created ACTION-762 - Amends the XML schema for Core. [on Harold Boley - due 2009-04-24]. 13:49:15 ACTION: Gary add lists to PRD. 13:49:15 Created ACTION-763 - Add lists to PRD. [on Gary Hallmark - due 2009-04-24]. 13:49:48 list of issues now 13:50:11 action: chris to close issue-95 13:50:11 Created ACTION-764 - Close issue-95 [on Christopher Welty - due 2009-04-24]. 13:50:57 Issues are 98, 77, etc. 13:52:04 Issue 98: update all specs to reference xml scema datatype 1.1 13:53:57 discussion about how wiki can support references to XML, XML data types 13:54:39 chris: we still have to update the documents to use datatypes 1.1 13:57:55 Action: sandro to make the references be to XML schema 1.1 in all RIF documents 13:57:56 Created ACTION-765 - Make the references be to XML schema 1.1 in all RIF documents [on Sandro Hawke - due 2009-04-24]. 13:58:26 PROPOSED: Close issue-98, based on action 765. 13:58:37 +1 13:58:40 +1 13:58:43 +1 13:59:10 +0.99 13:59:39 axel: xpath function still references datatypes 1.0. Is this a problem? 14:00:01 0 unclear what the implication with XPath F&O is 14:00:02 sandro: will finf out later 14:00:12 sandro: We could ask XS or XP folks ... 14:00:13 action: Chris to close issue-98 14:00:13 Created ACTION-766 - Close issue-98 [on Christopher Welty - due 2009-04-24]. 14:00:14 _+1 14:00:15 +1 14:00:36 RESOLVED: Close issue-98, based on action 765. 14:01:22 next: breakout sessions 14:02:36 csma: editors should meet, they can plan the work, then we' ll see 14:05:05 Topic: issue 37 14:05:49 combination of RIF and XML data, and/or XML schemas 14:06:05 http://www.w3.org/2005/rules/wiki/RIF%2BXML_data-schema 14:06:24 there are 2 strawman proposal in the wiki 14:07:33 csma: one for combining RIF with XML schemas, other: same thing, roughly 14:08:57 First: map frames to XML instance, second: more schema related, linked to the style 14:09:27 First: possible to use the XML data without schema, for instance 14:10:21 Second: you need a schema, it's necessary. The ref to data is through the schema 14:11:06 csma: the second option should address the only OO model, while mine is more general 14:11:23 csma: but they are not incompatibles, we can keep them, or mix the two 14:11:37 sandro: can you show some examples? 14:12:43 csma: look at the example if shiporder fragment 14:13:04 now look at the rule 14:14:48 csma: the doc should be updated with namespaces qualifications 14:22:28 csma: the RIf rules should be the same regardless the source of data, which can be XML, OWL, etc. 14:22:47 csma: we just have to change the import section, rules will be portable 14:23:27 csma: it remains a few minor issues: attribute, namespace, etc. 14:24:25 the other approach is to rely on the xml schemas 14:27:53 could be generalized to a general approach to allow constructive queries on external data sources, e.g. SPARQL, SQL, XPATH, XQUERY 14:30:05 Gary's proposal starts with a schema 14:32:27 GaryHallmark has joined #rif 14:32:36 Expressions using some kind of XPath lead to values 14:33:00 it's very straight 14:35:38 sandro: you could implement this as a pre-processor, turning an XML document, with or without a schema, into a RIF document consisting of just frame assertions. 14:36:19 But we need typing information. We need the XML schema at the end, otherwise PRD engines cannot work 14:37:19 sandro: when you import from some URI, you get a frame like (that_url) [ rif:root-element -> the_root_element ] 14:39:24 sandro: this is like SWC, orthogonal to RIF, but defines a way to use RIF with XML data. 14:39:56 AdrianP has joined #rif 14:42:06 mk: Can you put rif:IRI everywhere? Issue with @attribute? 14:43:56 sandro: they are rif:iri's that happen to kind of look like xpath expressions. 14:44:49 csma: the expression are not xpath based, even they appear to resemble to xpath 14:47:09 poll: -1 don't publish anything on this in the next few months; 0 don't care; +1 publish a WD on this soon 14:47:22 +1 14:47:24 +0.75 14:47:28 +1 14:47:29 0 14:47:36 +1 14:47:44 +1 14:47:46 +1 14:47:48 +1 (but I would like to refine the technical solution) 14:47:49 +1 14:48:01 +0.2 14:48:17 -1 14:48:18 I think we can do this with no new syntax except an import statement 14:48:58 +1 to no new syntax 14:49:16 +1 to no new syntax 14:49:20 break until 11:10 14:49:26 q? 14:49:31 break till 11:10 14:49:33 -DaveReynolds 14:49:51 e.g. import (myDoc) generates a _myDoc[rif:root->x] frame that points to the root element from myDoc 14:58:20 sandro and gary chatting --- (1) PSVI / type information; without it you need to cast in your rules -- import needs a flag about whether you'll get all strings or typed values; 14:58:56 --- (2) ordering information -- do you get multiple values and lose the ordering, or do you get rif:Lists for everything? that's another flag on import. 14:59:39 --- (3) what about striping? gary says we can probably just assuming the element names are all property names -- it's like an OO x.y.z. expression; sandro says yeah, that might work, maybe. 15:03:07 --- (4) id/idref 15:14:53 Topic: FLD 15:14:58 -MIT-G631 15:14:59 SW_RIF(F2F)8:00AM has ended 15:15:00 Attendees were DaveReynolds, MIT-G631 15:15:07 scribe: John Hall 15:15:16 scribenick: johnhall 15:15:21 Michael: organized FLD for more dialects 15:15:37 Michael: added aggregates and modules 15:15:59 Michael: now need to add lists and complete the XML work 15:16:20 ChrisW: same as BLD 15:16:25 Michael: yes 15:16:52 Michael: XML schema syntax, now harder 15:17:27 Chris: to account for generalized quntifiers 15:18:01 Michael: feedback from last draft - from mail archives 15:19:06 josb: last draft July 2008 15:20:08 ChrisW: lists and XML syntax - all that needs to be done 15:20:41 ChrisW: imports - specialization of modules 15:20:48 Michael: didn't do 15:21:24 Michael: How to proceed with other dialects? 15:21:37 csma: another agenda item 15:21:54 ChrisW: for FLD to pass to rec we need implementations 15:22:31 ChrisW: individuals should work on dialects and submit as member contributions 15:22:53 Michael: cumbersome 15:23:06 Sandro: costs a lot to keep a group running 15:24:30 Sandro: regardless of whether WG continues with FLD, we need people to implement and report back 15:25:11 Harold: we need 2 implementations of FLD. We have one - what could be the other? 15:26:22 ChrisW: in order for FLD to reach rec, other implementations don't need to standards 15:27:01 Topic: last call plan 15:27:30 ChrisW: wiki page called 'Last Call Plans' 15:27:41 http://www.w3.org/2005/rules/wiki/LastCallPlan 15:28:03 ChrisW: most important - 6 documents for last call 15:28:22 ... are we going to release BLD with a new last call? 15:28:46 ... adding lists seems significant 15:29:04 josb: predicates with multiple arities 15:29:23 ChrisW: big impact on implementations 15:29:40 Sandro: need to give people a chance to object 15:29:52 ChrisW: second last call for BLD? 15:31:00 csma: restrict scope of comments to just the concerns here 15:33:01 Sandro: WG is not gong to make changes except in response to external input 15:33:28 sandro: While I think the bulk of the WG wants NAUs gone, I don't think it's appropriate for us be making changes like that now. 15:34:14 ChrisW: plan for future is to have enough meetings to deal with external input 15:34:42 Harold: risk of losing commitment from WG members' employers 15:35:20 Sandro: all want to get to rec 15:36:12 ChrisW: restrict BLD comment to just the changes since last 'last call'? 15:36:27 http://www.w3.org/2005/10/Process-20051014/tr.html#last-call 15:36:48 csma: difficult to manage 15:37:01 Michael: list of changes to BLD 15:37:56 Harold: look at 'last-call' process. What are we allowed to do next? 15:38:30 Michael: we say we are acting in good faith and must provide help to implementers 15:39:26 ChrisW: significant BLD changes are only arities and lists 15:39:45 Sandro: easier to manage of everything foes to last call 15:40:22 josb: How can you have a BLD implementation without DTB? 15:42:06 Harold: risk of what might come in 15:42:24 csma: if there is a show-stopper, we need to know 15:43:07 ChrisW: looking in detail at the list, less concerned about going to last call 15:43:27 csma: would prefer to go with all as a whole 15:44:34 Sandro: we can include a paragraph about a second last call, and why it might be needed 15:45:01 sandro: We'll explain in the Second Last Call paragraph that the biggest changes were the inclusion of lists and allowing multiple arity symbols, but that the main reason for LC2 is just to keep all of RIF in sync. 15:45:51 Michael: if we don't do LC2 15:46:25 Sandro: options are LC2, candidate recommendation, member contribution 15:47:21 ... downplay the different specs, present RIF as one thing 15:48:25 kifer: LC2 --- give people a chance to comment on rif-as-a-whole. 15:48:34 Michael: say that we want to give people a chance to comment on RIF as a whole 15:48:59 PROPOSED: Our next publication of BLD will be as a second Last Call 15:49:42 +1 15:49:45 +1 15:49:46 +1 15:49:46 0 15:49:46 +1 15:49:48 (it's simpler) 15:49:49 0 15:49:51 +1 15:49:51 +1 15:49:52 AxelPolleres has joined #rif 15:49:54 +1 15:49:57 +1 15:49:58 +1 15:50:01 +1 15:50:07 RESOLVED: Our next publication of BLD will be as a second Last Call 15:50:36 note that the same is true for SWC, but it's not controversial 15:51:24 PROPOSED: Our next publication of SWC will be as a second Last Call 15:51:27 +1 15:51:32 +1 15:51:33 +1 15:51:34 +1 15:51:34 + 15:51:36 +1 15:51:38 +1 15:51:38 +1 15:51:41 RESOLVED: Our next publication of SWC will be as a second Last Call 15:52:23 ChrisW: need 2 reviewers for each document 15:52:38 ... everyone does 1, can do more 15:52:59 action: harold review PRD 15:52:59 Created ACTION-767 - Review PRD [on Harold Boley - due 2009-04-24]. 15:53:09 csma: editors do not review their own documents 15:53:50 action: cke review Core 15:53:50 Created ACTION-768 - Review Core [on Changhai Ke - due 2009-04-24]. 15:53:52 action: cke review PRD 15:53:53 Created ACTION-769 - Review PRD [on Changhai Ke - due 2009-04-24]. 15:54:05 action: jos review Core 15:54:05 Sorry, amibiguous username (more than one match) - jos 15:54:05 Try using a different identifier, such as family name or username (eg. jdebruij2, jderoo) 15:54:08 action: josb review Core 15:54:08 Created ACTION-770 - Review Core [on Jos de Bruijn - due 2009-04-24]. 15:54:14 action: josb review DTB 15:54:14 Created ACTION-771 - Review DTB [on Jos de Bruijn - due 2009-04-24]. 15:54:22 action: axel review swc 15:54:22 Created ACTION-772 - Review swc [on Axel Polleres - due 2009-04-24]. 15:54:28 action: axel review BLD 15:54:28 Created ACTION-773 - Review BLD [on Axel Polleres - due 2009-04-24]. 15:55:03 action: chris review FLD 15:55:03 Created ACTION-774 - Review FLD [on Christopher Welty - due 2009-04-24]. 15:55:27 action: adrian review dtb 15:55:27 Created ACTION-775 - Review dtb [on Adrian Paschke - due 2009-04-24]. 15:55:34 action: csma review bld 15:55:34 Created ACTION-776 - Review bld [on Christian de Sainte Marie - due 2009-04-24]. 15:55:54 action: josb review prd (lower priority than his other reviews) 15:55:54 Created ACTION-777 - Review prd (lower priority than his other reviews) [on Jos de Bruijn - due 2009-04-24]. 15:56:02 action: stella review FLD 15:56:02 Created ACTION-778 - Review FLD [on Stella Mitchell - due 2009-04-24]. 15:56:11 action: gary review SWC 15:56:11 Created ACTION-779 - Review SWC [on Gary Hallmark - due 2009-04-24]. 15:58:38 ChrisW: actions on core (from last call page) 15:59:47 josb: Core - need to deal with some problems on formulas 15:59:57 ... section 2.3 of Core spec 16:00:33 ChrisW: get rid of second bullet? 16:01:03 csma: resolution - external can appear everywhere a term can 16:05:11 ChrisW: nothing at risk in Core 16:09:29 ChrisW: actions on BLD 16:10:35 csma: resolution to modularize schema 16:10:56 Harold: is already modularized 16:11:23 ... if we have a lot of includes, from experience is harder to maintain 16:11:49 Gary: there is substantial duplication 16:12:01 Harold: Core is not stable 16:12:59 csma: there is a resolutin that Core schema will be included in BLD and PRD 16:13:24 cke: we need to explain the architecture 16:14:27 Gary: would be willing to refactor the schema 16:14:47 action: gary to refactor BLD schema to import Core (help from cke) 16:14:47 Created ACTION-780 - Refactor BLD schema to import Core (help from cke) [on Gary Hallmark - due 2009-04-24]. 16:16:38 csma: why does FLD have a schema - it's not a dialect 16:16:50 Michael: it's a framework 16:17:29 ChrisW: copy and edit from BLD? 16:18:03 ... if so, relationships need to me maintained over imports 16:19:01 s/be/me/ 16:20:34 ChrisW: actions on SWC 16:21:48 josb: three more actions added 16:22:10 ChrisW: actions on DTB 16:24:29 Axel: need to refine definitions of mapping for all informal built-ins 16:24:51 ChrisW: actions on PRD 16:28:04 csma: four items added 16:28:46 $ echo tag$RANDOM 16:28:46 tag30193 16:29:11 NmNot could be renamed to Inot (for Inflationary not). 16:29:22 Adrian: tag for 'pnot' 16:29:52 semantics of PRD probably needs to be revisited - see PRD test cases on retract, assert combinations 16:29:57 ChrisW: actions on Core 16:30:41 Harold: ready for review by April 30 16:31:00 ChrisW: actions on BLD 16:32:48 Michael: ready for review April 24, except XML part 16:33:08 Harold: XML modularization by April 30 16:33:34 ChrisW: actions on SWC 16:33:55 josb: May 4 16:34:35 action: josb to write some list test cases 16:34:35 Created ACTION-781 - Write some list test cases [on Jos de Bruijn - due 2009-04-24]. 16:34:55 ChrisW: actions on DTB 16:35:33 Axel: April 30 16:35:45 ChrisW: actions on PRD 16:36:08 csma: April 30 16:36:20 ChrisW: actions on FLD 16:37:16 ... all documents ready for review by May 4 16:37:26 ... last call vote on May 12 17:14:16 Zakim has left #rif 17:28:15 GaryHallmark has joined #rif 17:29:58 AdrianP has joined #rif 17:31:18 johnhall has joined #rif 17:40:15 josb has joined #rif 17:40:43 csma has joined #rif 17:41:22 Harold has joined #rif 17:41:29 jhallms has joined #rif 17:41:36 AxelPolleres has joined #rif 17:41:41 ChrisW has joined #rif 17:41:50 scribe: Axel Polleres 17:41:59 scribenick: AxelPolleres 17:42:06 MichaelKifer has joined #rif 17:42:13 topic: future of the WG 17:42:50 csma: we talk about the time between and of may and end of november 17:43:04 StellaMitchell has joined #rif 17:43:14 .... if we have all docs at lc end of may, we are done basically. 17:43:24 chrisw: 3 work items remaining. 17:43:38 ... 1) comments 2) tests 3) xml data 17:43:43 chrisw: three things to do after LC: responding to public comments, test, and xml-data. 17:44:09 ... reduced time committments, no more weekly telecons. 17:44:30 csma: probably we sshould have monthly, and more as necessary. 17:44:43 ... monthly sync point seems reasonable. 17:45:29 chrisw: possibly adding task forces as we do now with specific topics. 17:45:44 sandro: we miss one item: implementations. 17:46:58 chrisw: deadline for comments 4 weeks from lc... probably end of june. 17:47:22 sandro: we probably publish may 19 17:47:35 ... comment deadline june 16 17:47:57 ... depends a lot how many comments we get and how hard they are to implement. 17:48:17 chrisw: what is the cr period? 17:48:28 sandro: runs as long as you need to get implementations. 17:48:52 ... to some extent we can define ourselves what "implementations" mean. 17:49:16 ... general rules whould be tewo interoperating implementations per dialect. 17:49:39 jos: means 4 implementations, 2 prd, 2 bld which are interoperable. 17:50:32 sandro: should we target CR mid july? 17:50:35 LC pub on 19 May, comment deadline 16 June, ... 17:50:44 csma: that is optimistic. 17:50:49 Optimisitcally, go to CR 15 July 17:51:31 ... announcement must indicate a minimum duration. 17:51:53 sandro: do we need producers or jsut consumers? 17:52:08 cke: we should do both. 17:52:33 josb: what do we need for SWC? somewhat swc defines a bunch of new dialects. 17:54:11 mk: swc with OWL DL needs a SWRL implementation 17:54:30 josb: there are implementations of dl safe swrl. 17:54:46 ... someone could make an implementation on top of that. 17:55:04 ... I assume the jena people will do something for Core+RDF? 17:56:02 axel: depends whether I find someone to write a parser/compiler to dlvhex. 17:56:23 harold: flora-2? 17:56:51 mk: I would add a new reader, I guess. 17:57:17 sandro: you (mk) would expcet do have a BLD implementation? 17:57:29 mk: also a matter of finding a student. 17:57:34 cke has joined #rif 17:58:26 csma: finding people to implement is time consuming. 17:58:45 sandro: so, do we need a 1month CR or a 6month CR? 17:58:48 josb has joined #rif 17:59:47 ... if we want PR in nov we need CR in oct. 18:00:33 ... oct 1 or oct 15 for CR deadline? 18:00:50 ... to accomodate for management time in between. 18:00:50 October 1 for end of CR? 18:00:57 kifer: I wont be ready by then.... 18:01:00 mk: willl probably not be ready by then. 18:01:34 kifer: I dont have any student to do this right now.... 18:02:42 sanrdo: in terms of all the work with the DTB built-ins. 18:03:03 ... we don't need all BLD require all of DTB. 18:03:12 We may mostly need translators between RIF and the languages of existing engines, rather than brand-new engines. 18:03:32 axel: what of DTB is in BLD and not in Core? 18:03:38 Implementations need: 2 BLD, 2 DTB, 2 SWC-with-Core, 2-DTB-with-BLD. 18:03:50 kifer: incompete notion of equality....? 18:04:05 sandro: I meant not all of the built-ins, not "core" in the sense of Core. 18:04:37 mk: the reason why implementation is at risk because a complete implementation is hard. 18:04:38 (I don't know....) 18:05:05 mk: i have no idea how far ontoprise will get. 18:05:27 chrisw: we should assign actions to gather implementations. 18:05:43 ... hopefully no later than the end of the year. 18:06:02 mk: producer is much easier than consumer. 18:06:22 action: christian to talk to ontoprise about RIF implementation & timeframe 18:06:22 Created ACTION-782 - Talk to ontoprise about RIF implementation & timeframe [on Christian de Sainte Marie - due 2009-04-24]. 18:06:23 chrisw: who to contact ontoprise? 18:06:35 implementation plans 18:06:36 http://www.w3.org/2005/rules/wg/wiki/Implementation_plans 18:06:37 action: Chris to talk to Dave about implementation 18:06:38 Created ACTION-783 - Talk to Dave about implementation [on Christopher Welty - due 2009-04-24]. 18:06:54 Re Equality we could weaken the requirement on implementors to allow for certain logical incomplete implementations such as those that have only oriented equations. 18:07:16 action: christian to talk to Mark Proctor about RIF implementation 18:07:16 Created ACTION-784 - Talk to Mark Proctor about RIF implementation [on Christian de Sainte Marie - due 2009-04-24]. 18:07:18 chrisw: any other implementations we haven't talked about? 18:08:34 sandro: planning some BLD implementation, if not all builtins are required. 18:08:35 sandro plans an implementation - Oct 1 seems reasonable 18:08:55 http://www.w3.org/2005/rules/wg/wiki/Implementation_plans 18:08:56 harold: I contacted igor. 18:10:11 http://www.w3.org/2005/rules/wg/wiki/List_of_Rule_Systems 18:10:24 chrisw: everyboduy fine with the plan? 18:10:43 csma: w3c tech plenary is nov 1st 18:10:50 ... in santa clara, CA. 18:11:09 ... ac meeting there, around the time we go to CR. 18:11:24 ... I will probably go, a lot of AC Reps there. 18:11:44 axel: might try to go as well. 18:12:06 csma: need for a latest f2f before that? 18:12:15 sandro: don't think so. 18:12:21 PROPOSED: Ask to extend the Working Group by 6 months, through 30 November 2009. We will not plan for any more F2F meetings, and expecting fewer telecons. 18:13:02 +1 18:13:02 +1 18:13:10 +1 18:13:14 +1 18:13:18 +1 18:13:19 +1 18:13:25 +1 (or 9 months :-) 18:13:52 RESOLVED: Ask to extend the Working Group by 6 months, through 30 November 2009. We will not plan for any more F2F meetings, and expecting fewer telecons. 18:14:36 topic: test cases 18:15:08 csma: revisit approved ones, volunteers for new ones. 18:16:11 axel: do we need testcases for all built-ins? 18:17:01 ... would one TC be ok that calls ALL built-ins? 18:17:11 re taxi: they could call a taxi for 3:30 and wait on Vassar outside the Gates entrance or they could walk up to the Marriott and get a taxi from the stand 18:17:26 ACTION: axel to provide an ALL-builtins testcase. 18:17:26 Created ACTION-785 - Provide an ALL-builtins testcase. [on Axel Polleres - due 2009-04-24]. 18:17:58 sandro: we need testsuite done mid july. 18:18:19 chrisw: where to start in our review? 18:20:08 Every Core test MUST also work in all PRD and BLD engines. 18:20:18 discussion whether TCs can be labelled just core 18:21:21 http://www.w3.org/2005/rules/wiki/Argument_names_in_uniterms_3 18:22:22 sandro: XML is wrong. 18:24:05 http://www.w3.org/2005/rules/wiki/BLD#Alphabet_of_RIF-BLD 18:24:20 jos: according to spec named args are unicodes strings. 18:25:07 sandro: the testcase should be positive 18:25:51 I asked already what about a->b->c and strange stuff like that. 18:25:57 the negative test case in the XML would be ANY kind of markup in name. The name is just text. 18:26:34 csma: that means that this TC is not approved? 18:27:26 or: "asdasd->asdasd"->"asdasd" 18:27:38 POSITIVE SYNTAX: "http://example.com/example#color"^^xs:string 18:28:01 NEGATIVE SYNTAX: green 18:28:01 18:28:08 NEGATIVE SYNTAX: green 18:28:34 chrisw: is it possible for the exact same literal to be a const and an arg name? 18:29:17 csma/jos: Yes! 18:30:11 chrisw: why is there no ps for this? 18:31:29 chris: So you can't write the bad-xml in the PS. Okay. 18:31:58 POSITIVE SYNTAX: <Const type="&xs;string">green</Const> 18:32:13 chrisw: the thing that shouldn't parse can't be said in PS. 18:32:15 everyone: okay. 18:32:22 everyone: yeah, of course. 18:33:01 chrisw: shall we drop the test? 18:33:30 ... what about http://www.w3.org/2005/rules/wiki/Argument_names_in_uniterms_1 18:33:40 ... basically the same... so we drop all these? 18:37:09 chris: the thing in the argname position is NEVER a rif Const. 18:37:29 mk: I disagree. 18:38:39 discussion on what is a symbol/constant in the language 18:39:08 PROPOSED: drop http://www.w3.org/2005/rules/wiki/Argument_names_in_uniterms_1-4 18:39:19 +1 18:39:28 +1 18:39:37 0 18:39:56 0 18:40:03 +1 18:40:03 0 18:40:05 +1 18:40:29 +1->":-)" 18:40:35 these test cases speak to an important confusion in NAUs, but they don't actually clarify it right now. 18:40:53 RESOLVED: drop http://www.w3.org/2005/rules/wiki/Argument_names_in_uniterms_1-4 18:40:58 action: Stella to makr argnamesinuniterms as rejected 18:40:58 Created ACTION-786 - Makr argnamesinuniterms as rejected [on Stella Mitchell - due 2009-04-24]. 18:41:04 drop == mark as "Rejected" 18:41:31 http://www.w3.org/2005/rules/wiki/Assert 18:41:34 A solution would be to be (much) more restrictive wrt what unicode strings are allowed to represent ArgNames. 18:41:35 subtopic: http://www.w3.org/2005/rules/wiki/Assert 18:42:20 q+ 18:42:52 csma: the name does not need to be repeated. 18:43:42 axel: is assert a constant? 18:43:52 csma: no, a language primitive in PRD. 18:44:20 sandro: YOu can't have a PRD test case using just assert, since then it's core. 18:44:24 csma: right. 18:44:50 ArgNames, as 'indexes' into terms, could, e.g., be restricted to just *alphanumeric* ASCII unicode strings (disallowing the characters for double-quote and hat among other characters). 18:46:12 instead have: forall ?x if ?x[ex:status -> "gold"] then ?x[ex:discount -> 10] 18:46:37 but this is a Core test case. 18:47:02 could be done as a PRD test case if we add modify, or retract+assert. 18:47:32 chrisw: adrian, can you fix that one? 18:47:37 action: Adrian to change Assert test case as in meeting minutes 18:47:37 Created ACTION-787 - Change Assert test case as in meeting minutes [on Adrian Paschke - due 2009-04-24]. 18:48:18 subtopic: http://www.w3.org/2005/rules/wiki/AssertRetract 18:48:20 +1 harold -- ArgNames being just [_a-zA-z][_a-zA-Z0-9]* 18:49:04 we had that discussion on argnames before... 18:50:15 Right, but it's some progress to say we should restrict their alphabet. 18:50:52 it would be (I just gave up on it last time, nobody seemed to be willing to restrict it) 18:51:08 action: adrian to modify AssertRetract in the same way as Assert 18:51:08 Created ACTION-788 - Modify AssertRetract in the same way as Assert [on Adrian Paschke - due 2009-04-24]. 18:51:39 subtopic: http://www.w3.org/2005/rules/wiki/Retract 18:52:17 subtopic: http://www.w3.org/2005/rules/wiki/Modify 18:52:45 both the same. 18:53:09 s/same/same issue?/ 18:54:19 gary: .../Retract should be a negative entailment test 18:54:35 jos: empty set is entailed by everything. 18:54:51 action: adrian to update Retract test case as with assert, fixing object retraction 18:54:51 Created ACTION-789 - Update Retract test case as with assert, fixing object retraction [on Adrian Paschke - due 2009-04-24]. 18:55:24 subtopic: http://www.w3.org/2005/rules/wiki/Class_Membership 18:56:08 adrian: I simplified that one. 18:58:42 take our parent and child as classes and make male be a class. 19:00:13 axel: I suggest to replace classes child and parent with class person 19:00:38 chrisw: remove the classes at all. 19:01:06 ... but make Male a class. 19:03:19 Adrian: nested molecules a la f-logic would be nice but not allowed in RIF. 19:03:49 action: adrian to fix ClassMembership and rename 19:03:49 Created ACTION-790 - Fix ClassMembership and rename [on Adrian Paschke - due 2009-04-24]. 19:03:55 sandro: it would be NICE to allow membership predicates as terms.... 19:04:01 chris: yeah, whatever. :-) 19:04:33 subtopic: http://www.w3.org/2005/rules/wiki/Classification-inheritance 19:05:16 chrisw: that is a bad thing to do, should we mark that? 19:06:03 mk: this is basically default values. 19:06:23 ... not really a default, it would override all. 19:06:54 gary: I, P, and V should be quantified 19:07:10 chris: We need to say this is a REALLY BAD PRACTICE. 19:10:04 chrisw: can be approved modulo fixing XML. 19:10:57 PROPOSED: approve test case http://www.w3.org/2005/rules/wiki/Classification-inheritance 19:10:58 +1 19:11:01 +1 19:11:01 +1 19:11:02 +1 19:11:07 +1 19:11:09 +1 19:11:27 RESOLVED: approve test case http://www.w3.org/2005/rules/wiki/Classification-inheritance 19:12:15 subtopic: http://www.w3.org/2005/rules/wiki/Conflict_resolution 19:14:36 action: cke to write test cases for PRD 19:14:36 Created ACTION-791 - Write test cases for PRD [on Changhai Ke - due 2009-04-24]. 19:14:38 PROPOSED: Approve http://www.w3.org/2005/rules/wiki/Conflict_resolution 19:15:12 +1 19:15:16 +1 19:15:17 +1 19:15:22 +1 19:15:24 +1 19:15:27 +1 19:15:31 +1 19:15:31 RESOLVED: Approve http://www.w3.org/2005/rules/wiki/Conflict_resolution 19:15:32 +1 19:15:35 +1 19:15:54 http://www.w3.org/2005/rules/wg/meeting/2009-04-17 19:16:10 scribe: MichaelKifer 19:16:46 http://www.w3.org/2005/rules/wg/meeting/2009-04-17 19:16:58 core non-safeness test case 19:18:55 sandro: negative tests must be explicit as to which dialect extensions it applies to 19:20:27 A negative syntax test for PRD is be definition a negative syntax test for Core. 19:20:41 jos: changed the dialect of the example to prd from core 19:21:08 action: Stella to add note in test case document that negative tests 'go down' and positive tests "go up" 19:21:08 Created ACTION-792 - Add note in test case document that negative tests 'go down' and positive tests "go up" [on Stella Mitchell - due 2009-04-24]. 19:22:22 PROPOSED: accept http://www.w3.org/2005/rules/wiki/Core_NonSafeness 19:22:24 +1 19:22:27 +1 19:22:28 +1 19:22:31 +1 19:22:32 as a PRD case. 19:22:37 +1 19:22:38 RESOLVED: accept http://www.w3.org/2005/rules/wiki/Core_NonSafeness 19:22:50 +1 19:22:50 no need to rename. 19:27:20 +1 19:27:21 PROPOSED: accept http://www.w3.org/2005/rules/wiki/Core_NonSafeness2 19:27:23 +1 19:27:24 PROPOSED: accept http://www.w3.org/2005/rules/wiki/Core_NonSafeness_2 19:27:26 +1 19:27:44 RESOLVED: accept http://www.w3.org/2005/rules/wiki/Core_NonSafeness_2 19:31:02 PROPOSED: accept http://www.w3.org/2005/rules/wiki/Core_Safeness 19:31:03 +1 19:31:04 +1 19:31:04 +1 19:31:18 RESOLVED: accept http://www.w3.org/2005/rules/wiki/Core_Safeness 19:31:19 +1 19:31:24 +1 19:31:26 +1 19:31:52 jos: too lazy to type +1 19:33:26 +1 19:33:27 +1 19:33:29 +1 19:33:32 PROPOSED: accept http://www.w3.org/2005/rules/wiki/Core_Safeness_2 19:33:41 RESOLVED: accept http://www.w3.org/2005/rules/wiki/Core_Safeness_2 19:38:16 +1 19:38:17 +1 19:38:17 +1 19:38:17 PROPOSED: Accept http://www.w3.org/2005/rules/wiki/Core_Safeness_3 19:38:17 +1 19:38:21 +1 19:38:24 +1 19:38:29 +1 19:38:30 RESOLVED: Accept http://www.w3.org/2005/rules/wiki/Core_Safeness_3 19:38:34 +1 19:38:35 +1 19:39:55 PROPOSED: accept http://www.w3.org/2005/rules/wiki/EntailEverything 19:39:57 +1 19:39:58 +1 19:40:02 +1 19:40:03 +1 19:40:09 RESOLVED: accept http://www.w3.org/2005/rules/wiki/EntailEverything 19:40:11 +1 19:41:58 Any BLD or PRD test cases, it's a NEGATIVE SYNTAX test for Core. Otherwise, it would be marked as a Core test. 19:43:59 +1 19:44:12 PROPOSED: accept http://www.w3.org/2005/rules/wiki/Factorial_Functional 19:44:21 +1 19:44:23 +1 19:44:26 +1 19:44:30 +1 19:44:31 +1 wow it'll be hard to implement. 19:44:35 RESOLVED: accept http://www.w3.org/2005/rules/wiki/Factorial_Functional 19:44:35 +1 19:44:48 +1 19:45:52 gary: do a core version of this. 19:47:48 ACTION: GARY to write a core version of factorial 19:47:48 Created ACTION-793 - Write a core version of factorial [on Gary Hallmark - due 2009-04-24]. 19:47:59 PROPOSED: accept http://www.w3.org/2005/rules/wiki/Factorial_Relational 19:48:02 +1 19:48:03 Gary: I would expect the test-taker to manually guide how many iterations they run to get the required entailment, so it wont "run forever" 19:48:06 +1 19:48:14 +1 19:48:15 RESOLVED: accept http://www.w3.org/2005/rules/wiki/Factorial_Relational 19:48:17 +1 19:48:19 +1 19:50:02 PROPOSED: accept http://www.w3.org/2005/rules/wiki/IRI_from_IRI 19:50:03 +1 19:50:06 +1 19:50:08 +1 19:50:11 +1 19:50:12 RESOLVED: accept http://www.w3.org/2005/rules/wiki/IRI_from_IRI 19:50:13 wow, the one is totally twisted. I like it..... 19:50:22 +1 19:50:34 sandro: the previous case was nasty 19:50:49 +1 19:53:40 xmlns:foaf="http://xmlns.com/foaf/0.1/" 19:56:06 +1 19:57:25 +1 19:57:37 sandro: this test is worth living for 19:57:56 PROPOSED: accept http://www.w3.org/2005/rules/wiki/IRI_from_RDF_Literal 19:58:14 +1 19:58:17 +1 19:58:19 RESOLVED: accept http://www.w3.org/2005/rules/wiki/IRI_from_RDF_Literal 19:58:33 Before LC, we could bring in a few extra meaningful test cases, e.g. by Jos De Roo for the Euler Proof Mechanism (http://www.agfa.com/w3c/euler/): http://www.agfa.com/w3c/euler/authen.axiom.n3 20:01:04 +1 20:01:09 +1 20:01:14 sandro: So this means that in practice, to implement your test cases, you'll probably have to rename all you rif-locals 20:01:17 jos: correct. 20:01:19 PROPOSED: accept http://www.w3.org/2005/rules/wiki/Local_Constant 20:01:21 +1 20:01:25 +1 20:01:39 +1 20:01:42 RESOLVED: accept http://www.w3.org/2005/rules/wiki/Local_Constant 20:01:43 +1 20:01:43 +1 20:01:45 +1 although i don't really like it. 20:02:22 note: conclusions are not part of the document that entails them (to keep in mind for the tests that use rif:local). 20:02:43 +1 20:03:18 PROPOSED: accept http://www.w3.org/2005/rules/wiki/Local_Predicate 20:03:21 +1 20:03:21 +1 20:03:22 +1 20:03:24 +1 20:03:29 RESOLVED: accept http://www.w3.org/2005/rules/wiki/Local_Predicate 20:03:36 PROPOSED: adjourn 20:03:42 +1 20:03:56 -1 let's continue! :-) 20:04:17 PROPOSED: gang up on Axel 20:04:37 -1 on that one , then I rather accept adjourning 20:04:49 more nasty string-iri stuff: http://www.w3.org/2005/rules/wiki/Multiple_IRIs_from_String 20:04:53 rrsagent, make minutes 20:04:53 I have made the request to generate http://www.w3.org/2009/04/17-rif-minutes.html ChrisW 20:06:40 MichaelKifer has left #rif 20:10:21 AxelPolleres has left #rif 20:30:31 josb has joined #rif 20:58:00 sandro has joined #rif