14:53:37 RRSAgent has joined #rif 14:53:37 logging to http://www.w3.org/2007/09/18-rif-irc 14:53:49 zakim, this will be rif 14:53:49 ok, ChrisW; I see SW_RIF()11:00AM scheduled to start in 7 minutes 14:53:59 zakim, this will be rif 14:53:59 ok, ChrisW; I see SW_RIF()11:00AM scheduled to start in 7 minutes 14:53:59 Meeting: RIF Telecon 14:54:06 zakim, this will be rif 14:54:06 ok, ChrisW; I see SW_RIF()11:00AM scheduled to start in 6 minutes 14:54:06 Meeting: RIF Telecon 14:54:17 Meeting: RIF Telecon 18 Sept 2007 14:54:27 Chair: Chris Welty 14:54:44 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2007Sep/0093.html 14:54:55 Scribe: Adrian Giurca 14:55:28 rrsagent, make minutes 14:55:28 I have made the request to generate http://www.w3.org/2007/09/18-rif-minutes.html ChrisW 14:55:36 zakim, clear agenda 14:55:36 agenda cleared 14:55:46 agenda+ Admin 14:55:52 agenda+ Liason 14:55:56 agenda+ F2F 14:56:07 agenda+ BLD - RDF 14:56:19 agenda+ Arch - XML Syntax 14:56:26 agenda+ AOB 14:56:35 zakim, take up item 1 14:56:35 agendum 1. "Admin" taken up [from ChrisW] 14:56:43 rrsagent, make logs public 14:58:20 patranja has joined #rif 14:59:50 DaveReynolds has joined #rif 15:00:13 Hassan has joined #rif 15:00:16 SW_RIF()11:00AM has now started 15:00:17 +Dave_Reynolds (was Guest P16 74394) 15:00:22 +Dave_Reynolds 15:00:47 +Hassan_Ait-Kaci 15:00:56 AxelPolleres has joined #rif 15:01:12 Harold has joined #rif 15:01:15 +[IBM] 15:01:16 zakim, [ibm] is temporarily me 15:01:16 +ChrisW; got it 15:01:26 StellaMitchell has joined #rif 15:01:29 zakim, who is on the phone? 15:01:33 On the phone I see Dave_Reynolds, Hassan_Ait-Kaci (muted), ChrisW 15:02:12 +[NRCC] 15:02:30 +??P38 15:02:44 josb has joined #rif 15:02:45 zakim, [NRCC] is me 15:02:45 Zakim, ??P38 is me 15:02:50 +Harold; got it 15:02:52 +AxelPolleres; got it 15:02:54 +josb 15:03:12 +[IBM] 15:03:18 +Sandro 15:03:23 zakim, [ibm] is temporarily me 15:03:26 + +1.443.539.aaaa 15:03:34 +StellaMitchell; got it 15:03:38 +PaulaP 15:03:47 zakim, who is on the phone? 15:03:52 On the phone I see Dave_Reynolds, Hassan_Ait-Kaci (muted), ChrisW, Harold, AxelPolleres (muted), josb, StellaMitchell, Sandro, +1.443.539.aaaa, +49.892.1.aacc 15:04:17 agiurca has joined #rif 15:04:35 +DougL 15:04:47 Doug has joined #rif 15:05:00 zakim aaaa is me 15:05:12 AdrianP has joined #rif 15:05:12 zakim, aaaa is me 15:05:12 +AllenGinsberg; got it 15:05:13 :) 15:05:17 :-D 15:05:42 + +1.410.290.aabb 15:05:42 agiurca is Adrian Giurca 15:06:06 adrian G are you here? 15:06:42 mdean has joined #rif 15:06:48 yes 15:06:50 zakim, aabb is mdean 15:06:50 +mdean; got it 15:06:56 I'll be on the phone too 15:07:07 adrian, you had agreed to scribe today? 15:07:10 and I will scribe 15:07:27 http://lists.w3.org/Archives/Public/public-rif-wg/2007Sep/att-0085/11-sept-07-rif-minutes.html 15:07:42 + +1.703.243.aacc 15:07:46 RESOLVED: accept Sept 11 minutes 15:07:54 Deborah_Nichols has joined #rif 15:08:06 + +49.351.6.aadd 15:08:14 zakim, aacc is Deborah_Nichols 15:08:14 sorry, ChrisW, I do not recognize a party named 'aacc' 15:08:35 zakim, who is on the phone? 15:08:35 On the phone I see Dave_Reynolds, Hassan_Ait-Kaci (muted), ChrisW, Harold, AxelPolleres (muted), josb, StellaMitchell (muted), Sandro, AllenGinsberg, PaulaP (muted), DougL, mdean, 15:08:38 ... +1.703.243.aaff, +49.351.6.aagg 15:08:44 +agiurca 15:08:49 zakim, aaff is Deborah_Nichols 15:08:49 +Deborah_Nichols; got it 15:09:02 scribenick: agiurca 15:09:11 zakim, who is on the phone? 15:09:11 On the phone I see Dave_Reynolds, Hassan_Ait-Kaci (muted), ChrisW, Harold, AxelPolleres (muted), josb, StellaMitchell (muted), Sandro, AllenGinsberg, PaulaP (muted), DougL, mdean, 15:09:13 zakim, mute me 15:09:14 ... Deborah_Nichols, +49.351.6.aagg, [TU-Cottbus] 15:09:16 sorry, agiurca, I do not know which phone connection belongs to you 15:09:20 zakim, aadd is me 15:09:20 sorry, AdrianP, I do not recognize a party named 'aadd' 15:09:39 zakim, aagg is me 15:09:39 +agiurca; got it 15:09:51 zakim, mute me 15:09:51 agiurca should now be muted 15:10:55 Zakim, aadd is me 15:10:55 sorry, AdrianP, I do not recognize a party named 'aadd' 15:11:09 no 15:11:12 yes :) 15:11:18 +Gary_Hallmark 15:11:36 zakim, aadd is AdrianP 15:11:36 sorry, agiurca, I do not recognize a party named 'aadd' 15:11:49 zakim, close item 2 15:11:49 agendum 2, Liason, closed 15:11:50 I see 4 items remaining on the agenda; the next one is 15:11:53 3. F2F [from ChrisW] 15:11:56 zakim, take up item 3 15:11:56 agendum 3. "F2F" taken up [from ChrisW] 15:12:09 LeoraMorgenstern has joined #rif 15:12:31 IgorMozetic has joined #rif 15:12:37 Zakim, aadd is me 15:12:38 sorry, AdrianP, I do not recognize a party named 'aadd' 15:12:55 ChrisW: F2F8 in Nov. 5-6 , Boston 15:13:03 +??P46 15:13:12 zakim, ??P46 is me 15:13:12 +LeoraMorgenstern; got it 15:13:13 +??P57 15:13:16 zakim, mute me 15:13:16 LeoraMorgenstern should now be muted 15:13:25 zakim, ??P57 is me 15:13:25 +IgorMozetic; got it 15:14:49 zakim, mute me 15:14:49 IgorMozetic should now be muted 15:15:45 zakim, next item 15:15:47 agendum 4. "BLD - RDF" taken up [from ChrisW] 15:16:03 zakim, who is on the phone? 15:16:03 On the phone I see Dave_Reynolds, Hassan_Ait-Kaci (muted), ChrisW, Harold, AxelPolleres (muted), josb, StellaMitchell (muted), Sandro, AllenGinsberg, PaulaP (muted), DougL, mdean, 15:16:06 ... Deborah_Nichols, agiurca (muted), [TU-Cottbus], Gary_Hallmark, LeoraMorgenstern (muted), IgorMozetic (muted) 15:16:34 http://www.w3.org/2005/rules/wg/wiki/Core/RIF-RDF_Compatibility 15:18:03 q+ 15:19:05 MichaelKifer has joined #rif 15:19:24 -agiurca 15:19:46 zakim, [TU-Cottbus] is me 15:19:46 +agiurca; got it 15:20:19 +agiurca.a 15:21:14 +Michael_Kifer 15:21:22 zakim, mute me 15:21:22 Michael_Kifer should now be muted 15:21:26 Couldn't the 'extension rules' always be specified in a fixed subset of BLD? 15:21:59 (independent of the BLD dialects) 15:22:42 q? 15:23:23 josb: This combination has his own semantics 15:23:47 josb: the semantics is an extension of BLD and RDF semantics 15:24:43 q+ 15:24:54 q- 15:24:54 q+ 15:24:59 q? 15:25:03 ack dave 15:27:36 zakim, unmute me 15:27:36 Michael_Kifer should no longer be muted 15:27:43 ack michael 15:28:49 q+ 15:28:55 MichaelKifer: Embeding do not need any new task 15:29:29 -mdean 15:29:38 MichaelKifer: You need an embedding in oder to use RDF and RIF together 15:30:09 MichaelKifer: Otherwise you have to implement another language that extend both RIF and RDF 15:30:28 MichaelKifer: Embedding is the only thing that we need 15:30:59 josb: Explain why we need a new language in oder to use RDF and RIF together 15:31:32 GaryHallmark has joined #rif 15:31:41 from our charter (not sure whether directly related): "Note that the natural overlap in expressivity between this language and RDF means this syntax should function as an alternative XML serialization for RDF Graphs (or at least a subset of RDF Graphs)." 15:31:45 MichaelKifer: Without embedding people have to implement all kind of translations 15:32:12 +1 with MK ... 15:32:12 josb: is the embedding just a syntactic representation of RDF in RIF? 15:32:28 +1 with MichaelKifer solution 15:33:37 MichaelKifer: We need just embedding and model theory is redundant 15:33:41 q? 15:34:05 q+ 15:34:09 zakim, mute me 15:34:09 Michael_Kifer should now be muted 15:34:11 ack j 15:34:12 MichaelKifer: Otherwise the users must decide how to do the embedding 15:34:50 josb: another argument in favor of model theoretic approach is that this is according with W3C recommendations 15:35:22 zakim, unmute me 15:35:22 Michael_Kifer should no longer be muted 15:35:28 q+ 15:35:32 josb: You can do reasoning with RDF using this embedding. If you have the embedding you don't extend the existing RDF semantics 15:36:26 josb: My proposal is to do everything with model theory 15:37:17 ack me 15:37:18 josb: Otherwise you need specific rule sets or specific constructs for queries... 15:38:30 MichaelKifer: Even with model theory you have to check consistency 15:38:33 +++1 for MK's point! 15:38:38 q? 15:38:41 ack m 15:39:04 +1 to Michael's comment 15:39:06 MichaelKifer: Embedding is simple and straightforward to explain to people 15:39:15 q+ 15:39:23 q? 15:39:25 zakim, mute me 15:39:25 Michael_Kifer should now be muted 15:39:26 ack josb 15:39:27 q- 15:40:43 q+ 15:41:05 q+ 15:41:23 JeffP has joined #rif 15:41:34 sorry for the late 15:41:44 ChrisW: I guess examples are good to illustrate both approaches and they are desirable 15:42:21 + +012242aaee 15:42:44 zakim, +012242aaee is me 15:42:44 +JeffP; got it 15:42:46 zakim, unmute me 15:42:46 Michael_Kifer should no longer be muted 15:43:20 q+ 15:43:24 q? 15:44:51 josb: There is a second point: the relation with RDF semantics document 15:45:27 josb: First we have to decide about the OWL - RIF compatibility 15:45:34 zakim, mute me 15:45:34 Michael_Kifer should now be muted 15:45:36 ack igor 15:46:10 IgorMozetic: Josb What is the vision of the implementation? 15:46:21 josb: the implementation uses embedding 15:46:45 IgorMozetic: So, you need embedding anyway 15:46:53 josb: No you don't need that 15:47:11 ack jos 15:47:17 ack hassan 15:47:41 Hassan_Ait-Kaci: I just want to emphasise the Michael Kifer point 15:47:52 q+ to say redundancy isn't necessarily bad. readers don't have to read both -- just the one they want. 15:48:06 Hassan_Ait-Kaci: the embedding is straightforward for the most users of Prolog... 15:49:26 Hassan_Ait-Kaci: most RDF users do not uses the semantics 15:50:08 Hassan_Ait-Kaci: RDF grapth is just a data structure 15:50:09 q? 15:50:21 q+ 15:51:06 +1 for hassan points. for RIF, RDF is a data model 15:51:31 q-, +1 with sandro here. 15:51:39 q- 15:52:03 Adrian, Hassan - the embedding proposal proposes embedding the semantics (as rules) not just as a data structure 15:52:24 zakim, unmute me 15:52:24 Michael_Kifer should no longer be muted 15:53:00 Michael_Kifer: making embedding normative will establish how RIF works with RDF 15:53:50 q? 15:54:29 Dave, this is like in Jena no? That's why the embedding is sufficient 15:54:52 q+ 15:55:10 ack sandro 15:55:10 sandro, you wanted to say redundancy isn't necessarily bad. readers don't have to read both -- just the one they want. 15:55:40 ack DaveReynolds 15:57:46 q+ 16:00:39 q+ 16:00:48 sandro has joined #rif 16:00:55 Michael_Kifer: I propose to split the document in two parts 16:01:28 +1 to separate documents eventually 16:01:43 ... and keeping model theory. 16:01:44 Michael_Kifer: I don not want the model theory in the sample document 16:02:19 we are also chartered to produce an OWL compatibility doc; RDF compatibility should also go in there 16:02:20 zakim, mute me 16:02:20 Michael_Kifer should now be muted 16:02:32 q+ 16:02:34 +1 to have two docs 16:02:41 q- 16:02:44 zakim, mute me 16:02:44 Michael_Kifer was already muted, MichaelKifer 16:02:48 zakim, next item 16:02:48 I see a speaker queue remaining and respectfully decline to close this agendum, ChrisW 16:02:52 Michael seems to say: we dont want an extra barrier to entry. 16:02:52 q? 16:02:58 axk Harold 16:03:01 ack hassan 16:03:08 (I didn't feel Chris' summary addressed the issue of DaveReynolds's point about reverse engineering.) 16:03:49 Hassan_Ait-Kaci: An example might be a rule set which us metaprogramming... 16:03:51 ack axel 16:04:21 q+ 16:04:43 AxelPolleres: we might not know now which of the approaches is more complex 16:04:59 zakim, unmute me 16:04:59 Michael_Kifer should no longer be muted 16:05:08 AxelPolleres: I think we need two documents 16:05:39 q+ 16:05:40 zakim, mute me 16:05:42 Michael_Kifer should now be muted 16:06:21 q- 16:06:28 josb: we are also chartered to produce an OWL compatibility doc; RDF compatibility should also go in there 16:06:31 Well, there is a lot of stuff which people who only need to use bld wouldn't need to care about (e.g. multiple truth values, etc.) 16:06:33 q- 16:07:10 zakim, unmute me 16:07:10 Michael_Kifer should no longer be muted 16:07:11 (I agree --- the Charter doesn't tell us how we need to organize our text into documents.) 16:07:11 chrisW: we don't really need a separate document on compatibility. We can just need to address compatibility with both RDF and OWL 16:08:17 Could an intermediate solution be putting the model theory in an appendix and refferring to from the rules (stating that these are derivable from the model theory?) 16:08:25 zakim, mute me 16:08:25 Michael_Kifer should now be muted 16:08:33 q? 16:08:39 zakim, next item 16:08:40 agendum 5. "Arch - XML Syntax" taken up [from ChrisW] 16:09:28 -> http://www.w3.org/2005/rules/wg/wiki/Arch/XML_Syntax_Issues_2 16:09:35 zakim, mute Deborah_Nichols 16:09:35 Deborah_Nichols should now be muted 16:09:37 zakim, mute me 16:09:37 agiurca should now be muted 16:10:14 I did read it 16:10:16 I have glanced through it 16:10:22 have had a glance today. 16:10:25 I have glanced thru it 16:10:25 Not in the last 2 hours!! 16:10:26 I skimmed it 16:10:30 not yet 16:10:59 i did 16:12:25 q+ 16:12:36 q? 16:12:53 q+ 16:12:59 q+ 16:13:55 Harold: It was a little time to study the document since it was updated just two hours ago 16:13:57 Harold - OWL is not based on RDF/XML it is a based on RDF that was the problem, Sandro's proposal is not for an RDF serialization 16:15:12 -1 for rdf/xml 16:15:29 DaveR, it's instructive to re-read: http://www.daml.org/listarchive/joint-committee/1635.html 16:16:26 It is not clear why we should go for RDF/XML 16:16:35 q+ 16:16:42 q- 16:16:47 yes, there can be confusion RDF as syntax for RIF and RDF as data set/model for RIF rules 16:16:53 zakim, unmute me 16:16:53 Michael_Kifer should no longer be muted 16:16:58 +1 to Axel's comment 16:17:00 s/confusion/confusion between/ 16:17:11 ack MichaelKifer 16:17:15 ack josb 16:17:16 q- 16:17:17 ack acel 16:17:22 ack AxelPolleres 16:17:26 q- 16:17:37 zakim, mute me 16:17:37 Michael_Kifer should now be muted 16:21:53 Human-readable greaterThan(?diffdate 10), if greaterThan is a SWRL Built-In, 16:21:53 should become serialized as (since full striping was decided): 16:21:53 16:21:53 greaterThan 16:21:53 diffdate 16:21:54 10 16:21:56 16:22:43 q+ (not asking about RDF syntax, promise! ;-) ) 16:22:56 q+ 16:23:09 is there a difference between "local named constants" and "literal data values"? 16:23:46 Harold - how can http://www.w3.org/Submission/SWRL/#8.1 be the iri for greaterThan? 16:24:08 It's currently the most fine-grained we have. 16:25:05 For more completeness, we could create: iri="http://www.w3.org/Submission/SWRL/8.1/#greaterThan" 16:25:08 May be http://www.w3.org/2003/11/swrlb#greaterThan 16:25:21 q+ 16:25:21 Harold - so what's the relation between the IRI and the element content (i.e. "greaterThan") 16:25:21 but is the same ideea of course 16:25:37 I proposed: &op;numeric-greater-than 16:26:14 ... which would however require us to provide a namespace for the op: prefix used in the XPath-functions document 16:26:26 You point to the specifying passage of the official document. 16:26:51 q? 16:26:55 ack axel 16:26:59 ack Hassan 16:27:31 Note that I ran in pretty many of the mentioned issues in: http://www.w3.org/2005/rules/wg/wiki/UC10_Worked_Example 16:27:33 Hassan_Ait-Kaci: local names follow a scoping mechanism 16:27:49 q- 16:28:07 q+ 16:28:28 +1 to Hassan: also in the draft we already have a notion of rif:local . 16:28:59 "Basic RIF logic also defines two additional symbol spaces, rif:iri (for international resource identifier or IRI) and rif:local (for constant symbols that are not visible outside of a particular set of RIF formulas)." 16:29:03 q? 16:29:08 q? 16:29:13 zakim, unmute me 16:29:13 Michael_Kifer should no longer be muted 16:29:52 Michael_Kifer: There is already a syntax of these in the current document. There is no need for special elements for the local and global names 16:30:00 The XML syntax should reflect the spec 16:30:28 q- 16:30:37 zakim, mute me 16:30:37 Michael_Kifer should now be muted 16:30:38 There's already 49 in . 16:30:46 zakim, next item 16:30:48 agendum 6. "AOB" taken up [from ChrisW] 16:30:58 zakim, unmute me 16:30:58 agiurca should no longer be muted 16:30:59 bye 16:31:00 +1 16:31:01 -Deborah_Nichols 16:31:02 bye 16:31:02 -AllenGinsberg 16:31:03 -Harold 16:31:03 PaulaP has left #rif 16:31:04 -IgorMozetic 16:31:05 -StellaMitchell 16:31:06 -Gary_Hallmark 16:31:07 -PaulaP 16:31:08 -LeoraMorgenstern 16:31:10 zakim, list attendees 16:31:10 -Hassan_Ait-Kaci 16:31:11 -JeffP 16:31:12 -josb 16:31:14 -Dave_Reynolds 16:31:16 As of this point the attendees have been Dave_Reynolds, Hassan_Ait-Kaci, ChrisW, Harold, AxelPolleres, josb, Sandro, +1.443.539.aaaa, StellaMitchell, PaulaP, DougL, AllenGinsberg, 16:31:19 ... +1.410.290.aabb, mdean, +1.703.243.aacc, +49.351.6.aadd, agiurca, Deborah_Nichols, Gary_Hallmark, LeoraMorgenstern, IgorMozetic, Michael_Kifer, JeffP 16:31:22 -Michael_Kifer 16:31:24 -DougL 16:31:26 -agiurca.a 16:31:28 -Sandro 16:31:30 -AxelPolleres 16:31:36 rrsagent, make minutes 16:31:36 I have made the request to generate http://www.w3.org/2007/09/18-rif-minutes.html ChrisW 16:32:00 -ChrisW 16:32:01 -agiurca 16:32:03 SW_RIF()11:00AM has ended 16:32:05 Attendees were Dave_Reynolds, Hassan_Ait-Kaci, ChrisW, Harold, AxelPolleres, josb, Sandro, +1.443.539.aaaa, StellaMitchell, PaulaP, DougL, AllenGinsberg, +1.410.290.aabb, mdean, 16:32:10 ... +1.703.243.aacc, +49.351.6.aadd, agiurca, Deborah_Nichols, Gary_Hallmark, LeoraMorgenstern, IgorMozetic, Michael_Kifer, JeffP 16:32:29 Regrets: PaulVincent 16:32:33 rrsagent, make minutes 16:32:33 I have made the request to generate http://www.w3.org/2007/09/18-rif-minutes.html ChrisW 16:35:27 PaschkeA has joined #rif