IRC log of rif on 2009-06-23
Timestamps are in UTC.
- 14:52:37 [RRSAgent]
- RRSAgent has joined #rif
- 14:52:37 [RRSAgent]
- logging to http://www.w3.org/2009/06/23-rif-irc
- 14:52:44 [ChrisW]
- zakim, this will be rif
- 14:52:44 [Zakim]
- ok, ChrisW; I see SW_RIF()11:00AM scheduled to start in 8 minutes
- 14:52:50 [ChrisW]
- Chair: Chris Welty
- 14:53:01 [ChrisW]
- Meeting: RIF Telecon 23-Jun-2009
- 14:53:19 [ChrisW]
- Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2009Jun/0099.html
- 14:53:30 [ChrisW]
- ChrisW has changed the topic to: 23 June RIF Telecon, Agenda http://lists.w3.org/Archives/Public/public-rif-wg/2009Jun/0099.html
- 14:53:47 [ChrisW]
- zakim, clear agenda
- 14:53:47 [Zakim]
- agenda cleared
- 14:53:55 [ChrisW]
- agenda+ Admin
- 14:53:59 [ChrisW]
- agenda+ Liason
- 14:54:03 [ChrisW]
- agenda+ Action Review
- 14:54:47 [ChrisW]
- agenda+ Publications
- 14:54:47 [ChrisW]
- agenda+ Test Cases
- 14:54:47 [ChrisW]
- agenda+ AOB
- 14:54:47 [ChrisW]
- zakim, next item
- 14:54:49 [Zakim]
- agendum 1. "Admin" taken up [from ChrisW]
- 14:54:51 [ChrisW]
- zakim, what's up with you brother?
- 14:54:51 [Zakim]
- I don't understand your question, ChrisW.
- 14:56:20 [hak]
- hak has joined #rif
- 14:57:05 [ChrisW]
- hi hassan
- 14:57:15 [ChrisW]
- rrsagent, make minutes
- 14:57:15 [RRSAgent]
- I have made the request to generate http://www.w3.org/2009/06/23-rif-minutes.html ChrisW
- 14:57:24 [ChrisW]
- rrsagent, make logs public
- 14:58:07 [Zakim]
- SW_RIF()11:00AM has now started
- 14:58:14 [Zakim]
- +Hassan_Ait-Kaci
- 14:58:39 [ChrisW]
- hassan can you scribe?
- 14:58:49 [hak]
- ok
- 14:58:53 [ChrisW]
- Scribe: Hassan
- 14:58:57 [ChrisW]
- scribenick: hak
- 14:59:09 [ChrisW]
- zakim, Hassan_Ait_Kaci is hak
- 14:59:09 [Zakim]
- sorry, ChrisW, I do not recognize a party named 'Hassan_Ait_Kaci'
- 14:59:11 [hak]
- I can't hear anything on the phone !
- 14:59:16 [ChrisW]
- zakim, Hassan_Ait-Kaci is hak
- 14:59:16 [Zakim]
- +hak; got it
- 14:59:29 [hak]
- I'll call again ...
- 14:59:35 [Zakim]
- -hak
- 14:59:36 [Zakim]
- SW_RIF()11:00AM has ended
- 14:59:36 [Zakim]
- Attendees were hak
- 14:59:49 [Zakim]
- SW_RIF()11:00AM has now started
- 14:59:57 [Zakim]
- +[IBM]
- 15:00:04 [ChrisW]
- zakim, ibm is temporarily me
- 15:00:04 [Zakim]
- +ChrisW; got it
- 15:00:38 [Zakim]
- +hak
- 15:00:45 [ChrisW]
- zakim, Hassan_Ait-Kaci is hak
- 15:00:45 [Zakim]
- sorry, ChrisW, I do not recognize a party named 'Hassan_Ait-Kaci'
- 15:01:47 [StellaMitchell]
- StellaMitchell has joined #rif
- 15:04:12 [Zakim]
- +Stella_Mitchell
- 15:04:34 [Zakim]
- +[NRCC]
- 15:04:58 [LeoraMorgenstern]
- LeoraMorgenstern has joined #rif
- 15:05:02 [Harold]
- Harold has joined #rif
- 15:05:06 [csma]
- csma has joined #rif
- 15:05:33 [ChrisW]
- http://lists.w3.org/Archives/Public/public-rif-wg/2009Jun/att-0050/RIF-minutes-telecon-9-jun-09.html
- 15:05:40 [ChrisW]
- PROPOSED: Approve last week's minutes
- 15:05:44 [Zakim]
- +Leora_Morgenstern
- 15:05:52 [ChrisW]
- RESOLVE: Approve last week's minutes
- 15:06:02 [ChrisW]
- RESOLVED: Approve last week's minutes
- 15:06:28 [ChrisW]
- agenda+ Mime types and acknowledgements
- 15:06:39 [ChrisW]
- zakim, next item
- 15:06:39 [Zakim]
- agendum 2. "Liason" taken up [from ChrisW]
- 15:07:09 [Zakim]
- +csma
- 15:07:10 [AxelPolleres]
- dialing.
- 15:07:47 [ChrisW]
- zakim, next item
- 15:07:47 [Zakim]
- agendum 3. "Action Review" taken up [from ChrisW]
- 15:07:57 [hak]
- OWL WG report ... (Axel no yet connected ChrisW supping up) document is at Call for implementation phase
- 15:07:57 [Zakim]
- +AxelPolleres
- 15:08:10 [hak]
- s/supp/summ/
- 15:08:52 [hak]
- Axel: SPARQL WG reports on status ...
- 15:09:45 [Zakim]
- +Gary
- 15:09:59 [Gary_Hallmark]
- Gary_Hallmark has joined #rif
- 15:14:56 [csma]
- zakim, mute me
- 15:14:56 [Zakim]
- csma should now be muted
- 15:16:00 [ChrisW]
- zakim, next item
- 15:16:00 [Zakim]
- agendum 4. "Publications" taken up [from ChrisW]
- 15:16:21 [ChrisW]
- PROPOSED: Switch the safeness definition, in Core, from the tree-decomposition one to the bottom-up one
- 15:17:09 [Gary]
- +1
- 15:17:22 [StellaMitchell]
- +1
- 15:17:29 [AxelPolleres]
- q+
- 15:17:30 [hak]
- +0
- 15:17:34 [ChrisW]
- +1
- 15:17:40 [Harold]
- +1
- 15:18:23 [LeoraMorgenstern]
- I am just wondering whether the definition is sufficiently concrete.
- 15:18:33 [LeoraMorgenstern]
- (That is, the safeness definition.)
- 15:18:52 [LeoraMorgenstern]
- I think it could be reworded to be more in line with standard "mathspeak"
- 15:18:52 [csma]
- q+
- 15:19:03 [csma]
- ack axel
- 15:19:04 [AxelPolleres]
- ack me
- 15:19:08 [AxelPolleres]
- +1
- 15:19:16 [csma]
- ack csma
- 15:20:05 [ChrisW]
- RESOLVED: Switch the safeness definition, in Core, from the tree-decomposition one to the bottom-up one
- 15:20:12 [hak]
- Axel: not had time to read thoroughly CSMA's new safeness definition - it looks ok but not sure that how it interferes with all other defs
- 15:20:13 [AxelPolleres]
- csma, sounds good to me!
- 15:20:36 [csma]
- zakim, mute me
- 15:20:36 [Zakim]
- csma should now be muted
- 15:20:55 [hak]
- CSMA: did the check and it seems to work
- 15:21:01 [csma]
- zakim, unmute me
- 15:21:01 [Zakim]
- csma should no longer be muted
- 15:21:16 [hak]
- ChrisW: ok so we go ahead an publish ...
- 15:21:33 [hak]
- ChrisW: discussing typesetting tables etc ...
- 15:22:51 [ChrisW]
- zakim, next item
- 15:22:51 [Zakim]
- agendum 5. "Test Cases" taken up [from ChrisW]
- 15:22:55 [hak]
- csma: could we add a mention of the date for the next deadline for the review period
- 15:23:02 [ChrisW]
- zakim, list agenda
- 15:23:02 [Zakim]
- I see 2 items remaining on the agenda:
- 15:23:03 [Zakim]
- 5. Test Cases [from ChrisW]
- 15:23:04 [Zakim]
- 7. Mime types and acknowledgements [from ChrisW]
- 15:23:13 [ChrisW]
- zakim, take up item 7
- 15:23:13 [Zakim]
- agendum 7. "Mime types and acknowledgements" taken up [from ChrisW]
- 15:24:02 [hak]
- csma: mime types are in appendix to BLD ... Should we not move that to CORE ?
- 15:24:16 [hak]
- Harold: CORE is better
- 15:24:21 [ChrisW]
- PROPOSED: move mime types appendix to Core
- 15:24:25 [hak]
- ChrisW: agrees
- 15:24:29 [hak]
- +1
- 15:24:35 [Harold]
- +1
- 15:24:37 [ChrisW]
- RESOLVED: move mime types appendix to Core
- 15:24:52 [hak]
- ChrisW: who will do that
- 15:24:57 [hak]
- Harold: I will !
- 15:25:13 [hak]
- s/that/that ?/
- 15:25:23 [hak]
- No action needed - Harold is doing it now !
- 15:26:33 [hak]
- ChrisW: editors' notes in CORE need to be resolved
- 15:26:57 [hak]
- ChrisW: let us just erase it
- 15:27:11 [hak]
- since no one proposed anything re: it
- 15:28:07 [hak]
- Axel: section 6.2 : ok to remove (Axel will dlo it)
- 15:28:14 [hak]
- s/dlo/do/
- 15:28:48 [hak]
- ChrisW: we leave the note in RDF/OWL to remain (1-2-1 correspondence for list - at risk)
- 15:29:01 [hak]
- s/lsit/lists/
- 15:29:09 [AxelPolleres]
- s/Axel will dlo it/Harold will do it/
- 15:29:09 [hak]
- s/list/lists/
- 15:29:10 [AxelPolleres]
- :-)
- 15:29:43 [hak]
- csma: no more ed.'s notes to discuss in CORE
- 15:30:28 [csma]
- http://www.w3.org/2005/rules/wiki/RIF_FAQ
- 15:30:36 [ChrisW]
- http://www.w3.org/2005/rules/wiki/RIF_FAQ
- 15:30:46 [hak]
- csma: one more - need to have a look at Sandro's yet to be published FAQ
- 15:32:01 [hak]
- ChrisW: Sandro at ??? Conf. got a lot of questions -> hence our FAQ
- 15:32:54 [hak]
- Harold: discussing remaining dependencies between BLD and CORE re: mime types (Harold mentioned a removal he did)
- 15:32:57 [csma]
- s/???/semantic technology/
- 15:35:26 [csma]
- zakim, unmute me
- 15:35:26 [Zakim]
- csma should no longer be muted
- 15:35:42 [csma]
- zakim, mute me
- 15:35:42 [Zakim]
- csma should now be muted
- 15:36:04 [ChrisW]
- zakim, take up item 5
- 15:36:04 [Zakim]
- agendum 5. "Test Cases" taken up [from ChrisW]
- 15:36:14 [Zakim]
- -Leora_Morgenstern
- 15:36:19 [Zakim]
- +LeoraMorgenstern
- 15:37:27 [hak]
- Stella: discussing test case notes - dialect changes (bld -> core and core -> bld, etc ...)
- 15:37:52 [ChrisW]
- http://www.w3.org/2005/rules/wiki/Annotation_Entailment
- 15:37:59 [hak]
- Stella: reviewing each note and changes made
- 15:39:13 [ChrisW]
- http://www.w3.org/2005/rules/wiki/Frame_slots_are_independent
- 15:40:43 [ChrisW]
- http://www.w3.org/2005/rules/wiki/Guards_and_subtypes
- 15:41:52 [ChrisW]
- http://www.w3.org/2005/rules/wiki/Local_Predicate
- 15:42:55 [ChrisW]
- http://www.w3.org/2005/rules/wiki/Non-Annotation_Entailment
- 15:46:06 [StellaMitchell]
- OWL compatibility is now defined for OWL 2, which extends OWL 1. Since annotations have no semantics in OWL 2 DL, the notion of owl-dl-annotation-entailment is rendered meaningless, and has thus been removed.
- 15:51:34 [ChrisW]
- http://www.w3.org/2005/rules/wiki/OWL_Combination_Vocabulary_Separation_Inconsistency_1
- 15:53:02 [ChrisW]
- http://www.w3.org/2005/rules/wiki/OWL_Combination_Vocabulary_Separation_Inconsistency_2
- 15:53:57 [Zakim]
- -[NRCC]
- 15:54:02 [ChrisW]
- http://www.w3.org/2005/rules/wiki/RDF_Combination_Constant_Equivalence_Graph_Entailment_2
- 15:56:07 [ChrisW]
- http://www.w3.org/2005/rules/wiki/RDF_Combination_Member_1
- 16:01:41 [ChrisW]
- http://www.w3.org/2005/rules/wiki/RDF_Combination_SubClass
- 16:02:34 [ChrisW]
- http://www.w3.org/2005/rules/wiki/RDF_Combination_SubClass_2
- 16:11:45 [AxelPolleres]
- are you still at 2?
- 16:13:45 [ChrisW]
- http://www.w3.org/2005/rules/wiki/RDF_Combination_Member_1
- 16:14:39 [ChrisW]
- http://www.w3.org/2005/rules/wiki/Equality_in_condition
- 16:15:55 [csma]
- bld
- 16:15:57 [csma]
- unsafe
- 16:16:11 [csma]
- ?x is not bound
- 16:16:29 [csma]
- isDecimal has binding pattern (b)
- 16:16:43 [csma]
- zakim, unmute me
- 16:16:43 [Zakim]
- csma should no longer be muted
- 16:18:15 [csma]
- zakim, mute me
- 16:18:15 [Zakim]
- csma should now be muted
- 16:18:32 [ChrisW]
- http://www.w3.org/2005/rules/wiki/Inconsistent_Entailment
- 16:19:15 [AxelPolleres]
- pred:is-literal-integer
- 16:19:46 [ChrisW]
- pred:is-literal-decimal
- 16:20:02 [ChrisW]
- http://www.w3.org/2005/rules/wiki/Inconsistent_Entailment
- 16:20:48 [ChrisW]
- http://www.w3.org/2005/rules/wiki/RDF_Combination_Constant_Equivalence_3
- 16:22:16 [csma]
- zakim, unmute me
- 16:22:16 [Zakim]
- csma should no longer be muted
- 16:23:39 [csma]
- http://lists.w3.org/Archives/Public/public-rif-wg/2009Jun/0079.html
- 16:25:15 [csma]
- <Cons type="rif:text" xml:lang="EN">
- 16:27:08 [AxelPolleres]
- <Cons type="rif:text" xml:lang="EN">Hello!</Cons>
- 16:27:24 [AxelPolleres]
- or Cons type="rif:text">Hello!@EN</Cons>
- 16:27:26 [AxelPolleres]
- ????
- 16:28:41 [AxelPolleres]
- an optional lang tag attribute for rdf:PlainLiteral is *definitly* the better solution, IMO
- 16:30:22 [ChrisW]
- action: update XML syntax for Core and BLD to use xml:lang attribute for consts
- 16:30:22 [trackbot]
- Sorry, couldn't find user - update
- 16:30:32 [ChrisW]
- action: csma to update XML syntax for Core and BLD to use xml:lang attribute for consts
- 16:30:32 [trackbot]
- Created ACTION-853 - Update XML syntax for Core and BLD to use xml:lang attribute for consts [on Christian de Sainte Marie - due 2009-06-30].
- 16:31:23 [Zakim]
- -AxelPolleres
- 16:31:24 [Zakim]
- -Stella_Mitchell
- 16:31:24 [Zakim]
- -LeoraMorgenstern
- 16:31:26 [Zakim]
- -Gary
- 16:31:43 [ChrisW]
- Regrets: DaveReynolds AdrianPaschke MichaelKifer ChanghaiKe JosDeBruijn
- 16:31:46 [AxelPolleres]
- Attention!!!
- 16:31:49 [ChrisW]
- zakim, list attendees
- 16:31:49 [Zakim]
- As of this point the attendees have been ChrisW, hak, Stella_Mitchell, [NRCC], Leora_Morgenstern, csma, AxelPolleres, Gary, LeoraMorgenstern
- 16:31:54 [AxelPolleres]
- http://www.w3.org/2005/rules/wiki/SWC still talks about rdf:text
- 16:32:02 [AxelPolleres]
- instead of rdf:PlainLiteral
- 16:32:06 [ChrisW]
- ok
- 16:32:11 [ChrisW]
- axel, can you change it?
- 16:32:17 [AxelPolleres]
- I guess all dosc need to be checked in that respect
- 16:32:18 [ChrisW]
- rrsagent, make minutes
- 16:32:18 [RRSAgent]
- I have made the request to generate http://www.w3.org/2009/06/23-rif-minutes.html ChrisW
- 16:32:23 [AxelPolleres]
- moment
- 16:32:49 [Zakim]
- -hak
- 16:33:14 [AxelPolleres]
- Gimme an action to check all docs ;-) will try to do it now, but might be interrupted any minute by a student coming in :-)
- 16:34:59 [Zakim]
- -ChrisW
- 16:35:01 [Zakim]
- -csma
- 16:35:01 [Zakim]
- SW_RIF()11:00AM has ended
- 16:35:02 [Zakim]
- Attendees were ChrisW, hak, Stella_Mitchell, [NRCC], Leora_Morgenstern, csma, AxelPolleres, Gary, LeoraMorgenstern
- 16:35:32 [ChrisW]
- action: axel to check all docs for use of "rdf:text"
- 16:35:32 [trackbot]
- Created ACTION-854 - Check all docs for use of "rdf:text" [on Axel Polleres - due 2009-06-30].
- 16:35:38 [ChrisW]
- ;)
- 16:58:11 [AxelPolleres]
- ACTION-854 is done. cheers
- 16:58:12 [AxelPolleres]
- AxelPolleres has left #rif