See also: IRC log
<csma> scribe: Leora Morgenstern
<csma> scribenick: LeoraMorgenstern
<johnhall> zakim ??p25 is me
<johnhall> zakim ??p26 is me
Next meeting will be next week, July 24th.
Action 327 on cmsa DONE to be datasets on agena
Action 325 DONE to publicize minutes of last F2F
Action 324 on Chris to ask Deborah Nichols about minutes of 6-26 ?
Unclear if that was done or not.
PROPOSED: accept meetings of July 10 minutes telecon.
RESOLUTION: accept meetings of July 10 minutes before telecon
Action 324 CONTINUED since Chris is not here.
PROPOSED: accept meetings of F2F6 in Innsbruck
That will be kept open until next week since Harold and possibly others didn't have a chance to go through them,.
No amendments to agenda.
<johnhall> SBVR - nothing to report
No actions for this item.
No news about liaison.
There are 2 proposal for F2F. One is Harold's, in Nova Scotia
Possibility to collocate with OMG meeting in Jacksonville (?) week of September 26th.
<csma> http://www.w3.org/2005/rules/wg/wiki/F2F7
John Hall is looking into the possibility of collocating with OMG.
No information yet on costs per person from wiki
cmsa: if we make decision next week, earliest for f2f is Sept. 18
If we make decision next week, earliest for f2f is Sept. 25.
s/If we make/cmsa:/If we make/
Chris: can have ff on Sept 27-28
or Oct. 3-4 (W, Th)
... there would be no costs other than transportation
Johnhall: costs would be approx. 120 per head per day
Discussion on dates for possibilities for f2f7 at IBM
ACTION on leora to find out what dates are available besides what dates that Chris has reserved.
sandro: we should close poll by July 23 and make decision by Juoy 24.
cmsa: one week for decision, especially in vacation time, is too short.
<PaulaP> no objection
sandro: we've been discussing this for months
chris: agrees with sandro
cmsa: any objection to closing
poll on July 23?
... hearing no objection, we'll close poll on July 23.
<ChrisW> Meeting: RIF Telecon 17 July 2007
<ChrisW> Chair: Christian de Sainte-Marie
Action 323 on Sandro is due next week
Sandro: would like to put that off for one more week
<ChrisW> Scribe: Leora Morgenstern
Action 309-311 are completed. will be discussed today
Action 303, 301 on Jos and Harold, and one on Michael to remove overlapping sorts
Harold: done
Michael: done
cmsa: any objection to keeping it open until we discuss it?
action 298 on Gary to show how to use xml schema for app data model: completed and closed
Acdtion 260 to put short entry on data sets, outlining the issues on Dave: done
bunch of actions open in Arch. open until August
<Harold> Modularization: http://www.w3.org/2005/rules/wg/wiki/Arch/RIF_Components/RIF_Dialect_Structure
3 resolutions:
to better understand RIF Core, create 2 task forces,
one focusing on Horn, one focusing on production rules
<csma> PROPOSED: To better understand what RIF Core could be, create two
<csma> task forces in RIF, one ofcusing on Horn and one focusing on production
<csma> rules.
<csma> PROPOSED: Rename the current "RIF Core" draft: "RIF Horn dialect".
<csma> PROPOSED: Create a "RIF PR dialect".
cmsa: idea is not to have
divergent dialects
... idea is to have a better idea of what a PR dialect would
be, what kind of extensions we'd need
... it seems clear that PR dialect couldn't be an extension of
current RIF Core i
<sandro> Harold, you're just saying you think the current Core should be *named* something other than "RIF Horn Dialect"? Or you want it to BE something different?
cmsa: have to go down to find common core, from which both HR dialect and PR dialect come
Harold: anyway, we have gone beyond Horn, with equality, etc.
<IgorMozetic> what about: RIF LP dialect ?
<sandro> Harold: "RIF Logic Dialect"
chris: Harold isn't saying to
extend the core, merely to change the name
... since anyway, what's in core now is beyond Horn
<sandro> Michael: "RIF Logical Core Dialect"
michael: that's why it makes sense to call it logic
cmsa: we don't want to forego idea of having one common core
Michael: makes sense to develop a core for logic dialects, and a core for production rule dialects, both of which come from a simpler common core
<DaveReynolds> Perhaps use "base" - "PR Base" and "LP Base"
cmsa: we don't want the term core except for in the one core from which all PR and HR dialects spring forth.
<ChrisW> too close to "data base"
<sandro> you beat me, Dave, I was just going to suggest "base" :-)
+1 Dave
<sandro> "RIF Logic Base Dialect"
cmsa: base too close to database
foundation?
<sandro> "RIF Logic Basis"
<sandro> "RIF Basic Logic Dialect"
<Harold> PROPOSED: To better understand what RIF Core could be, create two task forces in RIF, one focusing on a Logic Basis and one focusing on a PR Basis.
<ChrisW> "RIF Basic Logic Dialect"
<ChrisW> "RIF Basic PR Dialect"
<ChrisW> ?
cmsa: to Michael --- you're not proposing to extend the basis logic dialect? PR will almost certainly have notion of negation.
<DaveReynolds> ChrisW: +1 (though if we only worry about the names we are home and dry :-))
Michael: No
Cmsa: except for name, any
objection to creating these 2 task forces?
... i.e., any objection to these 3 resolutions?
... okay, hearing no objection, we'll pass the resolutions once
we decide on the names.
<AllenGinsberg> 0) RIF COMMON CORE 1) RIF LOGICAL DIALECTS CORE 2) RIF PR DIALECTS CORE
cmsa: we'll probably just use the names basic logic and basic pr in conversation.
cmsa to allen: basic or basis better than term "core"
<ChrisW> DaveR: naming discussions are usually longer than technicl ones
<ChrisW> ...because everyone understands the discussion
Allen: we should have a task force for the common core, at the same time as the other two task forces, otherwise it might seem as if we're abandoning idea of common core.
<DaveReynolds> ChrisW: agreed :-)
<sandro> (I like Allen's suggestions, too.)
cmsa: we'd keep the plenary telecon
<Harold> Allen, Yes, we can have a 'twin core', and later (re)discover the 'common nucleus' underneath.
cmsa: but some telecons would be
more relevatnt ot logic task force; some more relevant to pr
task force.
... idea is not for two task forces to separate.
... therefore, we don't want to have a core task force: that is
the working group itself.
proposed resolutions now become:
<sandro> csma: RIF Basic Logic Dialect, RIF Basic PR Dialect
<csma> PROPOSED: To better understand what RIF Core could be, create two
<csma> task forces in RIF, one ofcusing on Horn and one focusing on production
<csma> rules
<csma> PROPOSED: To better understand what RIF Core could be, create two
<csma> task forces in RIF, one ofcusing on Horn and one focusing on production
<csma> rules
<csma> PROPOSED: To better understand what RIF Core could be, create two
<csma> task forces in RIF, one ofcusing on
<csma> a logical dialect and the other one focusing on production rules
<csma> dialect
<sandro> PROPOSED: To better understand what RIF Core could be, create two task forces in RIF, one focussing on a logical dialect and the other one focusing on a production rules dialect
no objection so
<sandro> RESOLVED: To better understand what RIF Core could be, create two task forces in RIF, one focusing on a logical dialect and the other one focusing on a production rules dialect
Onto second resolution
<csma> PROPOSED: Rename the current "RIF Core" draft: "RIF basic logic dialect"
RESOLUTION: Rename the current "RIF Core" draft: "RIF basic logic dialect"
Onto third resolution
<csma> PROPOSED: Create a "RIF basic PR dialect"
RESOLUTION: Create a "RIF basic PR dialect"
cmsa: Regarding organization of
these task forces, we'll continue as we have, but will have new
email topics, and new sets of actions, so we can focus
discussion on one or the other.
... no need to go frurther, no need for formal
organization
... I've been working on strawman for basic PR dialect; hope to
publish it before the end of the week, to start off the
discussion.
... sandro put out a strawman for this in email
sandro: In Innsbruck, we talked
about requirements for RIF XML serialization. Not many
requirements.
... One firm requirement: (Missed it)
... could pick a language that was a subset of rdf/xml,.
allowing use of rdf tools.
... harold pointed out one flaw in the way rdf does data types
(check)
... good to aim for both communities
cmsa: didn't see relationship between xml syntax strawman and rif serizalizatoin strawman sent out yesterday
sandro: mapping from asn to xml
schema
... and mapping from the instance level
... those 2 mappings are strongly connected, inform each
other,
... but don't subsume (??) one another
cmsa: in oo language like ilog,
and many java pr engine, we would have a rif object model
conforming with asn syntax, systematically derived from xml
syntax, mapping would not go from internal model for rules in
engine to xml, but from internal representation in engine to
abstract asn representation to xml document.
... in that view, don't think we need rif syntax data structure
that Sandro proposed
... I would expect that: xml syntax for rif dialect is concrete
syntax for that rif dialect.
... asn is abstract syntax for that same dialect.
... so i understand the first xml syntax strawman because I
understand how to derive xml syntax from asn abstract
syntax
... where asn syntax has classes like rules, ifx,
onditions,
... but now, in the serizalization strawman, I see yet another
syntax for rif, w.ith not of these abstract concepts.
sandro: let's forget about the
serialization strawman for now, then.
... I can go back to the way I was talking to it before.
michael: similar question to
sandro's
... what' s the advantage of using the xml syntax? Just that
you can use rdf tools?
... that's kind of vague ... what problem are we trying to
solve?
... and what are the advantage of your soluiton?
... I'm having difficulty understanding what it's all
about?
cmsa: doesn't undersatnd michael's question
sanddro: michael thinks that inthe core doc, there's already a start at xml syntax
sandro: there isn't an existing syntax
michael: yes, there's something
sandro: but it doesn't give
datatypes
... not in the examples
michael: so, yes, we should do it better
sandro: so that's what I'm trying to do, to nail all that stuff down, and use what another working group has spent years working on.
<sandro> stuff like "$49" and "LeRif"
cmsa: in the wd, there are
proposals for xml syntax, but they haven't been
furthered.
... question is not just: what is xml syntax for the current
draft, but how do we derive the xml syntax.
<GaryHallmark> the problem is we need some simple rules to transform a syntax in asn to a syntax in xml schema
<Harold> We already had discussed solutions for "$49" and "LeRif" here: http://www.w3.org/2005/rules/wg/wiki/A.1.1_Basis%3A_Positive_Conditions_over_Bipartitioned_Constants
cmsa: regarding why xml/rd rather than not-rdf xml: if it gives us the possibility to use both kinds of tools, so that both rdf people and xml people can stay in their worlds, what's the drawback?
<GaryHallmark> the question is whether rdf/xml helps or hinders the solution to the problem
sandro: up to members of the working group to advocate for the tools they want to use.
<GaryHallmark> JAXB
<GaryHallmark> acronym for Java API for Xml Binding
sandro: for example, gary has advocated for JAXB.
<GaryHallmark> pretty much any legal xml schema will "work" for jaxb, but it could yield a very cumbersome api
<csma> http://lists.w3.org/Archives/Public/public-rif-wg/2007Jul/0058.html
Action on Gary to check whether there would be problems with JAXB if the xml syntax would be derived from the asn in the email posted above?
cmsa: Gary, problem hidden in the translator?
<Harold> The translator would also need to be maintained, as we develop RIF through its lifecyle.
Gary: some confusion about how the translation would work .. .. don't know enough now to produce the translation ...
cmsa: Sandro, can you clarify this for Gary?
zakkim, unmute me
<sandro> ACTION: Sandro to produce XML Schema following his Serialization Strawman proposal -- due Julu 27 [recorded in http://www.w3.org/2007/07/17-rif-minutes.html#action01]
<rifbot> Created ACTION-328 - Produce XML Schema following his Serialization Strawman proposal -- due Julu 27 [on Sandro Hawke - due 2007-07-24].
<ChrisW> I have to leave the call.
<Harold> I noticed asn07 now being often mentioned in the discussion instead of asn06, although at F2F6 I heard asn07 was still purely experimental.
cmsa: there were a number of side
discussions ...
... (you (Sandro?)) proposed that the root of the document
should be one thing, Harold, that it should be another
Sandro: still useful to try to have this in RDF, but I know Harold doesn't agree.
<sandro> rdf:RDF to rif:RIF
Harold: it should be mappable to RDF
cmsa: we need to find a use case where the fact htat it is rdf xml and not pure xml is a problem.
Dave: for the issue of how to
extend on top of RDF: in the OWL world, the issue is not a
syntax one, it's that OWL was trying to be a semantic extension
of RDF --- doing the same sntax semantic extension of RDF
caused semantic problems.
... Proposal of RIF is not to do that. It's not that RIf doc
would be in rDF; it's simply to use RDF to encode things ..
therefore the semantic issues that the OWL community faced
would not arise.
<sandro> Dave: We'd need to be very careful in getting advice from OWL community here, since they have semantic issues (with being an RDF extension) which don't seem to apply to us.
cmsa: (following harold): if we use rdf/xml only as syntax, as a carrier, what's the benefit to the rdf people?
<Harold> RDF syntax would allow that a rule has 'extra parts', which are just not mentioned here.
dave: as sandro said, we have a
well-defined self-describing syntax we can just get off the
shelf.
... second, we can use various tools.
... third, it's important that metadata be interpretable as rdf
and if you already have your syntactic encoding in rdf, you
have that.
<Harold> ... but RIF syntax should comply to a 'closed-property assumption'.
cmsa: to harold and/or sandro: in proposed serializatoin, for the examples in current draft, would serizalizatoin give different result from proposed syntax in draft?
sandro: yes, for some of hte
leaves, liek $49?
... for information already there, it shojuldn't be
significantly different.
<Harold> DaveR, re: metadata, you had shown in your 'Worked example' how to embed a pure XML syntax into RDF.
<DaveReynolds> Harold: sure, if you take a RIF document and add additional RDF assertions then it would either be no longer a legal RIF document or the additions would be treated as metadata
sandro: we can show examples, so people can see this better.
<DaveReynolds> Harold: yes, my original proposal was to avoid the RDF/XML discussion for the bulk of the condition language but retain it at the top level to permit metadata
<DaveReynolds> Leora - sorry I was trying to respond to Harold's IRC discussion .. I can see the abmiguity!
next agendum.
<JeffP> +1
<sandro> +1 adjourn
AOB: None
This is scribe.perl Revision: 1.128 of Date: 2007/02/23 21:38:13 Check for newer version at http://dev.w3.org/cvsweb/~checkout~/2002/scribe/ Guessing input format: RRSAgent_Text_Format (score 1.00) Succeeded: s/(???)/ OMG meeting/ WARNING: Bad s/// command: s/If we make/cmsa:/If we make/ Succeeded: s/from asm/from asn/ Succeeded: s/well-defined/well-defined self-describing/ Succeeded: s/build/bulk/ Found Scribe: Leora Morgenstern Found ScribeNick: LeoraMorgenstern Found Scribe: Leora Morgenstern Default Present: Harold, csma, PaulaP, LeoraMorgenstern, Dave_Reynolds, Sandro, IgorMozetic, Allen_Ginsberg, Jeff_Pan, johnhall, DavidHirtle, Gary_Hallmark, ChrisW, Mike_Dean, MichaelKifer Present: Harold csma PaulaP LeoraMorgenstern Dave_Reynolds Sandro IgorMozetic Allen_Ginsberg Jeff_Pan johnhall DavidHirtle Gary_Hallmark ChrisW Mike_Dean MichaelKifer Regrets: JosDeBruijn AxelPolleres PaulVincent HassanAitKaci Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2007Jul/0074.html Got date from IRC log name: 17 Jul 2007 Guessing minutes URL: http://www.w3.org/2007/07/17-rif-minutes.html People with action items: sandro WARNING: Input appears to use implicit continuation lines. You may need the "-implicitContinuations" option.[End of scribe.perl diagnostic output]