14:29:54 <RRSAgent> RRSAgent has joined #rif
14:29:54 <RRSAgent> logging to http://www.w3.org/2008/08/05-rif-irc
14:30:05 <ChrisW> zakim, this will be rif
14:30:05 <Zakim> ok, ChrisW; I see SW_RIF()11:00AM scheduled to start in 30 minutes
14:30:36 <ChrisW> Meeting: RIF Telecon 5-Aug-08
14:30:45 <ChrisW> Chair: Chris Welty
14:30:57 <ChrisW> Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2008Aug/0003.html
14:31:09 <ChrisW> ChrisW has changed the topic to: 5 Aug RIF Telecon Agenda http://lists.w3.org/Archives/Public/public-rif-wg/2008Aug/0003.html
14:31:36 <ChrisW> agenda+ Admin
14:31:40 <ChrisW> agenda+ Liason
14:31:46 <ChrisW> agenda+ Action Review
14:31:51 <ChrisW> agenda+ F2F11
14:31:56 <ChrisW> agenda+ Core
14:32:00 <ChrisW> agenda+ Test Cases
14:32:04 <ChrisW> agenda+ FLD
14:32:08 <ChrisW> agenda+ DTB
14:32:11 <ChrisW> agenda+ PRD
14:32:15 <ChrisW> agenda+ AOB
14:32:25 <ChrisW> rrsagent, make minutes
14:32:25 <RRSAgent> I have made the request to generate http://www.w3.org/2008/08/05-rif-minutes.html ChrisW
14:32:37 <ChrisW> rrsagent, make logs public
15:00:21 <LeoraMorgenstern> LeoraMorgenstern has joined #rif
15:00:45 <Zakim> SW_RIF()11:00AM has now started
15:00:52 <Zakim> + +1.212.781.aaaa
15:01:02 <LeoraMorgenstern> zakim, aaaa is me
15:01:02 <Zakim> +LeoraMorgenstern; got it
15:01:19 <DaveReynolds> DaveReynolds has joined #rif
15:01:24 <Zakim> +[IBM]
15:01:30 <ChrisW> zakim, ibm is temporarily me
15:01:30 <Zakim> +ChrisW; got it
15:02:17 <StellaMitchell> StellaMitchell has joined #rif
15:02:58 <AxelPolleres> AxelPolleres has joined #rif
15:03:26 <ChrisW> zakim, who is here?
15:03:27 <Zakim> +??P27
15:03:32 <josb> josb has joined #rif
15:03:33 <Zakim> On the phone I see LeoraMorgenstern, ChrisW, ??P27
15:03:43 <Zakim> On IRC I see josb, AxelPolleres, StellaMitchell, DaveReynolds, LeoraMorgenstern, RRSAgent, Zakim, ChrisW, Harold, sandro, trackbot
15:03:48 <csma> csma has joined #rif
15:03:50 <Zakim> + +39.047.101.aabb
15:04:10 <Zakim> +[IBM]
15:04:15 <StellaMitchell> zakim, ibm is temporarily me
15:04:18 <Zakim> +StellaMitchell; got it
15:04:29 <AdrianP> AdrianP has joined #rif
15:04:30 <Zakim> +??P30
15:04:34 <ChrisW> zakim, who is talking?
15:04:50 <Zakim> +??P31
15:04:52 <Zakim> ChrisW, listening for 10 seconds I heard sound from the following: LeoraMorgenstern (29%), ChrisW (42%)
15:05:03 <csma> zakim, ??P31 is me
15:05:03 <Zakim> +csma; got it
15:05:50 <Zakim> + +49.351.463.4.aacc
15:06:00 <AdrianP> Zakim, aacc is me
15:06:00 <Zakim> +AdrianP; got it
15:06:05 <AdrianP> Zakim, mute me
15:06:05 <Zakim> AdrianP should now be muted
15:06:20 <LeoraMorgenstern> I'll volunteer.
15:06:23 <ChrisW> zakim, who is on the phone?
15:06:23 <Zakim> On the phone I see LeoraMorgenstern, ChrisW, ??P27, josb, StellaMitchell, AxelPolleres (muted), csma, AdrianP (muted)
15:06:42 <AdrianP> Zakim, unmute me
15:06:42 <Zakim> AdrianP should no longer be muted
15:06:52 <ChrisW> Scribe: AdrianP
15:06:58 <ChrisW> zakim, next item
15:06:58 <Zakim> agendum 1. "Admin" taken up [from ChrisW]
15:07:00 <AdrianP> Zakim, mute me
15:07:00 <Zakim> AdrianP should now be muted
15:07:21 <MichaelKifer> MichaelKifer has joined #rif
15:07:26 <ChrisW> http://lists.w3.org/Archives/Public/public-rif-wg/2008Jul/att-0217/29-July-2008-rif-minutes.html
15:07:35 <AdrianP> ChrisW: Objections to accepting minutes?
15:07:52 <ChrisW> PROPOSED: Accept minutes of 29-July telecon
15:08:00 <ChrisW> RESOLVED: Accept minutes of 29-July telecon
15:08:21 <ChrisW> zakim, next item
15:08:21 <Zakim> agendum 2. "Liason" taken up [from ChrisW]
15:09:35 <AdrianP> ChrisW: Status of SBVR?
15:09:51 <Zakim> +[NRCC]
15:09:53 <AdrianP> Christian: SBVR currently an adopted standard
15:10:33 <AdrianP> Christian: Large document, 400 pages, it is computer independent level specification of business rules
15:10:39 <Harold> Zakim, [NRCC] is me
15:10:39 <Zakim> +Harold; got it
15:10:51 <AdrianP> Christian: RIF is at the execution level, SBVR is not
15:11:25 <AdrianP> Christian: Framework for analysing the business semantics of rules
15:11:28 <Zakim> +Gary_Hallmark
15:11:30 <Harold> http://www.omg.org/spec/SBVR/1.0/
15:12:17 <AdrianP> Harold: use common logic as underlying logic as far as I know
15:12:29 <AdrianP> Christian: there is a mapping at least part of it
15:12:55 <Harold> http://en.wikipedia.org/wiki/Semantics_of_Business_Vocabulary_and_Business_Rules
15:13:19 <AdrianP> ChrisW: Translation between SBVR and RIF?
15:13:26 <Harold> "Common Logic – draft standard 24707, currently being fast-tracked by ISO."
15:13:43 <Harold> "SBVR is aligned with Common Logic – draft standard 24707, currently being fast-tracked by ISO."
15:13:53 <AdrianP> Christian: If you could map SBVR to executable rules it can be mapped to RIF
15:13:57 <Zakim> + +1.631.833.aadd
15:14:10 <MichaelKifer> zakim, aadd is me
15:14:10 <Zakim> +MichaelKifer; got it
15:14:18 <AxelPolleres> q+
15:14:23 <AdrianP> Zakim, unmute me
15:14:23 <Zakim> AdrianP should no longer be muted
15:14:53 <AdrianP> Zakim, mute me
15:14:53 <Zakim> AdrianP should now be muted
15:15:08 <AdrianP> Adrian: HCLS has recharted and will start again in September
15:15:21 <ChrisW> zakim, next item
15:15:21 <Zakim> I see a speaker queue remaining and respectfully decline to close this agendum, ChrisW
15:15:29 <ChrisW> ack a
15:15:30 <AdrianP> Axel: will talk about rif:text next week with the OWL group
15:15:31 <ChrisW> zakim, next item
15:15:31 <Zakim> agendum 3. "Action Review" taken up [from ChrisW]
15:16:34 <AdrianP> Michael: Send an eMail to the list about FLD semantics for PRD
15:16:51 <MichaelKifer> zakim, mute me
15:16:51 <Zakim> MichaelKifer should now be muted
15:17:04 <ChrisW> zakim, next item
15:17:04 <Zakim> agendum 4. "F2F11" taken up [from ChrisW]
15:17:37 <AdrianP> ChrisW: most prefer to have meeting in Manhattan
15:17:57 <AxelPolleres> Are there any Hotel recommendations?
15:18:06 <AdrianP> ChrisW: not far from Central Park and Broadway
15:18:17 <AdrianP> ChrisW: Will put information on the webpage this week
15:18:59 <ChrisW> zakim, next item
15:18:59 <Zakim> agendum 5. "Core" taken up [from ChrisW]
15:20:31 <AdrianP> Christian: Core is one of the documents on the list. What do we do with it? Is it is on priority?
15:21:06 <AdrianP> ChrisW: DTB, PRD, FLD, BLD
15:21:32 <AdrianP> ChrisW: TestCases and Core just some initial work
15:22:16 <AdrianP> Christian: We had a discussion in July about Core
15:22:59 <AdrianP> Christian: concensus was that we could need a Core document if we have a use case for Core
15:23:13 <AdrianP> Christian: Something smaller than the intersection of PRD and BLD
15:23:26 <AdrianP> ChrisW: Is the intersection clear?
15:23:48 <AdrianP> Christian: Not completely yet. But can be figured out from the current working drafts
15:24:28 <AdrianP> Dave: Core something minimum Horn Clause, no equality, ..
15:24:40 <AxelPolleres> no function symbols?
15:25:08 <AdrianP> Christian: We would need a seperate document, we would need a use case for Core
15:25:41 <AdrianP> Christian: if there is no use case for core we might question the need for a seperate document
15:25:49 <AdrianP> Dave: right
15:26:53 <AdrianP> Dave: We would be interested into interchange from Jena, simple Jena rules
15:27:04 <AdrianP> ChrisW: What aspects of BLD would you drop?
15:27:15 <AdrianP> Dave: Core question is function symbols or not
15:27:23 <AdrianP> Dave: recursion
15:27:58 <csma> Dave proposed interchange between simple Jean rules and N3 as a use case for Core
15:28:00 <AdrianP> Dave: ability to call built-ins, but not unrestricted functions and data structures
15:28:10 <csma> s/Jean/Jena/
15:28:23 <AdrianP> ChrisW: Other features which should be droped?
15:28:43 <josb> q+
15:28:44 <AdrianP> Christian: You mentioned membership and classification
15:28:57 <AdrianP> Dave: Depends on the goa of Core
15:29:24 <AdrianP> Dave: If minimum intersection it should be removed
15:29:50 <AdrianP> s/intersection/intersection is the goal/
15:30:10 <AdrianP> Christian: You can not remove the ability to call built-ins from PRD
15:30:44 <AdrianP> Christian: You can not remove frames, named arguments from PRD
15:31:00 <AdrianP> Christian: to be compatible with Clips using named arguments
15:31:31 <AdrianP> ChrisW: Frames seem to be in the intersection
15:31:37 <AdrianP> Dave: right
15:32:24 <AdrianP> Christian: PRD in the first WD has named arguments since they are in BLD
15:32:50 <AdrianP> ChrisW: list, frames should be in Core?
15:32:55 <josb> q?
15:33:00 <AdrianP> Harold: Yes, I think so
15:34:04 <AdrianP> Dave:  Have to think about it, if I can be editor
15:34:11 <AdrianP> Harold: I would be also interested
15:34:34 <csma> ack josb
15:34:53 <AdrianP> Jos: Removing atomic formulas like classification, member, equality is good idea
15:35:03 <AdrianP> Jos: Remove also disjunction from the body of rules
15:35:11 <AdrianP> Jos: Makes processing easier
15:35:18 <AxelPolleres> +1 to keep out disjunction ats well
15:35:29 <AxelPolleres> s/ats/as/
15:35:29 <Harold> I totally agree with removing disjunction from bodies of rules in Core.
15:35:37 <ChrisW> zakim, next item
15:35:37 <Zakim> agendum 6. "Test Cases" taken up [from ChrisW]
15:36:08 <Harold> Adrian, I could scribe temporarily
15:36:09 <AdrianP> ChrisW: Test Cases are important since we are a standardization body
15:36:53 <AdrianP> ChrisW: We need a test cases document
15:37:07 <AdrianP> ChrisW: We postponed it to finish last call
15:37:13 <AdrianP> Zakim, unmute me
15:37:13 <Zakim> AdrianP should no longer be muted
15:37:19 <Zakim> -Gary_Hallmark
15:37:39 <csma> http://www.w3.org/2005/rules/wiki/Category:Test_Case
15:37:47 <Zakim> +Gary_Hallmark
15:37:48 <Harold> Adrian: Two wiki pages: old and new wiki pages
15:37:52 <csma> http://www.w3.org/2005/rules/wg/wiki/Arch/Test_Cases
15:38:28 <csma> action: ChristopherW to add a link to test cases pages on the RIF front page
15:38:28 <trackbot> Sorry, couldn't find user - ChristopherW
15:38:44 <Harold> Chris: Links from main pages should be added.
15:38:48 <csma> action: chris to add a link to test cases pages on the RIF front page
15:38:48 <trackbot> Created ACTION-547 - Add a link to test cases pages on the RIF front page [on Christopher Welty - due 2008-08-12].
15:38:53 <Harold> Adrian: Added interface for test cases.
15:38:55 <GaryHallmark> GaryHallmark has joined #rif
15:39:04 <AdrianP> http://www.w3.org/2005/rules/wiki/Category:Test_Case
15:39:10 <Harold> ... Concrete implementation is platform-specific.
15:39:30 <Harold> ... But general interface is independent.
15:39:32 <AdrianP> http://www.w3.org/2005/rules/wg/wiki/Arch/Test_Cases
15:40:52 <Harold> Adrian: Ex. in section "Categories of RIF Dialect test cases" at above URL.
15:41:20 <Harold> ... Can test if all test cases succeed.
15:41:45 <AxelPolleres> Do you have something like SPROT in mind? i.e. we'd need to define an interface, result format, etc. 
15:41:50 <Harold> ... E.g. built-in tests ares done in each rule engine, reached from the interface.
15:41:58 <Zakim> -StellaMitchell
15:42:03 <StellaMitchell> sorry, wrong button
15:42:10 <StellaMitchell> calling back
15:42:13 <Harold> s/ares/are/
15:42:49 <Harold> Chris: Time and bandwidth? Both test cases editor and PRD editor?
15:43:01 <AxelPolleres> cf. http://www.w3.org/TR/rdf-sparql-protocol/
15:43:02 <Harold> Adrian: Depends a bit on kinds of test cases.
15:43:08 <StellaMitchell> zakim, ibm it temporarily me
15:43:08 <Zakim> I don't understand 'ibm it temporarily me', StellaMitchell
15:43:24 <Harold> ... E.g., there are very general test cases.
15:43:24 <StellaMitchell> zakim, ibm is temporarily me
15:43:24 <Zakim> +StellaMitchell; got it
15:43:40 <Harold> Chris: Contingent on what we want to do with test cases document.
15:43:47 <GaryHallmark> q+
15:44:04 <Harold> Adrian: Yes, depends a bit on how general these test cases are.
15:44:44 <Harold> Stella: Agree with Adrian.
15:44:54 <Harold> Chris: Would you contribute to doc?
15:45:15 <Harold> Stella: Yes, but cannot pile up all these test cases.
15:45:29 <Harold> Chris: Of course, collaborative.
15:45:52 <Harold> Stella: We should test both RIF consumers and producers.
15:46:04 <Harold> Chris: Good point.
15:46:16 <Harold> Gary: Do we have any (new) test cases?
15:46:28 <Harold> ... interesting ones?
15:46:41 <Harold> ... Corner cases of BLD and PRD.
15:47:20 <Harold> Adrian: The idea is that only the interface is given, from which specific ones are generated.
15:47:37 <Harold> Chris: Tricky to do test cases for an interchange format.
15:47:57 <Harold> Adrian: Idea like for Built-ins. Library + Specific.
15:48:33 <Harold> ... Could also contribute to use case doc with Stella. But first place in my priorities is PRD.
15:48:40 <Harold> Chris: OK
15:49:02 <Harold> Gary: E.g. you could write ground facts and rules and test these.
15:49:04 <AdrianP> here are some examples http://www.w3.org/2005/rules/wiki/Category:Test_Case
15:49:25 <Harold> Chris: Not so much translation test cases.
15:49:59 <Harold> Gary: Right. Need entailment test to help with understanding spec.
15:50:09 <AxelPolleres> By entailment tests we mean just *qround* queries? but no non-ground queries?
15:50:14 <Harold> Christian: We need to make sure that what we specify works.
15:50:22 <Harold> ... need exanples.
15:50:46 <Harold> Gary: Yes, good test cases can show model-theoretic semantics.
15:50:57 <Harold> ... another way to show the implementation.
15:51:39 <Harold> Christian: We should have test cases but they cannot say how things must be.
15:51:48 <Harold> ... You have to say something about semantics.
15:52:00 <Harold> Chris: No one is for translation test cases?
15:52:22 <Harold> Christian: Well, we need them but it's tricky: Several ways to translate some rules.
15:53:12 <Harold> Chris: Just want to clarify if test cases are for exemplifying entailments or translations.
15:53:38 <Harold> Christian: Mostly translation. Semantics must be linked to translation, too.
15:53:42 <LeoraMorgenstern> If Stella is interested in help, I could help out.
15:54:13 <Harold> Chris: Any one else interested become a test cases co-editor? Please let chairs know.
15:54:22 <StellaMitchell> yes 
15:54:25 <StellaMitchell> yes Leora
15:54:28 <LeoraMorgenstern> Okay, great.
15:54:41 <Harold> Adrian: Will move the wiki page as discussed.
15:55:15 <ChrisW> action: stella to work on test cases
15:55:15 <trackbot> Created ACTION-548 - Work on test cases [on Stella Mitchell - due 2008-08-12].
15:55:20 <AdrianP> ok
15:55:25 <ChrisW> action: adrian to work on test cases
15:55:25 <trackbot> Sorry, amibiguous username (more than one match) - adrian
15:55:25 <trackbot> Try using a different identifier, such as family name or username (eg. agiurca, apaschke)
15:55:37 <ChrisW> action: apaschke to work on test cases
15:55:37 <trackbot> Created ACTION-549 - Work on test cases [on Adrian Paschke - due 2008-08-12].
15:55:44 <ChrisW> zakim, next item
15:55:44 <Zakim> I see a speaker queue remaining and respectfully decline to close this agendum, ChrisW
15:55:47 <ChrisW> q?
15:55:50 <ChrisW> ack g
15:55:53 <ChrisW> zakim, next item
15:55:53 <Zakim> agendum 7. "FLD" taken up [from ChrisW]
15:55:57 <AdrianP> Zakim, mute me
15:55:57 <Zakim> AdrianP should now be muted
15:56:07 <MichaelKifer> zakim, unmute me
15:56:07 <Zakim> MichaelKifer should no longer be muted
15:56:35 <AdrianP> Michael: FLD needs some improvement in the ways it is defined
15:56:45 <AdrianP> Michael: right now it is not extensible enough
15:57:24 <AdrianP> Michael: e.g. connectives can not be easily added
15:57:38 <AdrianP> Michael: define signatures for connectives
15:57:58 <AdrianP> Michael: treat connectives like symbols
15:58:27 <AdrianP> ChrisW: should we start trying to get people from other communities to look at FLD
15:58:37 <AdrianP> Michael: yes, would be good
15:59:10 <AxelPolleres> I could contact ALP (Association of Logic Programming)
15:59:24 <AdrianP> Michael: I don't know how lively this publication has been circulated
15:59:45 <AdrianP> Michael: Sandro's announcement has not been widely circulated
16:00:19 <AdrianP> ChrisW: advertising and circulation is our job. We should send it to the lists 
16:00:33 <AdrianP> Michael: also BLD
16:01:05 <Harold> Sandro had sent this http://lists.w3.org/Archives/Public/semantic-web/2008Aug/0002.html
16:01:26 <AdrianP> ChrisW: send an announcement to the mailing where you are on
16:02:07 <AdrianP> Christian: we must make sure that any interested group gets informed about last call
16:02:36 <AdrianP> Christian: If you know any group who might be interested, please inform them
16:02:50 <AdrianP> ChrisW: you might use the text from Sandro's mail
16:03:01 <AdrianP> ChrisW: Let's compile a list of experts
16:04:07 <AdrianP> Christian: We should start a page so that people and mailing lists are not contacted twice
16:04:31 <MichaelKifer> zakim, mute me
16:04:31 <Zakim> MichaelKifer should now be muted
16:04:44 <ChrisW> action: christian to start a wiki page for recording mailing list announcements sent
16:04:44 <trackbot> Created ACTION-550 - Start a wiki page for recording mailing list announcements sent [on Christian de Sainte Marie - due 2008-08-12].
16:04:56 <ChrisW> zakim, next item
16:04:56 <Zakim> agendum 8. "DTB" taken up [from ChrisW]
16:05:22 <ChrisW> zakim, next item
16:05:22 <Zakim> agendum 8 was just opened, ChrisW
16:05:57 <AdrianP> ChrisW: Casting function described in DTB from IRI to String is not a function
16:06:14 <AdrianP> ChrisW: We discussed it some weeks ago; no strong oppinion
16:06:34 <AdrianP> Axel: Preferd to leave it as it is defined in DTB now
16:06:53 <AdrianP> ChrisW: 3 people prefered to remove it; drafted a resolution
16:06:53 <AxelPolleres> q+
16:06:56 <ChrisW> PROPOSED: Remove section 4.3.5 (casting function for rif:iri) from DTB.
16:07:39 <AdrianP> Axel: I wanted to have it published in the working draft and see if there is any feedback
16:07:46 <Harold> I agree.
16:07:59 <AdrianP> Axel: I would not drop it immediately and wait for feedback
16:08:05 <AxelPolleres> :-)
16:08:18 <AdrianP> ChrisW: alternative would be to drop it and then wait for feedback
16:08:27 <AdrianP> ChrisW: We can later reopen it
16:08:56 <ChrisW> PROPOSED: Remove section 4.3.5 (casting function for rif:iri) from DTB.
16:09:18 <josb> +1
16:09:34 <AxelPolleres> -\epsilon
16:09:39 <Harold> 0 
16:09:42 <AdrianP> 0
16:09:50 <DaveReynolds> 0
16:09:53 <ChrisW> +1
16:10:01 <GaryHallmark> 0
16:10:08 <MichaelKifer> +1
16:10:17 <StellaMitchell> +1
16:10:24 <ChrisW> CSMA: +1
16:10:38 <ChrisW> RESOLVED: Remove section 4.3.5 (casting function for rif:iri) from DTB.
16:10:48 <ChrisW> action: axel to remove section 4.3.5 from dtb
16:10:48 <trackbot> Created ACTION-551 - Remove section 4.3.5 from dtb [on Axel Polleres - due 2008-08-12].
16:12:11 <AdrianP> Axel: Editor notes need to be done 
16:12:28 <AdrianP> Axel: I would summarize then and categorize them in an eMail
16:13:02 <AdrianP> ChrisW: Guard predicates need to be discussed as far as I remember
16:13:11 <AdrianP> ChrisW: Yes, please summarize them
16:13:25 <ChrisW> action: axel to summarize open DTB issues in editors notes
16:13:25 <trackbot> Created ACTION-552 - Summarize open DTB issues in editors notes [on Axel Polleres - due 2008-08-12].
16:13:31 <ChrisW> zakim, next item
16:13:31 <Zakim> I see a speaker queue remaining and respectfully decline to close this agendum, ChrisW
16:13:34 <ChrisW> q?
16:13:36 <ChrisW> ack a
16:13:38 <ChrisW> zakim, next item
16:13:38 <Zakim> agendum 9. "PRD" taken up [from ChrisW]
16:14:00 <AdrianP> Christian: lots of issues, editor notes
16:14:10 <AdrianP> Christian: we started to discuss one of them
16:14:22 <AdrianP> Christian: still many things to do till last call
16:14:53 <AdrianP> Christian: all issues need to be discussed and we need to find a consensus
16:15:41 <AdrianP> Christian: I will be on vacations by the end of August; other ILog staff members
16:15:55 <AdrianP> Christian: so no input from the ILog side
16:16:05 <AdrianP> Zakim, unmute me
16:16:05 <Zakim> AdrianP should no longer be muted
16:16:24 <AdrianP> ChrisW: Gary and Adrian have voluntiered to help as editors
16:17:03 <AdrianP> Christian: DTB should work for PRD as well
16:17:26 <AdrianP> Michael: Semantics for conditions is the same for PRD and BLD
16:17:40 <AdrianP> Michael: rephrase the semantics of PRD according to BLD
16:18:15 <AdrianP> ChrisW: update semantics of condition part of PRD
16:18:17 <ChrisW> action: adrian to work on making PRD conditions equivalent to BLD conditions
16:18:17 <trackbot> Sorry, amibiguous username (more than one match) - adrian
16:18:17 <trackbot> Try using a different identifier, such as family name or username (eg. agiurca, apaschke)
16:18:32 <ChrisW> action: apaschke to work on making PRD conditions equivalent to BLD conditions
16:18:32 <trackbot> Created ACTION-553 - Work on making PRD conditions equivalent to BLD conditions [on Adrian Paschke - due 2008-08-12].
16:19:22 <AdrianP> Adrian: What about presentation syntax? Open questions use :- or =>
16:19:31 <AdrianP> Christian: Wait for feedback
16:19:46 <AdrianP> ChrisW: Shall we lively ask for feedback
16:20:06 <AdrianP> Christian: Get as many as much early feedback as we can
16:20:27 <AdrianP> ChrisW: People should start to disseminate to groups, companies, people
16:22:51 <AdrianP> Christian: On the actions side we need a strawman about expressive actions
16:22:56 <AdrianP> Christian: Gary?
16:23:03 <AdrianP> Gary: Skolem functions
16:23:17 <AdrianP> ChrisW: action about object creation action
16:23:18 <ChrisW> action: gary to work on object creation action for PRD
16:23:18 <trackbot> Created ACTION-554 - Work on object creation action for PRD [on Gary Hallmark - due 2008-08-12].
16:25:20 <AdrianP> Gary: interoperate and exchange frame axioms
16:26:10 <AdrianP> ChrisW: I would be concerened, since we would define RIF in RIF
16:26:43 <ChrisW> action: gary to draft email on "frame axioms" for capturing semantics of PRD frames
16:26:43 <trackbot> Created ACTION-555 - Draft email on \"frame axioms\" for capturing semantics of PRD frames [on Gary Hallmark - due 2008-08-12].
16:27:36 <ChrisW> zakim, next item
16:27:36 <Zakim> agendum 10. "AOB" taken up [from ChrisW]
16:27:54 <Zakim> -MichaelKifer
16:27:58 <Zakim> -josb
16:27:59 <ChrisW> zakim, list attendees
16:27:59 <Zakim> As of this point the attendees have been +1.212.781.aaaa, LeoraMorgenstern, ChrisW, +39.047.101.aabb, josb, StellaMitchell, AxelPolleres, csma, +49.351.463.4.aacc, AdrianP,
16:28:01 <Zakim> ... DaveReynolds, Harold, Gary_Hallmark, +1.631.833.aadd, MichaelKifer
16:28:03 <Zakim> -StellaMitchell
16:28:03 <Zakim> -Gary_Hallmark
16:28:07 <Zakim> -DaveReynolds
16:28:07 <AdrianP> Zakim, unmute me
16:28:08 <Zakim> -LeoraMorgenstern
16:28:08 <Zakim> AdrianP was not muted, AdrianP
16:28:10 <Zakim> -Harold
16:28:13 <Zakim> -AxelPolleres
16:28:32 <ChrisW> Regrets: Sandro Hawke MohamedZergaoui
16:28:41 <ChrisW> rrsagent, make minutes
16:28:41 <RRSAgent> I have made the request to generate http://www.w3.org/2008/08/05-rif-minutes.html ChrisW
16:28:56 <AdrianP> \ChrisW: I would be concerened, since we would define RIF in RIF\Christian: I would be concerened, since we would define RIF in RIF\
16:29:07 <ChrisW> zakim, who is on the phone?
16:29:07 <Zakim> On the phone I see ChrisW, csma, AdrianP
16:29:37 <Zakim> -AdrianP
16:30:37 <Zakim> -ChrisW
16:31:07 <Zakim> -csma
16:31:09 <Zakim> SW_RIF()11:00AM has ended
16:31:10 <Zakim> Attendees were +1.212.781.aaaa, LeoraMorgenstern, ChrisW, +39.047.101.aabb, josb, StellaMitchell, AxelPolleres, csma, +49.351.463.4.aacc, AdrianP, DaveReynolds, Harold,
16:31:12 <Zakim> ... Gary_Hallmark, +1.631.833.aadd, MichaelKifer