14:58:54 <RRSAgent> RRSAgent has joined #rif
14:58:55 <RRSAgent> logging to http://www.w3.org/2006/07/11-rif-irc
14:59:00 <csma> zakim, who is on the call
14:59:02 <Zakim> I don't understand 'who is on the call', csma
14:59:07 <FrankMcCabe> zakim, this is rif
14:59:07 <Zakim> ok, FrankMcCabe; that matches SW_RIF()11:00AM
14:59:08 <csma> zakim, who is on the call?
14:59:08 <Zakim> On the phone I see ??P13
14:59:18 <csma> zakim, ??P13 is me
14:59:18 <Zakim> +csma; got it
14:59:22 <DaveReynolds> DaveReynolds has joined #rif
14:59:23 <Zakim> +[NRCC]
14:59:41 <Zakim> +[Fujitsu]
14:59:48 <FrankMcCabe> zakim, fuijtsu is me
14:59:48 <Zakim> sorry, FrankMcCabe, I do not recognize a party named 'fuijtsu'
14:59:56 <FrankMcCabe> zakim, fujitsu is me
14:59:56 <Zakim> +FrankMcCabe; got it
14:59:57 <GiorgosStoilos> GiorgosStoilos has joined #rif
15:00:00 <Zakim> +David_Hirtle
15:00:06 <Zakim> +Allen_Ginsberg
15:00:08 <AxelPolleres> AxelPolleres has joined #rif
15:00:12 <IanH> IanH has joined #rif
15:00:17 <Allen> zakim, mute me
15:00:17 <Zakim> Allen_Ginsberg should now be muted
15:00:18 <Zakim> +??P18
15:00:20 <Zakim> +PaulaP
15:00:22 <josb> josb has joined #rif
15:00:24 <Zakim> +Dave_Reynolds (was Guest P20 74394)
15:00:26 <Zakim> +Dave_Reynolds
15:00:27 <AlexKozlenkov> zakim ??P18 is me
15:00:34 <Zakim> +Axel_Polleres
15:00:44 <Zakim> +[DERI]
15:00:45 <AlexKozlenkov> zakim, ?P18 is me
15:00:51 <pfps> pfps has joined #rif
15:00:54 <Zakim> sorry, AlexKozlenkov, I do not recognize a party named '?P18'
15:01:07 <Elisa> Elisa has joined #rif
15:01:16 <Zakim> +??P32
15:01:25 <AlexKozlenkov> zakim, ??P18 is me
15:01:28 <Zakim> +AlexKozlenkov; got it
15:01:30 <StellaMitchell> StellaMitchell has joined #rif
15:01:31 <AlexKozlenkov> mute me
15:01:32 <Zakim> +??P34
15:01:43 <pfps> zakim, ??P34 is me
15:01:50 <Zakim> +pfps; got it
15:01:53 <AlexKozlenkov> zakim, mute me
15:01:53 <Zakim> AlexKozlenkov should now be muted
15:02:10 <Zakim> +Elisa_Kendall
15:02:19 <josb> scribenick: FrankMcCabe
15:02:30 <Zakim> + +1.503.317.aaaa
15:02:31 <Zakim> +[IBM]
15:02:34 <Harold> zakim, [NRCC] is me
15:02:34 <Zakim> +Harold; got it
15:02:36 <Elisa> zakim mute me
15:02:58 <StellaMitchell> zakim, [ibm] is temporarily StellaMitchell
15:02:58 <Zakim> +StellaMitchell; got it
15:03:02 <Zakim> +Sandro
15:03:23 <Elisa> zakim, mute me
15:03:23 <Zakim> Elisa_Kendall should now be muted
15:03:30 <Zakim> +[IPcaller]
15:03:41 <JeffP> JeffP has joined #rif
15:03:48 <csma> topic 'RIF 11 July http://lists.w3.org/Archives/Public/public-rif-wg/2006Jul/0013.html'
15:04:14 <Zakim> +Leora_Morgenstern
15:04:18 <igor> 41#
15:04:30 <LeoraMorgenstern> zakim, please mute me
15:04:30 <Zakim> Leora_Morgenstern should now be muted
15:04:31 <sandro> sandro has changed the topic to: RIF 11 July http://lists.w3.org/Archives/Public/public-rif-wg/2006Jul/0013.html
15:04:34 <csma> agenda http://lists.w3.org/Archives/Public/public-rif-wg/2006Jul/0013.html
15:04:44 <Zakim> +??P8
15:05:22 <Zakim> +[IVML]
15:05:27 <FrankMcCabe> CSMA: What about the summer?
15:05:40 <GiorgosStoilos> zakim, [IVML] is me
15:05:40 <Zakim> +GiorgosStoilos; got it
15:05:47 <AxelPolleres> +1 normally
15:06:03 <Zakim> - +1.503.317.aaaa
15:06:28 <FrankMcCabe> Continue meetings as normal during the summer
15:06:38 <FrankMcCabe> ^^csma
15:06:40 <csma> http://lists.w3.org/Archives/Public/public-rif-wg/2006Jul/att-0018/minutes.txt
15:06:46 <SaidTabet> SaidTabet has joined #RIF
15:06:50 <FrankMcCabe> cma: Propose to accept above minutes
15:07:04 <Harold> +1
15:07:06 <PaulaP> +1
15:07:16 <AlexKozlenkov> +1
15:07:21 <josb> s/cma/csma/
15:07:31 <igor> zakim, mute me
15:07:31 <Zakim> sorry, igor, I do not see a party named 'igor'
15:07:53 <FrankMcCabe> csma: Minutes of july 4th accepted
15:08:07 <AxelPolleres> DaveR sent a request!
15:08:29 <JeffP> It is addressed.
15:08:55 <FrankMcCabe> pfps: No change for F2F4
15:09:12 <sandro> [steps out for a few moments]
15:09:22 <AxelPolleres> http://lists.w3.org/Archives/Public/public-rif-wg/2006Jul/0015
15:09:44 <Elisa> zakim, unmute me
15:09:44 <Zakim> Elisa_Kendall should no longer be muted
15:09:50 <EvanWallace> EvanWallace has joined #rif
15:10:09 <Zakim> -[IPcaller]
15:10:12 <Zakim> +Gary_Hallmark
15:10:37 <AxelPolleres> moment
15:10:44 <Zakim> +Evan_Wallace
15:10:47 <AxelPolleres> ok
15:11:03 <Zakim> +??P9
15:11:10 <johnhall> johnhall has joined #rif
15:11:17 <AxelPolleres> http://www.w3.org/2005/rules/wg/track/actions/28
15:11:19 <igor> zakim, ??P9 is me
15:11:19 <Zakim> +igor; got it
15:11:34 <AxelPolleres> Action 28: closed
15:11:49 <AxelPolleres> Action 28 [closed]
15:11:59 <Zakim> +??P28
15:12:09 <sandro> [returns from interrupt]
15:12:10 <SaidTabet> zakim, +??P28 is me
15:12:10 <Zakim> sorry, SaidTabet, I do not recognize a party named '+??P28'
15:12:11 <FrankMcCabe> csma: SPARQL, XQUERY, XPATH, PRR, SBVR no news
15:12:18 <AlexKozlenkov> AlexKozlenkov has joined #rif
15:12:28 <SaidTabet> zakim, ??P28 is me
15:12:28 <Zakim> +SaidTabet; got it
15:12:31 <igor> zakim, mute me
15:12:31 <Zakim> igor should now be muted
15:12:34 <FrankMcCabe> Elisa: ODM was recommended for adoption at  OMG Boston Meeting
15:12:34 <SaidTabet> zakim, mute me
15:12:34 <Zakim> SaidTabet should now be muted
15:12:47 <FrankMcCabe> Elisa: FTF starts in September
15:12:53 <GaryHallmark> GaryHallmark has joined #rif
15:13:17 <Elisa> zakim, mute me
15:13:17 <Zakim> Elisa_Kendall should now be muted
15:13:19 <AlexKozlenkov> zakim, who is on the phone
15:13:19 <Zakim> I don't understand 'who is on the phone', AlexKozlenkov
15:13:29 <JeffP> zakim, who is here?
15:13:29 <Zakim> On the phone I see csma, Harold, FrankMcCabe, David_Hirtle, Allen_Ginsberg (muted), PaulaP (muted), AlexKozlenkov (muted), Dave_Reynolds, Axel_Polleres (muted), josb (muted), IanH
15:13:32 <Zakim> ... (muted), pfps, Elisa_Kendall (muted), StellaMitchell (muted), Sandro, Leora_Morgenstern (muted), JeffP, GiorgosStoilos, Gary_Hallmark, Evan_Wallace, igor (muted), SaidTabet
15:13:37 <AxelPolleres> Can you send a pointer to these discussions?
15:13:37 <Zakim> ... (muted)
15:13:39 <Zakim> On IRC I see GaryHallmark, AlexKozlenkov, johnhall, EvanWallace, SaidTabet, JeffP, StellaMitchell, Elisa, pfps, josb, IanH, AxelPolleres, GiorgosStoilos, DaveReynolds, RRSAgent,
15:13:42 <FrankMcCabe> DaveR What is our position on Semantic Coordination Group 
15:13:42 <Zakim> ... Allen, Zakim, csma, LeoraMorgenstern, igor, DavidHirtle, FrankMcCabe, Harold, PaulaP, sandro, trackbot, Keep
15:13:55 <SaidTabet> zakim, mute me
15:13:55 <Zakim> SaidTabet was already muted, SaidTabet
15:14:26 <FrankMcCabe> csma: The rule layer in SW stack needs to be synched with RIF
15:14:36 <MichaelKifer> MichaelKifer has joined #rif
15:14:46 <Zakim> +[IPcaller]
15:14:49 <johnhall> zakim, ipcaller is me
15:14:49 <Zakim> +johnhall; got it
15:14:57 <johnhall> zakim,mute me
15:14:57 <Zakim> johnhall should now be muted
15:15:00 <FrankMcCabe> csma: Is the RIF going to develop a rule language or is a rule interchange format different to a rule language
15:15:17 <FrankMcCabe> csma: This needs to be clarified with the SCG
15:16:29 <FrankMcCabe> daver: debate on fourth goal for RIF to develop rule language not reflected on SWCG
15:16:59 <FrankMcCabe> csma: I wrote that it was not a goal, not part of the charter
15:17:11 <FrankMcCabe> csma: no decision, currently under dicsussion
15:18:05 <FrankMcCabe> daver: I see the followup message, that it was your opinion not the RIF's policy
15:18:26 <FrankMcCabe> daver: Is this an extension of the charter or not
15:19:02 <FrankMcCabe> csma: Prefer to interpret the charter in a minimal way given that it is already v. broad in scope
15:19:26 <FrankMcCabe> csma: Jury out on whether RIF implies rule language or not
15:19:29 <Zakim> -IanH
15:20:08 <FrankMcCabe> daver: Followup in the SWCG following any discussion/decision in RIF
15:21:12 <FrankMcCabe> csma: ACTION Let SWCG know that there is an ongoing discussion and they will be updated
15:21:27 <FrankMcCabe> ACTION csma will let SWCG know that there is an ongoing discussion and they will be updated
15:21:43 <JeffP> ACTION:  csma will let SWCG know that there is an ongoing discussion and they will be updated
15:21:43 <trackbot> Sorry... I don't know anything about this channel
15:21:47 <DavidHirtle> q+ to ask sandro re: possibility of edit
15:21:56 <Zakim> +[IPcaller]
15:22:14 <MichaelKifer> zakim, IPcaller is me
15:22:14 <Zakim> +MichaelKifer; got it
15:22:21 <csma> ack david
15:22:21 <Zakim> DavidHirtle, you wanted to ask sandro re: possibility of edit
15:22:27 <MichaelKifer> zakim, mute me
15:22:27 <Zakim> MichaelKifer should now be muted
15:23:12 <FrankMcCabe> daveH: Style of UCR doesnt work well in IE or Firefox
15:23:34 <FrankMcCabe> ACTION: sandro: to fix the styles of the UCR
15:23:34 <trackbot> Sorry... I don't know anything about this channel
15:23:48 <DavidHirtle> thanks Sandro; I wasn't sure if anything could be done after publication
15:24:17 <FrankMcCabe> csma: How do we get feedback.
15:24:26 <AlexKozlenkov> I tthink we should contact commercial most rule vendors
15:24:43 <FrankMcCabe> csma: The liaisons shouldspread the word in their respective groups
15:24:48 <AlexKozlenkov> most commercial rule zakim, unmute me
15:24:56 <AlexKozlenkov> Yes, I could do it
15:25:11 <AlexKozlenkov> zakim, unmute me
15:25:11 <Zakim> AlexKozlenkov should no longer be muted
15:25:13 <AlexKozlenkov> yes
15:25:31 <FrankMcCabe> ACTION: AlexKozlenkov will contact commercial rules vendors to take a look at the UCR
15:25:31 <trackbot> Sorry... I don't know anything about this channel
15:25:39 <josb> I could notify the sparql wg again, since we have no "real" liaison at sparql
15:26:17 <FrankMcCabe> AlexK: there are now many rules languages/vendors. Ensuring interoperability will be hard.
15:26:27 <sandro> trackbot, this is rifwg
15:26:44 <FrankMcCabe> ACTION: AlexK will contact JSR94 community
15:26:44 <trackbot> Sorry... I don't know anything about this channel
15:26:49 <AlexKozlenkov> zakim, mute me
15:26:49 <Zakim> AlexKozlenkov should now be muted
15:27:43 <FrankMcCabe> csma: action 33 closed
15:27:50 <FrankMcCabe> csma: action 38 continued
15:28:13 <FrankMcCabe> csma: action 9 continued
15:28:27 <FrankMcCabe> csma: action 41 continued
15:28:46 <PaulaP> continued
15:29:02 <FrankMcCabe> csma: action 39 continued
15:29:33 <FrankMcCabe> csma: action 35 closed
15:29:48 <FrankMcCabe> csma: action 55 closed
15:30:08 <AxelPolleres> continued!
15:30:23 <AxelPolleres> sorry, that was for the nexrt one!
15:30:26 <FrankMcCabe> csma: action 52 closed
15:30:35 <AxelPolleres> ;-)
15:30:47 <AxelPolleres> yes.
15:30:54 <FrankMcCabe> csma: action 53 continued
15:31:05 <DavidHirtle> done
15:31:12 <DavidHirtle> http://www.w3.org/2005/rules/wg/wiki/UCR/Document_issues
15:31:17 <josb> Notification to DAWG has been sent
15:31:29 <FrankMcCabe> csma: action 56 closed
15:32:48 <FrankMcCabe> csma: issues against UCR document should be recorded as issues
15:33:07 <josb> s/Notification to DAWG has been sent/Notification of the publication of the 2nd WD of the UCR document has been sent to DAWG/
15:33:19 <FrankMcCabe> ACTION: Sandro rename use and requirements into one category
15:33:19 <trackbot> Sorry... I don't know anything about this channel
15:33:27 <FrankMcCabe> FrankMcCabe has left #rif
15:33:43 <FrankMcCabe> FrankMcCabe has joined #rif
15:34:00 <FrankMcCabe> csma: We need to prioritize issues
15:34:15 <FrankMcCabe> csma: discuss this next meeting
15:34:52 <FrankMcCabe> ACTION: csma put organization of issues on next agenda
15:34:52 <trackbot> Sorry... I don't know anything about this channel
15:35:13 <FrankMcCabe> csma: RIFRAF actions
15:35:20 <csma> q?
15:35:24 <MichaelKifer> zakim, unmute me
15:35:24 <Zakim> MichaelKifer should no longer be muted
15:36:00 <FrankMcCabe> Michael: Cannot remember action 44
15:36:11 <FrankMcCabe> Michael: Cannot remember action 43
15:36:18 <Harold> q+
15:36:46 <csma> ack harold
15:36:59 <FrankMcCabe> HaroldB: How do languages supprt built-ins?
15:37:24 <FrankMcCabe> HaroldB: There wa some confusion about the status of the last powerpoint slides
15:37:39 <FrankMcCabe> cma: Yes.
15:37:54 <FrankMcCabe> topic: RIFRAF
15:38:08 <FrankMcCabe> csma: Many of the requirements were moved to the RIFRAF
15:38:27 <FrankMcCabe> q+
15:38:28 <MichaelKifer> zakim, mute me
15:38:29 <Zakim> MichaelKifer should now be muted
15:38:48 <FrankMcCabe> csma: Do we have the proper criteria in the RIFRAF
15:39:24 <FrankMcCabe> csma: E.g. RIF should support production rules, first order, normative rules, combined language rule sets
15:39:49 <csma> ack frank
15:40:33 <EvanWallace> +1 to not putting RIF requirements in RIFRAF
15:41:02 <FrankMcCabe> csma: RIFRAF contains discriminators not requirements
15:41:24 <DaveReynolds> RIFRAF gives a framework in which to define the space of coverage which we require RIF to cover
15:42:37 <FrankMcCabe> csma: We need enough discriminators to cover the field
15:42:37 <AlexKozlenkov> Absolutely, Phase 2 requirements should not simply disappear
15:43:27 <FrankMcCabe> csma: Group languages into related groups and derive requirements from the groups
15:44:31 <FrankMcCabe> haroldb: does space mean that not everything needs to be covered
15:45:07 <FrankMcCabe> daver: framework to allow us to decsribe space of languages. Some will be covered, some not
15:45:59 <FrankMcCabe> csma: The choices for covered languages depend on the criteria themselves
15:46:37 <FrankMcCabe> csma: We might not see e.g. production rules emerge without the right discriminators e.g. actions on conclusions
15:46:59 <FrankMcCabe> csma: How do we enusre coverage of discriminators
15:47:07 <AlexKozlenkov> There is currently not enough detail for production or reaction rules.
15:47:30 <csma> http://www.w3.org/2005/rules/wg/wiki/UCR/Critical_Factors_Analysis
15:48:00 <FrankMcCabe> There are coverage requirements in the CFA analysis
15:49:06 <PaulaP> ok
15:49:17 <PaulaP> I'll try :)
15:49:35 <FrankMcCabe> ACTION: PaulaP to analyse RIFRAF discriminators cover CFA 
15:49:35 <trackbot> Sorry... I don't know anything about this channel
15:50:26 <FrankMcCabe> csma: We need the space of rule languages populated. We have 5 or 6 at the moment but need more
15:51:05 <FrankMcCabe> csma: Suggest a questionnaire to help populate the RIFRAF
15:51:08 <FrankMcCabe> +1
15:51:11 <sandro> =1
15:51:13 <sandro> +1
15:54:02 <AxelPolleres> I think I can take it over, if you formulate the concrete responsibility again.
15:54:22 <FrankMcCabe> ACTION: alexP & sandro to prepare a questionnaire and organize it and keep track
15:54:22 <trackbot> Sorry... I don't know anything about this channel
15:55:17 <sandro> s/alexP/Axel/
15:55:44 <FrankMcCabe> csma: The questionnaire allows people to complete an entry in the RIFRAF for a rule language oftheir choice
15:56:24 <FrankMcCabe> csma: If there are new criteria then the q may need to be modified and edited also
15:56:58 <FrankMcCabe> csma: the group thanks Axel
15:57:35 <AxelPolleres> sorry, still continued/
15:58:16 <Zakim> -GiorgosStoilos
15:58:23 <FrankMcCabe> csma: action 20 continued
15:58:28 <FrankMcCabe> csma: action 22 continued
15:59:18 <Harold> q+
15:59:18 <FrankMcCabe> csma: we need a strawman semantics for RIFRAF
15:59:29 <csma> ack harold
15:59:38 <FrankMcCabe> harold: We are working on this at the moment
16:00:08 <MichaelKifer> zakim, unmute me
16:00:08 <Zakim> MichaelKifer should no longer be muted
16:00:18 <FrankMcCabe> harold: we have an update on semantics wrt positive conditions, e.g. model theoretic semantics
16:00:22 <MichaelKifer> q+
16:00:32 <Zakim> -SaidTabet
16:00:51 <FrankMcCabe> harold: now moving to horn logic and conditions
16:01:15 <FrankMcCabe> michael: it is possible to give a semantics inc conditions. parameterized by the language
16:01:18 <MoZ_> MoZ_ has joined #rif
16:01:37 <FrankMcCabe> michael: esp. model theoretic semantic based language
16:01:58 <FrankMcCabe> csma: can it be extended to negative conditions and built-ins?
16:02:28 <FrankMcCabe> michael: should be ok.
16:02:48 <FrankMcCabe> michael: am planning to enhance wiki
16:03:40 <csma> http://www.w3.org/2005/rules/wg/wiki/A.1_Basis%3A_Positive_Conditions
16:03:53 <FrankMcCabe> csma: Did pfps look at the positive conditions section above?
16:04:53 <FrankMcCabe> pfps: this is a cut and paste of previous extensibility document
16:05:33 <FrankMcCabe> michael: parameterized by the model semantics of the language
16:06:21 <FrankMcCabe> pfps: My issue was that there was no contraint on mappings in and out of the RIFRAF
16:06:26 <FrankMcCabe> michael: to be done
16:07:05 <FrankMcCabe> pfps: Need requirements on mappings <-> RIFRAF
16:07:13 <FrankMcCabe> michael: yes
16:07:44 <FrankMcCabe> pfps: Need requirements on mappings <-> RIF
16:08:02 <FrankMcCabe> pfps: needs to be moved from email discussion to the document
16:08:05 <Harold> pfps, can u go to A.1 Basis: Positive Conditions", click "Info", then "Diff", you'll see the changes afer the copy and paste.
16:09:55 <MichaelKifer> q-
16:09:59 <MichaelKifer> zakim, mute me
16:09:59 <Zakim> MichaelKifer should now be muted
16:10:19 <FrankMcCabe> ACTION: michael to update semantics for positive conditions taking account of email discussion on contraints on RIF mappings
16:10:20 <trackbot> Sorry... I don't know anything about this channel
16:11:47 <FrankMcCabe> csma: Mapping between existing rule languages and existing semantics
16:12:09 <FrankMcCabe> pfps: There are big gaps in the mapping at the moment.
16:12:31 <FrankMcCabe> pfps: possible to have degenerate compliance
16:13:18 <MichaelKifer> zakim, unmute me
16:13:18 <Zakim> MichaelKifer should no longer be muted
16:13:30 <csma> q?
16:14:05 <FrankMcCabe> michael: Issue is pfps wants a unified luaguage  for a super-language which is inherently small (without PRs, LP, etc)
16:14:27 <FrankMcCabe> pfps: I am not asking for that (I think)
16:14:52 <FrankMcCabe> ACTION: pfps will describe loophole he sees in the semantics
16:14:52 <trackbot> Sorry... I don't know anything about this channel
16:15:12 <MichaelKifer> zakim, mute me
16:15:12 <Zakim> MichaelKifer should now be muted
16:15:22 <FrankMcCabe> harold: Next step is to proceed to horn clauses
16:15:43 <FrankMcCabe> harold: We might be able to make progress in 2 weeks
16:16:34 <FrankMcCabe> harold: look at existing toc to see current approach
16:16:47 <FrankMcCabe> csma: better to lead the discussion by email
16:17:16 <FrankMcCabe> ACTION: harold, michael to email ideas about extending semantics to cover horn logic
16:17:16 <trackbot> Sorry... I don't know anything about this channel
16:18:22 <FrankMcCabe> csma: We need more volunteers to see how existing semantics and syntactic mappings are useful
16:18:39 <AlexKozlenkov> zakim, unmute me
16:18:39 <Zakim> AlexKozlenkov should no longer be muted
16:19:33 <FrankMcCabe> alex There are many rule languages that belong to the PR categories. Existing semantic analysis not helpful to those languages
16:20:16 <AlexKozlenkov> zakim, mute me
16:20:16 <Zakim> AlexKozlenkov should now be muted
16:20:18 <PaulaP> I can also try to find time to map the cond lang to Xcerpt/XChange
16:20:23 <FrankMcCabe> ACTION: alex will look at condition part of a sample PR language to see if semantic mapping is feasable, easy etc.
16:20:24 <trackbot> Sorry... I don't know anything about this channel
16:21:02 <FrankMcCabe> ACTION: paulaP will look at condition part Xcerpt/XChange see if semantic mapping is feasable, easy etc.
16:21:02 <trackbot> Sorry... I don't know anything about this channel
16:21:04 <LeoraMorgenstern> I will
16:21:12 <LeoraMorgenstern> Which language?
16:21:37 <LeoraMorgenstern> any version of prolog?
16:21:40 <LeoraMorgenstern> No, no preferenc
16:21:57 <LeoraMorgenstern> Okay
16:22:03 <LeoraMorgenstern> zakim, unmute me
16:22:03 <Zakim> Leora_Morgenstern should no longer be muted
16:22:19 <FrankMcCabe> ACTION: Leora will look at condition part of prolog to see if semantic mapping is feasable, easy etc.
16:22:19 <trackbot> Sorry... I don't know anything about this channel
16:22:31 <FrankMcCabe> ACTION: Frank will look at condition part of Go! to see if semantic mapping is feasable, easy etc.
16:22:31 <trackbot> Sorry... I don't know anything about this channel
16:22:36 <AlexKozlenkov> go!
16:22:37 <LeoraMorgenstern> Okay, so you don't need me to do a version of Prolog, then.
16:22:43 <LeoraMorgenstern> q+
16:22:52 <csma> ack leora
16:23:19 <FrankMcCabe> The issue wrt prolog is the meta language
16:24:31 <LeoraMorgenstern> zakim, mute me
16:24:31 <Zakim> Leora_Morgenstern should now be muted
16:24:36 <csma> q?
16:24:47 <AlexKozlenkov> zakim, who is here?
16:24:47 <Zakim> On the phone I see csma, Harold, FrankMcCabe, David_Hirtle, Allen_Ginsberg (muted), PaulaP (muted), AlexKozlenkov (muted), Dave_Reynolds, Axel_Polleres (muted), josb (muted), pfps,
16:24:50 <Zakim> ... Elisa_Kendall (muted), StellaMitchell (muted), Sandro, Leora_Morgenstern (muted), JeffP, Gary_Hallmark, Evan_Wallace, igor (muted), johnhall (muted), MichaelKifer (muted)
16:24:54 <Zakim> On IRC I see MoZ, FrankMcCabe, MichaelKifer, GaryHallmark, AlexKozlenkov, johnhall, EvanWallace, JeffP, StellaMitchell, Elisa, pfps, josb, IanH, AxelPolleres, DaveReynolds,
16:24:56 <Zakim> ... RRSAgent, Allen, Zakim, csma, LeoraMorgenstern, igor, DavidHirtle, Harold, PaulaP, sandro, trackbot, Keep
16:25:10 <PaulaP> +1
16:25:12 <FrankMcCabe> csma: Propose to adjourn
16:25:20 <AlexKozlenkov> OK, bye folks
16:25:20 <JeffP> bye
16:25:23 <Zakim> -Evan_Wallace
16:25:24 <PaulaP> bye
16:25:24 <Zakim> -igor
16:25:24 <Zakim> -AlexKozlenkov
16:25:26 <Zakim> -Axel_Polleres
16:25:26 <Zakim> -Allen_Ginsberg
16:25:27 <Zakim> -Gary_Hallmark
16:25:29 <Zakim> -Harold
16:25:31 <Zakim> -PaulaP
16:25:33 <Zakim> -Elisa_Kendall
16:25:37 <Zakim> -Sandro
16:25:38 <Elisa> exit
16:25:39 <Zakim> -JeffP
16:25:41 <Zakim> -johnhall
16:25:43 <Zakim> -Dave_Reynolds
16:25:47 <Zakim> -StellaMitchell
16:25:49 <Zakim> -Leora_Morgenstern
16:25:51 <Zakim> -josb
16:25:55 <Zakim> -pfps
16:25:55 <csma> rrsagent, make minutes
16:25:55 <RRSAgent> I have made the request to generate http://www.w3.org/2006/07/11-rif-minutes.html csma
16:26:09 <Zakim> -David_Hirtle
16:26:17 <Zakim> -MichaelKifer
16:30:57 <Zakim> -FrankMcCabe
16:31:01 <Zakim> -csma
16:31:02 <Zakim> SW_RIF()11:00AM has ended
16:31:03 <Zakim> Attendees were csma, FrankMcCabe, David_Hirtle, Allen_Ginsberg, PaulaP, Dave_Reynolds, Axel_Polleres, josb, AlexKozlenkov, IanH, pfps, Elisa_Kendall, +1.503.317.aaaa, Harold,
16:31:07 <Zakim> ... StellaMitchell, Sandro, Leora_Morgenstern, JeffP, GiorgosStoilos, Gary_Hallmark, Evan_Wallace, igor, SaidTabet, johnhall, MichaelKifer
16:57:18 <sandro> RRSAgent, make record public
17:58:47 <FrankMcCabe> FrankMcCabe has joined #rif
18:31:05 <Zakim> Zakim has left #rif