IRC log of rif on 2006-04-25
Timestamps are in UTC.
- 14:38:47 [RRSAgent]
- RRSAgent has joined #rif
- 14:38:47 [RRSAgent]
- logging to http://www.w3.org/2006/04/25-rif-irc
- 14:45:51 [sandro]
- sandro has joined #rif
- 14:46:07 [sandro]
- zakim, what is the code?
- 14:46:07 [Zakim]
- the conference code is 74394 (tel:+1.617.761.6200), sandro
- 14:46:20 [sandro]
- rrsagent, make minutes
- 14:46:20 [RRSAgent]
- I have made the request to generate http://www.w3.org/2006/04/25-rif-minutes.html sandro
- 14:46:33 [sandro]
- rrsagent, make record public
- 14:49:37 [Harold]
- Harold has joined #rif
- 14:51:26 [Francois]
- Francois has joined #rif
- 14:51:37 [Francois]
-
- 14:52:31 [sandro]
- Hello, Francois.
- 14:53:50 [Zakim]
- SW_RIF()11:00AM has now started
- 14:53:57 [Zakim]
- +??P2
- 14:54:14 [PhilippeB]
- PhilippeB has joined #rif
- 14:54:58 [Zakim]
- +MoZ
- 14:55:24 [MoZ]
- Zakim, who is on the phone ?
- 14:55:24 [Zakim]
- On the phone I see ??P2, MoZ
- 14:55:31 [Zakim]
- +??P19
- 14:55:34 [Zakim]
- +Philippe_Bonnard (was ??P19)
- 14:55:45 [PhilippeB]
- Zakim, mute me
- 14:55:45 [Zakim]
- Philippe_Bonnard should now be muted
- 14:56:07 [Zakim]
- +Sandro
- 14:56:12 [Francois]
- sandro, hello sandro.
- 14:56:23 [LeoraMorgenstern]
- LeoraMorgenstern has joined #rif
- 14:56:28 [Allen]
- Allen has joined #rif
- 14:57:01 [Zakim]
- +[IBM]
- 14:57:04 [patranja]
- patranja has joined #rif
- 14:57:14 [Zakim]
- +Leora_Morgenstern
- 14:57:14 [Hassan]
- Hassan has joined #rif
- 14:57:19 [ChrisW]
- zakim, [ibm] is temporarily me
- 14:57:19 [Zakim]
- +ChrisW; got it
- 14:57:31 [ChrisW]
- zakim, who is on the phone?
- 14:57:31 [Zakim]
- On the phone I see Francois, MoZ, Philippe_Bonnard (muted), Sandro, ChrisW, Leora_Morgenstern
- 14:57:33 [MichaelKifer]
- MichaelKifer has joined #rif
- 14:57:34 [LeoraMorgenstern]
- zakim, mute me
- 14:57:34 [Zakim]
- Leora_Morgenstern should now be muted
- 14:57:46 [MoZ]
- Zakim: mute me
- 14:57:51 [Zakim]
- +Hassan_Ait-Kaci
- 14:58:02 [MoZ]
- Zakim, mute me
- 14:58:02 [Zakim]
- MoZ should now be muted
- 14:58:32 [Deborah_Nichols]
- Deborah_Nichols has joined #rif
- 14:58:43 [Zakim]
- +Michael_Kifer
- 14:58:44 [MarkusK]
- MarkusK has joined #rif
- 14:58:44 [Zakim]
- +[NRCC]
- 14:58:50 [Francois]
- zakim mute me
- 14:59:03 [Zakim]
- +Deborah_Nichols
- 14:59:06 [Harold]
- zakim, [NRCC] is me
- 14:59:06 [Zakim]
- +Harold; got it
- 14:59:22 [Zakim]
- +PaulaP
- 14:59:25 [DaveReynolds]
- DaveReynolds has joined #rif
- 14:59:25 [Zakim]
- +Allen_Ginsberg
- 14:59:35 [Allen]
- zakim, mute me
- 14:59:35 [Zakim]
- Allen_Ginsberg should now be muted
- 14:59:38 [ChrisW]
- scribenick: MichaelKifer
- 14:59:46 [Francois]
- zakim, mute me.
- 14:59:46 [Zakim]
- Francois should now be muted
- 14:59:58 [Zakim]
- +Jos_de_Bruijn
- 15:00:03 [jos]
- jos has joined #rif
- 15:00:10 [Zakim]
- +Dave_Reynolds (was Guest P28 74394)
- 15:00:11 [Zakim]
- +Dave_Reynolds
- 15:00:21 [AxelPolleres]
- AxelPolleres has joined #rif
- 15:00:42 [Zakim]
- +[IPcaller]
- 15:00:45 [DavidHirtle]
- DavidHirtle has joined #rif
- 15:01:31 [Zakim]
- +[IPcaller]
- 15:01:37 [MoZ]
- Zakim, who is making noise?
- 15:01:41 [AxelPolleres]
- zakim, IPcaller is me
- 15:01:42 [Zakim]
- +AxelPolleres; got it
- 15:01:47 [Zakim]
- MoZ, listening for 10 seconds I heard sound from the following: josb (10%)
- 15:01:49 [AxelPolleres]
- Zakim, mute me
- 15:01:52 [Zakim]
- AxelPolleres should now be muted
- 15:02:08 [pfps]
- pfps has joined #rif
- 15:02:16 [Zakim]
- +??P33
- 15:02:24 [pfps]
- zakim, ??p33 is pfps
- 15:02:24 [Zakim]
- +pfps; got it
- 15:02:36 [Uli]
- Uli has joined #rif
- 15:02:55 [Zakim]
- +David_Hirtle
- 15:03:02 [ChrisW]
- http://lists.w3.org/Archives/Public/public-rif-wg/2006Apr/att-0093/rif-scriberei.html
- 15:03:42 [MichaelKifer]
- April 11 minutes have been accepted as true record
- 15:03:45 [ChrisW]
- http://lists.w3.org/Archives/Public/public-rif-wg/2006Apr/att-0054/18-rif-minutes.html
- 15:03:53 [Zakim]
- +??P38
- 15:04:06 [ChrisW]
- zakim, who is on the phone?
- 15:04:06 [Zakim]
- On the phone I see Francois (muted), MoZ (muted), Philippe_Bonnard (muted), Sandro, ChrisW, Leora_Morgenstern (muted), Hassan_Ait-Kaci (muted), Michael_Kifer, Harold,
- 15:04:10 [PhilippeB]
- zakim,nmute me
- 15:04:10 [Zakim]
- ... Deborah_Nichols (muted), PaulaP (muted), Allen_Ginsberg (muted), josb (muted), Dave_Reynolds (muted), MarkusK (muted), AxelPolleres (muted), pfps, DavidHirtle (muted), ??P38
- 15:04:16 [Zakim]
- I don't understand 'nmute me', PhilippeB
- 15:04:18 [PhilippeB]
- zakim, unmute me
- 15:04:20 [Zakim]
- Philippe_Bonnard should no longer be muted
- 15:04:42 [sandro]
- zakim, who is talking?
- 15:04:53 [Zakim]
- sandro, listening for 10 seconds I heard sound from the following: Philippe_Bonnard (67%)
- 15:05:00 [sandro]
- zakim, who is talking?
- 15:05:11 [Zakim]
- sandro, listening for 10 seconds I heard sound from the following: Philippe_Bonnard (61%), ChrisW (29%)
- 15:05:16 [MichaelKifer]
- Minutes for April 18 need to be edited futher by Philippe_Bonnard
- 15:05:18 [ChrisW]
- ACTION: PhillipeB to clean up minutes from April 18
- 15:05:37 [Allen]
- there is an echo
- 15:05:49 [PhilippeB]
- Zakim, mute me
- 15:05:51 [Uli]
- zakim, P38 may be me
- 15:05:52 [Zakim]
- Philippe_Bonnard should now be muted
- 15:05:56 [Zakim]
- sorry, Uli, I do not understand your question
- 15:06:27 [Uli]
- zakim, ??P38 is probably Uli
- 15:06:27 [Zakim]
- +Uli?; got it
- 15:07:45 [JosDeRoo]
- JosDeRoo has joined #rif
- 15:07:49 [PaulaP]
- q+
- 15:07:54 [sandro]
- [DONE] ACTION: Sandro to set up registration page for F2F3
- 15:08:09 [sandro]
- [DONE] ACTION: Public membership list needs to be extended to include Alex
- 15:08:12 [AxelPolleres]
- http://www.w3.org/2002/09/wbs/38457/f2f3reg/
- 15:08:27 [sandro]
- http://www.w3.org/2002/09/wbs/38457/f2f3reg/
- 15:08:48 [Zakim]
- +Jos_De_Roo
- 15:08:59 [csma]
- csma has joined #rif
- 15:09:06 [MalaMehrotra]
- MalaMehrotra has joined #rif
- 15:09:40 [Zakim]
- +Mala_Mehrotra
- 15:10:20 [Zakim]
- +Christian
- 15:10:52 [csma]
- zakim, Christian is me
- 15:10:52 [Zakim]
- +csma; got it
- 15:11:05 [JosDeRoo]
- zakim, mute me
- 15:11:05 [Zakim]
- Jos_De_Roo should now be muted
- 15:11:19 [MichaelKifer]
- ppl should register to attend the F2F3 and to get transportation
- 15:12:58 [Allen]
- yes
- 15:12:58 [csma]
- ACTION: Paula to check on phone-call-in capability, and if we'll have a speaker phone, and network at f2f3? [DONE]
- 15:12:59 [MichaelKifer]
- sandro will set up a straw poll to decide the location/time of F2F4
- 15:13:23 [csma]
- ok
- 15:13:43 [JosDeRoo]
- zakim. unmute me
- 15:13:45 [csma]
- ACTION: Sandro set up straw-poll on F2F4 (MITRE - 3 different dates - and Peter/ISWC) [recorded in http://www.w3.org/2006/04/18-rif-minutes.html#action04] [CONTINUED]
- 15:13:54 [csma]
- ack josdero
- 15:14:08 [JeffP]
- JeffP has joined #rif
- 15:14:26 [Francois]
- zakim, who is speaking.
- 15:14:26 [Zakim]
- I don't understand 'who is speaking', Francois
- 15:14:38 [ChrisW]
- jos de roo is speaking
- 15:14:58 [csma]
- zakim, unmute me
- 15:14:58 [Zakim]
- csma should no longer be muted
- 15:15:19 [MichaelKifer]
- ChrisW: Need a liason to SPARQL. Leave Enrico as the liason
- 15:16:48 [sandro]
- Haley
- 15:16:49 [csma]
- Haley
- 15:17:09 [Zakim]
- +JeffP
- 15:17:27 [csma]
- http://home.businesswire.com/portal/site/google/index.jsp?ndmViewId=news_view&newsId=20060418005368&newsLang=en
- 15:17:44 [Hassan]
- http://www.computerwire.com/industries/research/?pid=E64311AB-B294-4F5A-A355-22EA0C08EA0A
- 15:17:45 [MichaelKifer]
- csma: nothing new as far as PRR, but Haley has released a new production language HRML (Haley Rule Markup Language)
- 15:18:35 [Zakim]
- +Gary_Hallmark
- 15:18:53 [Hassan]
- http://xml.coverpages.org/ORMML-coopis02.pdf
- 15:20:09 [Hassan]
- http://www.haley.com/0422488215392258/newsevents/PressRelease_JSR94_Release_Final_200604.html
- 15:20:53 [LeoraMorgenstern]
- zakim, unmute me
- 15:20:53 [Zakim]
- Leora_Morgenstern should no longer be muted
- 15:21:00 [LeoraMorgenstern]
- q+
- 15:21:08 [PaulaP]
- q-
- 15:21:16 [MichaelKifer]
- csma: no news as far as SBVR, ODM are concerned. Maybe a new co-chair.
- 15:21:17 [csma]
- ACTION: Francois write up what he's saying on the DesignConstraints page
- 15:21:18 [csma]
- See message and ensuing thread: http://lists.w3.org/Archives/Public/public-rif-wg/2006Apr/0053.html
- 15:21:24 [LeoraMorgenstern]
- zakim, mute me
- 15:21:24 [Zakim]
- Leora_Morgenstern should now be muted
- 15:21:24 [csma]
- ACTION: Francois write up what he's saying on the DesignConstraints page
- 15:21:25 [csma]
- See message and ensuing thread: http://lists.w3.org/Archives/Public/public-rif-wg/2006Apr/0053.html
- 15:21:34 [csma]
- ACTION: Francois write up what he's saying on the DesignConstraints page
- 15:21:35 [csma]
- See message and ensuing thread: http://lists.w3.org/Archives/Public/public-rif-wg/2006Apr/0053.html
- 15:21:46 [GaryHallmark]
- GaryHallmark has joined #rif
- 15:22:26 [csma]
- ACTION: Leora to set up draft proposal on what we mean by FOL [recorded in http://www.w3.org/2006/04/18-rif-minutes.html#action02] [CONTINUED]
- 15:22:30 [StanDevitt]
- StanDevitt has joined #rif
- 15:22:41 [csma]
- ACTION: Leora to Write up CSF for FOL [recorded in http://www.w3.org/2006/04/18-rif-minutes.html#action03]
- 15:22:42 [csma]
- [CONTINUED]
- 15:23:02 [ChrisW]
- [DONE] ACTION: Francois write up what he's saying on the DesignConstraints page
- 15:23:10 [csma]
- ACTION: Sandro and Igor to find a name+definition for the
- 15:23:11 [csma]
- "pure prolog" requirement that does not mention "pure prolog" [recorded
- 15:23:11 [csma]
- in http://www.w3.org/2006/04/11-rif-minutes.html#action10]
- 15:23:16 [csma]
- [CONTINUED]
- 15:23:26 [ChrisW]
- http://www.w3.org/2005/rules/wg/wiki/2006-04-25_Meeting
- 15:25:03 [csma]
- ACTION: Sandro to discuss on email whether the "pure prolog" requirement can be replaced by a "horn logic" requirement or if we need both [CONTINUED]
- 15:25:41 [ChrisW]
- [DROPPED] ACTION: Frank will produce an initial diagram with existing constraints
- 15:25:43 [PaulV]
- PaulV has joined #rif
- 15:25:50 [csma]
- ACTION: Frank will produce an initial diagram with existing constraints [DROPPED]
- 15:26:16 [csma]
- ACTION: sandro to clarify meaning of sound and what is the requirement on RIF [CONTINUED]
- 15:26:33 [Zakim]
- +[IPcaller]
- 15:26:34 [csma]
- ACTION: Sandro to clarify whether sound reasoning constraint with unknown dialects is a requirement or a critical success factor [CONTINUED]
- 15:27:49 [Zakim]
- +[IPcaller]
- 15:28:50 [johnhall]
- johnhall has joined #rif
- 15:30:13 [ChrisW]
- http://www.w3.org/2005/rules/wg/wiki/RIF_must_define_for_all_RIF_elements_a_default_behaviour_for_compliant_applications_that_do_not_know_how_to_process_it
- 15:31:41 [MichaelKifer]
- Chris: requirement that RIF must be able to pass on pieces of XML that it dosnt understand.
- 15:33:36 [pfps]
- q+
- 15:33:54 [StanDevitt]
- How does this differ from having a default behavior for compliant applications that do understand how to do it?
- 15:34:13 [Zakim]
- +[IPcaller]
- 15:35:06 [johnhall]
- zakim, IPcaller is me
- 15:35:06 [Zakim]
- +johnhall; got it
- 15:35:13 [johnhall]
- zakim, mute me
- 15:35:13 [Zakim]
- johnhall should now be muted
- 15:35:22 [MichaelKifer]
- csma: RIF should be able to <em>describe</em> what to do with pieces that it does not understand
- 15:35:33 [LeoraMorgenstern]
- no,
- 15:35:34 [csma]
- ack leora
- 15:35:35 [ChrisW]
- q?
- 15:35:38 [LeoraMorgenstern]
- that was just leftover
- 15:35:43 [ChrisW]
- ack leora
- 15:35:47 [ChrisW]
- ack pfps
- 15:35:52 [csma]
- ack pfps
- 15:35:54 [LeoraMorgenstern]
- zakim, mute me
- 15:35:54 [Zakim]
- Leora_Morgenstern should now be muted
- 15:35:57 [Zakim]
- -StanDevitt
- 15:36:30 [MichaelKifer]
- pfps: [to csma] should every rule set come with a spec of the default action?
- 15:37:15 [Hassan]
- q+
- 15:37:35 [PaulV]
- [procedural item] looks like Zakim cannot handle >1 IPCaller :) - I see myself, StanDevitt and John Hall registering IPCaller
- 15:38:04 [Uli]
- q+
- 15:38:20 [ChrisW]
- zakim, who is on the phone?
- 15:38:20 [Zakim]
- On the phone I see Francois (muted), MoZ (muted), Philippe_Bonnard (muted), Sandro, ChrisW, Leora_Morgenstern (muted), Hassan_Ait-Kaci, Michael_Kifer, Harold, Deborah_Nichols
- 15:38:24 [Zakim]
- ... (muted), PaulaP (muted), Allen_Ginsberg (muted), josb (muted), Dave_Reynolds (muted), MarkusK (muted), AxelPolleres (muted), pfps, DavidHirtle (muted), Uli? (muted), Jos_De_Roo
- 15:38:27 [Zakim]
- ... (muted), Mala_Mehrotra, csma, JeffP, Gary_Hallmark, PaulV, johnhall (muted)
- 15:38:46 [ChrisW]
- looks ok to me
- 15:39:07 [ChrisW]
- q?
- 15:39:16 [MichaelKifer]
- csma: the producer should be able to state what should RIF do with unsupported features (eg, ignore them)
- 15:39:47 [ChrisW]
- ack hassan
- 15:41:27 [StanDevitt]
- StanDevitt has joined #rif
- 15:41:34 [MichaelKifer]
- Hasan: These actions must be tied into the semantics
- 15:42:17 [Zakim]
- +[IPcaller]
- 15:42:45 [MichaelKifer]
- Hasan: should look closer at the RIF condition language proposal in conjunction with csma's requirement
- 15:43:50 [MichaelKifer]
- csms: believes that handling unknown features can be done independent of any semantics
- 15:44:13 [Uli]
- we are just having a fire alarm warning, so might have to run off and leave the building
- 15:44:21 [GaryHallmark]
- q+
- 15:45:18 [ChrisW]
- ack uli
- 15:45:39 [MichaelKifer]
- Hasan: csms's requirement is supported by the RIF condition language proposal
- 15:46:40 [Hassan]
- q+
- 15:46:47 [Hassan]
- q-
- 15:47:21 [PaulaP]
- +1 to Chris' comment on the independence requirements - architecture
- 15:50:11 [PaulaP]
- q+
- 15:50:42 [MichaelKifer]
- csma: the consumer should be able to decide if parts of the ruleset are not understood; but csma agrees that this may be too simplistic
- 15:52:23 [ChrisW]
- q?
- 15:52:35 [Zakim]
- -Philippe_Bonnard
- 15:52:35 [csma]
- ACTION: csma to modify compliance reqs to make it more like a req
- 15:52:51 [MichaelKifer]
- ACTION: csma will modify the requirement to clarify it
- 15:55:06 [ChrisW]
- ack gary
- 15:55:31 [ChrisW]
- rrsagent, drop item 15
- 15:55:31 [RRSAgent]
- I'm logging. I don't understand 'drop item 15', ChrisW. Try /msg RRSAgent help
- 15:56:44 [Uli]
- q+
- 15:58:27 [ChrisW]
- rrsagent, drop action 15
- 15:58:49 [ChrisW]
- zakim, ack paula
- 15:58:49 [Zakim]
- I see Uli on the speaker queue
- 16:00:42 [StanDevitt]
- What I am hearing is that the producer may "prefer" that priorty be used if present, but that it is not necessary.
- 16:00:49 [StanDevitt]
- #rif
- 16:00:57 [GaryHallmark]
- Gary: can all the burden be on the translator and keep the RIF clean?
- 16:01:25 [MichaelKifer]
- csma: an example of a use of my requirement is rules with certainty factors; these maybe omitted if these factors do not affect the semantics [editor's note: this is rarely the case]
- 16:01:26 [ChrisW]
- ack uli
- 16:01:42 [GaryHallmark]
- Gary: for example, instead of tagging priority as optional, just don't use priority in rulesets for maximum interoperability
- 16:02:01 [StanDevitt]
- StanDevitt has joined #rif
- 16:02:51 [StanDevitt]
- What I am hearing is that the author can specify a priority list of interpretations.
- 16:02:58 [Hassan]
- Chris: you are describing a taxonmy of semantics
- 16:03:20 [MichaelKifer]
- Priorities among rules do affect the semantics in most cases -- this is like the case statement
- 16:03:28 [StanDevitt]
- e.g. Use priority if it is available, but otherwise use non-prioirty.
- 16:03:34 [ChrisW]
- the "RIF RAF" was supposed to be doing that
- 16:03:35 [Hassan]
- The taxonomy is the basis that may be extended - this what Uli is saying as well
- 16:03:43 [ChrisW]
- yes, i think so
- 16:04:11 [Hassan]
- +1 to what Uli is saying!!!
- 16:04:31 [ChrisW]
- so a lattice instead of a hierarchy
- 16:05:13 [StanDevitt]
- The analogy is like a list of fonts to choose from in CSS - the author having preferences, but being happy with any choice.
- 16:05:17 [Hassan]
- any partial order may be extended to a boolean lattice using disjunctions
- 16:06:15 [MichaelKifer]
- Uli: the extensibility mechanism should be handled at the level of taxonomies of dialects (similar point as Hasan's)
- 16:08:10 [ChrisW]
- q?
- 16:08:31 [csma]
- ACTION:csma to clarify use of terms like 'consumer', producer, translator etc
- 16:08:36 [ChrisW]
- http://lists.w3.org/Archives/Public/public-rif-wg/2006Apr/0068.html
- 16:08:54 [MalaMehrotra]
- MalaMehrotra has joined #rif
- 16:09:51 [MichaelKifer]
- Discussion of the extensibility mechanism based on the "RIF Condition Language"
- 16:10:12 [Uli]
- Michael: I agree that we can have such a "seed" mechanism, but then this could be even extended, according to the needs
- 16:13:49 [MalaMehrotra]
- MalaMehrotra has joined #rif
- 16:14:44 [Zakim]
- +csma.a
- 16:15:04 [Uli]
- q+
- 16:17:50 [ChrisW]
- ack uli
- 16:18:12 [Zakim]
- -csma
- 16:20:53 [josb]
- +1 to Harold: we need to cater for different ways of integration with ontologies
- 16:21:07 [MichaelKifer]
- Harold gave an overview of the approach based on conditions
- 16:21:13 [StanDevitt]
- q+
- 16:21:57 [pfps]
- q+
- 16:22:11 [Hassan]
- What is the paper's reference mentioned by Michael? Pointers?
- 16:22:18 [MichaelKifer]
- csma: how do we access Java objects, not just ontologies?
- 16:23:15 [DaveReynolds]
- q+
- 16:23:20 [ChrisW]
- ack stan
- 16:23:49 [MoZ]
- Harold, 'Forall' is used but not defined, have I miss something ?
- 16:23:57 [sandro]
- +1 ! thanks to Harold & Michael and whoever else worked on this
- 16:24:40 [MichaelKifer]
- Hasan, this is a paper, which will appear in KR2006. He sent me a private copy. I can ask him if I can share this or u can ask him for a copy: rosati at dis.uniroma1.it
- 16:25:36 [ChrisW]
- The KR papers will be available on the web in a few days
- 16:26:03 [Hassan]
- Thanks Michael - I will ask him.
- 16:26:58 [MoZ]
- for extensibility we can define <operation name="Exists"..> instead of <Exists>
- 16:28:00 [MichaelKifer]
- StanDevitt: adding features to a language interferes with extensibility because this requires that we change XML Schema
- 16:28:11 [DavidHirtle]
- MoZ, the basis is Horn -- universal quantification (Forall) is referred to as a later extension
- 16:28:30 [AxelPolleres]
- AxelPolleres has left #rif
- 16:28:32 [MoZ]
- DavidHirtle, thanks
- 16:28:46 [ChrisW]
- q?
- 16:28:51 [AxelPolleres]
- AxelPolleres has joined #rif
- 16:29:04 [MichaelKifer]
- Harold, csma, others: the schema extensibility issue can be solved by inheritance or substitution groups
- 16:29:13 [ChrisW]
- ack pfps
- 16:30:00 [Hassan]
- +1 with Peter - I think
- 16:30:02 [Zakim]
- -Francois
- 16:30:06 [DaveReynolds]
- ack me
- 16:30:43 [SaidTabet]
- SaidTabet has joined #RIF
- 16:31:01 [josb]
- +1 with Peter: some (extended) languages might have unnamed individuals, especially when considering extension to FOL
- 16:31:21 [MichaelKifer]
- pfps: concern that the semantics of "RIF Cond Lang" is based on binding variables to named objects -- this is not a general model-theoretic semantics
- 16:31:23 [Hassan]
- Substitutions are just constraints over Herbrands Trees
- 16:32:17 [MichaelKifer]
- Discussion of the F2F4 straw poll
- 16:33:34 [MichaelKifer]
- sandro: why should the poll count individual rather than individuals? Because we want organizations to be represented, not just individuals
- 16:33:43 [Zakim]
- -Harold
- 16:33:45 [PaulV]
- bye
- 16:33:47 [Uli]
- Uli has left #rif
- 16:33:58 [MichaelKifer]
- end-of-meeting
- 16:33:59 [Zakim]
- -Hassan_Ait-Kaci
- 16:34:01 [Zakim]
- -josb
- 16:34:01 [Zakim]
- -PaulV
- 16:34:01 [PaulaP]
- bye
- 16:34:02 [Zakim]
- -Deborah_Nichols
- 16:34:03 [Zakim]
- -Jos_De_Roo
- 16:34:04 [Zakim]
- -Gary_Hallmark
- 16:34:04 [JeffP]
- bye
- 16:34:05 [Zakim]
- -johnhall
- 16:34:06 [Zakim]
- -Dave_Reynolds
- 16:34:08 [Zakim]
- -PaulaP
- 16:34:10 [sandro]
- rrsagent, make minutes
- 16:34:10 [RRSAgent]
- I have made the request to generate http://www.w3.org/2006/04/25-rif-minutes.html sandro
- 16:34:13 [Zakim]
- -MoZ
- 16:34:15 [Zakim]
- -JeffP
- 16:34:16 [Zakim]
- -Leora_Morgenstern
- 16:34:18 [Zakim]
- -Allen_Ginsberg
- 16:34:19 [StanDevitt]
- bye
- 16:34:23 [Zakim]
- -DavidHirtle
- 16:34:24 [Zakim]
- -AxelPolleres
- 16:34:33 [PaulaP]
- PaulaP has left #rif
- 16:34:37 [Zakim]
- -StanDevitt
- 16:34:57 [MalaMehrotra]
- bye
- 16:35:12 [Zakim]
- -Mala_Mehrotra
- 16:35:43 [Zakim]
- -Uli?
- 16:35:51 [Zakim]
- -Michael_Kifer
- 16:35:56 [Zakim]
- -MarkusK
- 16:35:57 [Zakim]
- -pfps
- 16:36:02 [csma]
- zakim, who is bon the call?
- 16:36:02 [Zakim]
- I don't understand your question, csma.
- 16:36:16 [csma]
- zakim, who is on the call?
- 16:36:16 [Zakim]
- On the phone I see Sandro, ChrisW, csma.a
- 16:39:20 [Zakim]
- -Sandro
- 16:39:22 [Zakim]
- -ChrisW
- 16:39:24 [Zakim]
- -csma.a
- 16:39:25 [Zakim]
- SW_RIF()11:00AM has ended
- 16:39:26 [Zakim]
- Attendees were MoZ, Philippe_Bonnard, Francois, Sandro, Leora_Morgenstern, ChrisW, Hassan_Ait-Kaci, Michael_Kifer, Deborah_Nichols, Harold, PaulaP, Allen_Ginsberg, Dave_Reynolds,
- 16:39:31 [Zakim]
- ... josb, MarkusK, AxelPolleres, pfps, DavidHirtle, Uli?, Jos_De_Roo, Mala_Mehrotra, csma, JeffP, Gary_Hallmark, PaulV, StanDevitt, johnhall
- 17:01:20 [Harold]
- Harold has left #rif
- 18:38:48 [Zakim]
- Zakim has left #rif