14:49:10 RRSAgent has joined #rif 14:49:10 logging to http://www.w3.org/2009/04/07-rif-irc 14:49:17 rrsagent, make minutes 14:49:17 I have made the request to generate http://www.w3.org/2009/04/07-rif-minutes.html ChrisW 14:49:24 Chair: Chris Welty 14:49:33 Meeting: RIF Telecon 7-Apr-2009 14:49:50 Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2009Apr/0016.html 14:50:05 ChrisW has changed the topic to: 7 Apr RIF Telecon, Agenda http://lists.w3.org/Archives/Public/public-rif-wg/2009Apr/0016.html 14:50:21 rrsagent, make logs public 14:50:36 zakim, take up next item 14:50:36 agendum 1. "Admin" taken up [from ChrisW] 14:58:38 csma has joined #rif 15:00:12 SW_RIF()11:00AM has now started 15:00:19 +Mike_Dean 15:00:56 +??P9 15:01:09 zakim, ??P9 is me 15:01:09 +csma; got it 15:02:15 StellaMitchell has joined #rif 15:02:17 scribe: Mike Dean 15:02:21 scribenick: mdean 15:02:54 +Stella_Mitchell 15:03:03 +[IBM] 15:03:09 DaveReynolds has joined #rif 15:03:11 zakim, ibm is temporarily me 15:03:11 +ChrisW; got it 15:04:21 zakim, who is on the phone? 15:04:21 On the phone I see Mike_Dean, csma, Stella_Mitchell, ChrisW 15:04:26 +??P10 15:04:29 josb has joined #rif 15:05:12 +??P36 15:05:30 zakim, mute me 15:05:30 csma should now be muted 15:05:38 March 31 minutes: http://lists.w3.org/Archives/Public/public-rif-wg/2009Apr/att-0000/31-Mar-2009-rif-mins.html.html 15:05:51 PROPOSED: approve minutes of last week 15:05:53 zakim, unmute me 15:05:53 csma should no longer be muted 15:05:55 +Sandro 15:06:45 csma: don't remember resolution that presentation syntax should map 1:1 to xml 15:07:08 Sandro: design principle rather than resolution - not crisp 15:07:26 ... e.g. literals are 1:3 mapping 15:07:43 +Gary 15:08:32 RESOLVED: We will use Presentation Syntax, with minor changes, with a mapping table to the XML syntax. 15:08:45 ... from F2F7 15:09:11 so a mapping could be 3:12 or whatever -- a complex rule for going from a > b to a guard expression. 15:09:11 ChrisW: don't see 1:1 mentioned 15:09:36 Harold has joined #rif 15:09:37 csma: could say we prefer 1:1 rather than refer to resolution 15:09:56 Sandro: shouldn't change minutes, but clarify now 15:10:16 RESOLVED: approve minutes of last week 15:10:16 I think in the meeting we were thinking it was more-or-less a WG decision to keep things 1:1, but obviously that's not really the case. 15:10:16 +[NRCC] 15:10:40 zakim, [NRCC] is me 15:10:40 +Harold; got it 15:10:53 zakim, next item 15:10:53 agendum 2. "Liason" taken up [from ChrisW] 15:10:58 ChrisW: added issue 91 (bounded quantifiers) to agenda 15:11:30 ChrisW: rdf:txt discussion on email list 15:11:35 Gary_Hallmark has joined #rif 15:11:42 q+ 15:11:44 Jos: issues addressed, but haven't followed all email 15:11:54 Jos: ready to review 15:12:07 Sandro: also reviewer - thinks its done 15:12:22 ChrisW: 1 or 2 minor things left, but shouldn't impact reviewability 15:12:33 ChrisW: last item on agenda 15:12:37 action: josb to review rdf:text 15:12:37 Created ACTION-725 - Review rdf:text [on Jos de Bruijn - due 2009-04-14]. 15:13:23 Michael_Kifer has joined #rif 15:13:25 csma: OMG PRR beta 2 vote on-going - AB has approved, thinking about next steps 15:13:45 zakim, next item 15:13:45 I see a speaker queue remaining and respectfully decline to close this agendum, ChrisW 15:13:49 q? 15:13:51 ack c 15:13:54 zakim, next item 15:13:54 agendum 3. "F2F13" taken up [from ChrisW] 15:14:05 AxelPolleres has joined #rif 15:14:09 + +03539149aaaa 15:14:23 Sandro: ChrisW still hasn't registered 15:14:35 Sandro: 11 registered - usual suspects 15:15:07 Sandro: hope to buy lunches and snacks 15:15:15 sorry, our admin will not allow us to spend money, even if we have do it :( 15:15:29 s/have do/do have/ 15:15:39 +Michael_Kifer 15:16:07 trackbot, help 15:16:07 See http://www.w3.org/2005/06/tracker/irc for help 15:16:14 zakim, take up next item 15:16:14 agendum 4. "Action Review" taken up [from ChrisW] 15:16:15 trackbot, status? 15:17:58 http://lists.w3.org/Archives/Public/public-rif-wg/2009Mar/0140.html 15:19:22 Dave: working on syntax checker 15:20:40 Just to clarify the minutes - Dave working on applying RIF PS syntax checker to vet OWL 2 RL ruleset 15:24:31 zakim, take up next item 15:24:31 agendum 5. "Issue-67" taken up [from ChrisW] 15:24:56 ChrisW: string less-than issue 15:25:04 ... broken into 2 issues 15:25:15 ... no specific DTB predicates 15:25:22 PROPOSED: Drop string-<, string->, string-<=, string->= from DTB, closing ISSUE-67. 15:25:22 ... consensus last week 15:26:03 +[IPcaller] 15:26:21 AdrianP has joined #rif 15:26:28 -josb 15:26:43 Zakim, who is on the phone? 15:26:43 On the phone I see Mike_Dean, csma, Stella_Mitchell, ChrisW, DaveReynolds, Sandro, Gary, Harold, AxelPolleres, Michael_Kifer, [IPcaller] 15:26:44 sandro: the idea is that these are just syntactic sugar for string-compare + numeric-less-than. 15:26:49 zakim, mute me 15:26:49 csma should now be muted 15:26:55 PROPOSED: Drop string-<, string->, string-<=, string->= from DTB, closing ISSUE-67. 15:27:00 Zakim IPcaller is me 15:27:00 +1 15:27:04 no protest 15:27:05 0 15:27:14 abstain (DERI) 15:27:14 0 I'm not thrilled, but okay.... 15:27:19 0 15:27:19 +1 15:27:26 +1 15:27:27 +1 15:27:33 0 15:27:33 +??P2 15:27:38 Zakim, IPcaller is me 15:27:39 +AdrianP; got it 15:27:43 0 15:27:44 RESOLVED: Drop string-<, string->, string-<=, string->= from DTB, closing ISSUE-67. 15:27:48 +0 15:28:05 action: axel to remove string <>= from DTB 15:28:05 Created ACTION-726 - Remove string <>= from DTB [on Axel Polleres - due 2009-04-14]. 15:28:17 action: chris to close issue-67 15:28:17 Created ACTION-727 - Close issue-67 [on Christopher Welty - due 2009-04-14]. 15:28:21 rrsagent, pointer 15:28:21 See http://www.w3.org/2009/04/07-rif-irc#T15-28-21 15:28:29 zakim, next item 15:28:29 agendum 8. "Issue-93" taken up [from ChrisW] 15:29:11 ChrisW: datatype IRIs issue, includes IRIs in general (import, prefix, annotations, datatype identifiers) 15:30:41 Jos: counterintuitive that 2 IRIs denote the same datatype 15:30:54 q+ 15:31:00 Sandro: don't allow equality with datatype IRIs? 15:31:02 xsd:string=xsd:int 15:31:15 ... is always false 15:31:26 xsd:string=a 15:31:35 oftype("b",a) 15:31:39 ... is true 15:31:40 +1 to that being inconsistent and xsd:int=a being fine. 15:31:45 ack a 15:32:33 MKifer: RIF IRIs should be uninterpreted 15:32:40 ... use anyURI 15:32:40 q+ 15:33:21 ChrisW: plain literals refer to themselves 15:33:34 s/RIF IRIs/rif:iri's/ 15:33:47 Jos: can live with Michael's solution 15:34:12 oftype("x",xsd:string) 15:34:28 oftype("a","http://...string"^^anyURI) 15:35:04 q+ 15:35:04 josb: different syntax for denoting datatypes 15:35:08 we don' 15:35:10 q- 15:35:14 q+ 15:35:32 t supporte anyURI at this point, but it could be added to DTB of course. 15:36:02 Sandro: concerned about equality - nice for users, but hard to implement as translation 15:36:27 q+ 15:36:32 ack s 15:36:34 q+ 15:36:36 ack csma 15:36:49 sandro: i had been thinking the mapping between xsd and native types was done in the translator, not in the rule engine. 15:37:21 A rif:iri constant must be interpreted as a reference to one and the same object regardless of the context in which that constant occurs 15:37:25 csma: DTB says that rif:iri constant must be interpreted as 1 object regardless of context 15:37:42 Jos: can be mapped to different things in different interpretations 15:38:18 Jos: context is where it occurs - in formula - still same interpretation (in BLD document) 15:39:03 Constants in this symbol space are intended to be used in a way similar to RDF resources 15:39:32 csma: Make this sentence stronger? 15:40:11 csma: Make phrases more formal? 15:40:27 Jos: already formal in DTB document 15:40:37 isLiteralOfType("ab"^^xsd:string, a) 15:40:37 |= 15:40:37 a = "http://....string"^^xsd:anyURI 15:41:12 q? 15:41:48 zakim, mute me 15:41:48 csma should now be muted 15:41:49 ack dave 15:42:00 xsd:int [ rdfs:subClassOf -> xsd:integer ] 15:42:15 Dave: in RDFS, want to be able to make statements about datatypes 15:42:28 it seems like a subproperty to me, not a subclass. :-) 15:43:12 +1 to be able to talk about DTs. 15:43:24 Jos: nice to be able to combine RIF rules with RDF graphs 15:44:05 "1"^^xsd:int 15:44:08 |= 15:44:21 The test case I'm concerned about is p("a"^^) and =xs:string |= p("a") 15:44:29 1 # xsd:int 15:44:39 sandro: this entailment does not hold 15:44:52 allows to write datatype entailment rules (in a dialect allowing exiustentials in heads) it seems, e.g. rdfD1 15:45:19 http://www.w3.org/TR/rdf-mt/#DtypeRules 15:46:06 "1"^^xsd:int # xsd:int 15:46:07 xsd:string=a |= oftype("b",a) 15:46:26 "a"^^ 15:47:09 Josb: ^^ not evaluated 15:47:13 sandro: so it's evaluated when you're doing oftype, but not when you're doing ^^. 15:47:15 jos: right., 15:47:24 xsd:string=a, "a"^^ |= oftype("a"^^, xsd:string) 15:48:08 replace in example xsd:string w "http....string"^^anyURI 15:48:16 and the entailment still holds 15:49:28 Right, I was talking about SWC 15:49:44 rdfD1 could be emulated with skolemization in RIF BLD as: sk(?D) rdf:type ?D :- ofType(?X, ?D) ?D rd:type rdfs:Datatype. 15:50:13 ChrisW: what would we change to make this valid? 15:51:07 q+ 15:51:49 sandro: sigh, yeah, I guess it's already accepted that datatypes are treated as classes (of their value space). [[ That's so broken. it means xs:hexBinary == xs:base64Binary. Sure, they are the same "class", but they are different "properties. ]] 15:54:49 [[Sandro - having the same class extension does not mean xs:hexBinary == xsd:base64Binary, just means sameClassAs, can be different individuals and different property extensions. I claim it is not broken.]] 15:55:34 -AdrianP 15:56:29 xsd:int [ rdfs:subClassOf -> xsd:integer ] 15:59:04 "1"^^xsd 15:59:48 "1"^^xsd:int [ rdfs:type -> xsd:integer ] 16:00:07 # 16:00:50 q? 16:00:57 ack ax 16:01:12 ... 16:01:23 Axel: makes sense 16:01:57 +??P4 16:02:02 ... oftype allows writing entailment rules in RIF 16:02:11 Zakim, ??P4 is me 16:02:11 +AdrianP; got it 16:02:21 http://www.w3.org/TR/rdf-mt/#DtypeRules 16:02:31 a # ?x :- isLiteralOfType(a,?x) 16:02:44 rdfD1 could be emulated with skolemization in RIF BLD as: sk(?D) rdf:type ?D :- ofType(?X, ?D) ?D rd:type rdfs:Datatype. 16:02:44 (w/ D-Entailment) 16:03:32 q+ 16:04:08 ack jos 16:05:09 Axel: capture finite set of inference rules in RIF 16:05:20 Michael: poor practice 16:05:52 datatype(?uri) 16:06:42 ChrisW: lots of things that BLD can't do 16:06:51 ... understand 2 sides now 16:07:02 ChrisW: straw poll 16:07:41 yes 16:07:42 yes 16:07:50 -josb 16:08:31 Straw: +1: Use "anyURI" in isLiteralOfType, -1: define datatype URIs to denote themselves 16:08:40 -1 16:08:48 0 16:08:49 -1 (I want RIF BLD to express at least such Horn expressible inference rules that need datatype extraction over RDF, using anyURI would prevent this.) 16:08:52 -.333333 16:08:56 -0.8 16:08:56 -1 16:09:03 +??P2 16:09:14 -1 16:09:27 -0.5 16:09:34 +1 16:10:09 Michael: object, because it would require quite a few changes just to accommodate 1 builtin 16:10:19 ChrisW: problem still exists 16:11:07 Michael: rif:iri's are by definition supposed to be uninterpreted - could introduce another symbol space 16:11:12 Jos: can define it differently 16:11:27 Michael: notion of datatype isn't extensible 16:11:27 The built-in is anyways already an "amputed" version of SPARQL's datatype()-built-in ... if we go with anyURI, it is making even less sense to me. 16:12:15 Jos: hadn't thought of extensibility issue - nasty 16:13:00 ... get rid of isLiteralOfType based on new information? 16:13:06 q? 16:13:38 ... different ways of referring to datatype inelegant 16:14:14 Michael: RIF pure logic, RDF evolving syntax 16:14:46 ChrisW: want to move on, but not lose state 16:14:52 action: michael to summarize objection to iris denoting themselves in email 16:14:52 Sorry, amibiguous username (more than one match) - michael 16:14:52 Try using a different identifier, such as family name or username (eg. msintek, mkifer, merdmann) 16:14:59 zakim, take up next item 16:14:59 agendum 9. "Issue-95" taken up [from ChrisW] 16:15:24 ChrisW: list datatype issue 16:15:42 action: mkifer to summarize objection to iris denoting themselves in email 16:15:42 Created ACTION-728 - Summarize objection to iris denoting themselves in email [on Michael Kifer - due 2009-04-14]. 16:15:47 the issue is: fixin the semantics on new datatypes in new rule-sets may hamper "forward"-compatibility (not sure whether that is the right term here) w.r.t. datasets not having those additional datatypes in mind, yes? 16:16:10 ChrisW: defer lists due to time 16:16:18 zakim, list agenda 16:16:18 I see 4 items remaining on the agenda: 16:16:19 9. Issue-95 [from ChrisW] 16:16:19 10. Issue-94 [from ChrisW] 16:16:21 11. rdf:text [from ChrisW] 16:16:21 12. AOB [from ChrisW] 16:16:30 zakim, take up item 7 16:16:30 agendum 7. "Issue-91" taken up [from ChrisW] 16:16:55 ChrisW: bounded quantifiers 16:17:02 hmmm, asking myself whether the behaviour I would want could be "hidden" better in the semantics definition of isOfDatatype alone, without affecting datatypes. 16:17:08 ... weak support - no objections to dropping requirement 16:17:09 PROPOSED: CORE will not have bounded quantifiers, closing ISSUE-91. 16:17:21 +1 16:17:29 or maybe +0 16:17:32 zakim, unmute me 16:17:32 csma should no longer be muted 16:17:35 no objections 16:17:36 +1 16:17:41 +1 16:17:43 +1 16:17:43 +1 16:17:43 +1 16:17:44 +1 16:17:46 +0 they would have been nice, but it's not practical right now. 16:17:48 +1 16:18:29 +1 16:18:45 some future Core (Core 2.0) might have it, but this Core wont have it.... We don't have time. 16:18:55 csma: considered deferring without closing 16:18:59 RESOLVED: CORE will not have bounded quantifiers, closing ISSUE-91. 16:19:12 action: chris to close issue-91 16:19:12 Created ACTION-729 - Close issue-91 [on Christopher Welty - due 2009-04-14]. 16:19:46 Sandro: consider starting wish list for future WG 16:19:51 zakim, take up item 10 16:19:51 agendum 10. "Issue-94" taken up [from ChrisW] 16:20:03 zakim, take up item 11 16:20:03 agendum 11. "rdf:text" taken up [from ChrisW] 16:20:48 Axel: Boris and Axel tried to resolve all open issues 16:20:59 ... only 3 at risk notes left in document 16:21:10 Feature At Risk #1: Usage of rtfn: 16:21:23 Feature At Risk #2: rtfn:compare 16:21:33 Feature At Risk #3: rtfn:length 16:21:56 ... can be emulated using existing functions 16:21:58 q+ to ask about namespace thing 16:22:10 q+ 16:22:24 ack sandro 16:22:24 sandro, you wanted to ask about namespace thing 16:22:41 Sandro: what are different options? 16:22:42 rdf:text editing: I see lots of undefined characters 16:23:01 Axel: don't see other options at this point 16:23:02 q- 16:23:33 Sandro: prefer removing At Risk #1 16:23:57 I would support removing them as well 16:23:58 Sandro: willing to remove compare and length functions - XPath 3.0 can add them later 16:24:10 ChrisW: would at least document that 16:24:25 I actually thought there was a consensus about removing them on the rdf-text list 16:24:31 Sandro: obvious for XPath 3 16:25:06 Axel: no telecon where we formally agreed 16:25:20 ... can resolve here from RIF side 16:25:36 Sandro: OWL doesn't care about builtins 16:25:43 I would support this 16:26:16 Axel: fine to drop compare and length if decided here 16:26:40 or ever... 16:27:34 Sandro: keep at risk 2 and 3 and see if we get any feedback 16:27:43 sandro: let's keep length & compare as At Risk, for now. 16:27:51 Axel: agreed 16:28:13 PROPOSED: Keep rtfn:compare and rtfn:length as AT RISK 16:28:19 +1 16:28:20 +1 16:28:21 +1 16:28:25 0 16:28:27 +1 16:28:27 +1 16:28:28 +1 16:28:29 0 16:28:32 0 16:28:38 RESOLVED: Keep rtfn:compare and rtfn:length as AT RISK 16:29:00 http://www.w3.org/2009/rdf-text-functions 16:29:25 Sandro: need Director approval for namespace - shouldn't be a problem 16:29:43 q+ 16:29:49 action: axel to remove at risk comment on rtfn: namespace and check with OWL WG 16:29:49 Created ACTION-730 - Remove at risk comment on rtfn: namespace and check with OWL WG [on Axel Polleres - due 2009-04-14]. 16:30:00 ack csma 16:30:16 issue-86? 16:30:16 ISSUE-86 -- rdf:text implies change to SPARQL -- OPEN 16:30:16 http://www.w3.org/2005/rules/wg/track/issues/86 16:30:19 issue-87? 16:30:19 ISSUE-87 -- rdf:text document reinterprets xs:string as a subtype of rdf:text -- OPEN 16:30:19 http://www.w3.org/2005/rules/wg/track/issues/87 16:30:23 csma: impact on issues 86 and 87? 16:30:56 +1 go 5 more minutes 16:30:59 PROPOSED: extend for 5 mins 16:31:10 q+ 16:31:32 http://www.w3.org/2005/rules/wg/track/issues/86 16:31:43 q- 16:31:48 http://www.w3.org/2005/rules/wg/track/issues/87 16:32:15 -Harold 16:32:18 Axel: asked SPARQL WG for review 16:32:44 Sandro: no change required for SPARQL 16:32:44 PROPOSED: Close ISSUE-86 and ISSUE-87, addressed by the current text of http://www.w3.org/2007/OWL/wiki/InternationalizedStringSpec 16:32:52 +1 16:32:57 +1 16:33:14 ChrisW: try to close 86 and 87 next week 16:33:23 Sandro: no telecon next week 16:33:25 NO TELECON NEXT WEEK. F2F13 the next day. 16:33:28 actioN: chris to send message about no telecon next week 16:33:28 Created ACTION-731 - Send message about no telecon next week [on Christopher Welty - due 2009-04-14]. 16:33:51 csma: put on agenda for F2F 16:34:10 -AdrianP 16:34:10 ChrisW: no other business 16:34:13 adjourn 16:34:14 -josb 16:34:15 -Stella_Mitchell 16:34:16 -Gary 16:34:18 -AxelPolleres 16:34:23 -DaveReynolds 16:34:27 -Michael_Kifer 16:34:35 Regrets: LeoraMorgenstern 16:34:40 zakim, list attendees 16:34:40 As of this point the attendees have been Mike_Dean, csma, Stella_Mitchell, ChrisW, DaveReynolds, josb, Sandro, Gary, Harold, +03539149aaaa, AxelPolleres, Michael_Kifer, AdrianP 16:34:46 rrsagent, make minutes 16:34:46 I have made the request to generate http://www.w3.org/2009/04/07-rif-minutes.html ChrisW 16:35:11 -Mike_Dean 16:42:37 -ChrisW 16:42:38 -Sandro 16:42:39 SW_RIF()11:00AM has ended 16:42:40 Attendees were Mike_Dean, csma, Stella_Mitchell, ChrisW, DaveReynolds, josb, Sandro, Gary, Harold, +03539149aaaa, AxelPolleres, Michael_Kifer, AdrianP 17:00:10 csma has left #rif