W3C

- DRAFT -

RIF Telecon 1 May 07

1 May 2007

Agenda

See also: IRC log

Attendees

Present
Philippe_Bonnard, Harold, +39.047.101.aabb, Dave_Reynolds, josb, ChrisW, Deborah_Nichols, PaulVincent, Leora_Morgenstern, StellaMitchell, Sandro, Allen_Ginsberg, csma, johnhall, Gary_Hallmark
Regrets
FrançoisBry, IgorMozetic, DavidHirtle, MichaelSintek, MohamedZergaoui, HassanAitKaci
Chair
Chris Welty
Scribe
Leora Morgenstern

Contents


 

 

<PhilippeB> Zkim, mute me

I'll volunteer, while I still remembver zakim commands

<ChrisW> Scribe: Leora Morgenstern

<ChrisW> scribenick: LeoraMorgenstern

Admin

sandro: when will we have the demo?
... it seems we don't want to push it off to the end of the meeting.

RESO

<ChrisW> http://lists.w3.org/Archives/Public/public-rif-wg/2007Apr/0059.html

RESOLUTION: accept minutes of April 17 meeting

<ChrisW> http://lists.w3.org/Archives/Public/public-rif-wg/2007Apr/0084.html

APPROVED: accept minutes of April 17 meeting

RESOLUTION: accept minutes of April 24 meeting

APPROVED: accept minutes of April 24 meeting

got off will call in again

Liason

<StellaMitchell> chris: any liason reports? ... (none)

F2F

<josb> yes

<josb> I did not check yet

<csma> I did

<josb> I filled it in myself :-)

<josb> anyway, people will have some time

chris: Any new information on the F2F?

Jos: room has been booked, technical needs are taken care of (mikes, phones, etc.)

josb: People should book hotels as soon as possible, because choice is already starting to get limited

Chris: why the 3 hotels listed on the wiki page?

josb: Took one hotel from each of three price categories: each is reasonably near the bus stop.
... However, any hotel on the list would be reasonable.

Chris: How many people have answered the questionnaire?

<DaveReynolds> http://www.w3.org/2002/09/wbs/38457/f2f6reg/

Chris: 15 people have responded.
... please fill out the form, whether or not you're attending. Need to plan for the meals, etc.

Technical Design

Chris: Philippe will be giving a demo.

<PhilippeB> Conference ID 5792048

<sandro> thttp://www.w3.org/2002/09/wbs/38457/f2f6reg/

Chris: We'll try using the demo using the raindance conferencing software.

<PhilippeB> http://ilog.on.raindance.com

Chris: If you've already installed raindance, all you need to do is log in with the conference no Philippe provided above.

<Deborah_Nichols> I am - Deborah

yes, I am

Philippe: We'll have a demo of POC showing RIF core enabling interchange between JBoss and ILog (get)
... in order to test the core of RIF and the extensibility (.. didn't hear, get)

<josb> don't wait for me

Philippe first presented slides showing the POC architecture.

Philippe, will you be posting the slides somewhere on the web, so we can reference them?

<ChrisW> gary, we are in a demo

Philippe: Table containing translations from production rules concepts to RIF concepts

<GaryHallmark> is there a raindance conf id?

<csma> 5792048

<DaveReynolds> I've just been kicked off the Raindance conf

<sandro> Can we see the web page directly, or do we have to only see it like this, through the screen-broadcaster?

<sandro> (If I have a password to MISMO's site, I don't know about it.)

<Allen> what is "<constaints>?

<csma> Sandro, are you on the Mismo wiki?

<sandro> No, I don't know the password to the MISMO wiki.

<csma> you do not need a password: you set it yourself

Philippe: examples of production rules, followed by translation of rule into xml document,, followed by ...

<csma> if you are not registered, you register yourself by giving an loggin ID and a password

<ChrisW> daver, did you get back on?

<ChrisW> the conf shows you in

<DaveReynolds> Yes, I had to kill the client and restart

<sandro> Okay, finally got on to the mismo site

<sandro> MISMO Wiki page being presented by Philippe

<sandro> (free site registration required)

<DaveReynolds> (Requires acceptance of MISMO License terms IPR rules on behalf of employer)

I can't log in to Mismo page --- don't know if IBM would have a problem with the licensing issues: chris, are you logged in?

<Deborah_Nichols> I have it just now, too

<csma> Caveat: this is not supposed to be a public wiki. Let us use it for convenience during the demo, but we should as Philippe to copy the relevant info on the RIF wiki...

<will supply later: a summary of Philippe's presentation, once I've gone through the mismo wiki. Can't hear or see much now.>

<ChrisW> ok

Philippe: showed ideas for round-tripping between ilog and jboss.
... that is, went from ilog to meta-model, then back to ilog.
... more comprehensive roundtripping: go from ilog to xml and back to ilog.

(??, check)

Philippe: can map xml expressions to metamodel and vice versa.

<PaulVincent> Congrats to Philippe and the ILOG / JBoss team for an excellent practical RIF demo!!!

Philippe: By the end of May, at the next meeting, the aim is to have a complete back-and-forth translation of the JBoss and ILog rules engines.

<csma> For some reasons you do not seem to hear me :-(

<csma> Yes

<csma> but apparently I cannot speak

<csma> Philippe, why the getters?

<csma> ok

UCR

<Harold> Philippe, what would be the (update) semantics of the setters?

Issue 25:

Issue 25: RDF and RIF Core

<PhilippeB> Harold, In fact, we change the state of the object and we n otify it to the rule engine.

Chris: Somd discussion in email of RDF in Core, most of which has centered around b-nodes.

Sandro: Jos proposed 3 options:

<josb> yes

Sandro: 1. Tell people who want to use b-nodes to map to closest thing they can find in RIF. Essentially that's skolemizing.

<csma> Harold, could you re-ask by email your question about what are the constraints in Philippe's aprocrif, lest we forget to have that discussion?

Sandro. This is the favorite optionof Sandro and Jos.

<csma> I will ask mine about getters...

Jos: 2nd option: allowing facts with existential variables.

Jos. 3rd option: modularized approach, like in DLLog (??)

Jos: but not clear for production rules how this would be done
... and semantic implications for extensions, e.g., with negation are not clear.

Jos. negation over rule preeicates different than over DL predicates;

Jos: negation as failure vs. classical negation
... 2nd option has problem with extensions that can't account for existential operators, including extensions with negation and with production rules.

Chris: in the first option, b-nodes are replaced with skolem constants.

<csma> Would taht mean no bnodes in Core?

Chris: in the second option, allowing facts with existentially quantified variables, skolemization happens ..

(check)

Chris: possible to have a quantifier that scopes the b-node, so that skolemization would replace it with function containing quantified variables contained therein?

Jos: depends if you allow rules or facts. Facts: that situation wouldn't happen.

Sandro: third option, skolem constants sufficient

Sandro and Jos: discussion about when skolem constants would be sufficient, when skolem functions are needed.

Depends on what happens as rules are fired

Chris: Jos is saying that the idea of going with skolem constants to replace b-nodes only works when rjules languages support published b-node smeantics.
... is this an example of a rules language that doens't support the b-node semantics?

Sandro: doesn't see problems

Dhris: Sandro is saying that rules language that supports gneerating new symbol for each rule firing would know to put in function rather than constant.

Jos: but what if rule fires twice -with new variable biniding?
... vs. rules firing twice, but keeping the same variable binding.

Sandro: this is very much a production rule issue.

Jos: nothing will prevent people from exchanging RDF graphs; RDF already has a semantics for exchange
... leans toward option 1, skolenmiazation during translation

<csma> In the current core, an ANDCONDITION can be an existential

Sandro: same as Jos

Dave: RIF is supposed to be able to use RDF as data model.
... point of being able to do all these things, including b-nodes, is to be able to translate the triples.
... Need RDF in both head and body of rule.

Jos: But if embed RDF as set of facts, can make usual RIF rules that quantify ove rfacts, or data in facts. So RDF data gets used by default.
... even though syntactically, we might want to allow people to write things that look like RdF triples in head and body.

<sandro> -1 mirroring SPARQL

<sandro> -1 mirroring SPARQL's treatment of b-nodes

Harold: SPARQL has dealt with b-nodes --- can we use similar treatment to Sparql's treament?

Dave: not following Jos's suggestion.

Chris: I think we're all in agreement.
... RDF graph translated into RIF rules language
... RDF rules get translated into RIF core.

<josb> yes

(missing above, how does RDF graph get translated into RIF rules language .. missing end of chris's sentence.)

Chris: Michael not here.

Harold: not sure if Michael agrees or disagrees.

<josb> ok

Sandro: Jos should propose text to go into the document regarding this issue.
... Jos should just put the text into the wiki?

<DaveReynolds> +1 to putting in email

Chris: No, Jos should put the text into email.

<ChrisW> http://lists.w3.org/Archives/Public/public-rif-wg/2007Apr/0042.html

<sandro> ACTION: JosDeBruijn to propose text in e-mail for changes to RIF Core, encompassing the "just Skolemize" approach to handling b-nodes [recorded in http://www.w3.org/2007/05/01-rif-minutes.html#action01]

<rifbot> Sorry, couldn't find user - JosDeBruijn

<sandro> ACTION: Jos_De_B to propose text in e-mail for changes to RIF Core, encompassing the "just Skolemize" approach to handling b-nodes [recorded in http://www.w3.org/2007/05/01-rif-minutes.html#action02]

<rifbot> Sorry, couldn't find user - Jos_De_B

Issue 31: Disjoint names (predicates, individuals)

Chris: Dave had sent email on the topic, April 18

<sandro> ACTION: Jos_de to propose text in e-mail for changes to RIF Core, encompassing the "just Skolemize" approach to handling b-nodes [recorded in http://www.w3.org/2007/05/01-rif-minutes.html#action03]

<rifbot> Sorry, couldn't find user - Jos_de

Dave: in email, tried to characterize 3 main options and give examples/test case, showing difference between these three.

<sandro> ACTION: Jos de B to propose text in e-mail for changes to RIF Core, encompassing the "just Skolemize" approach to handling b-nodes [recorded in http://www.w3.org/2007/05/01-rif-minutes.html#action04]

<rifbot> Sorry, amibiguous username (more than one match) - Jos

<rifbot> Try using a different identifier, such as family name or username (eg. jdebruij, jderoo)

<sandro> ACTION: jdebruij to propose text in e-mail for changes to RIF Core, encompassing the "just Skolemize" approach to handling b-nodes [recorded in http://www.w3.org/2007/05/01-rif-minutes.html#action05]

<rifbot> Created ACTION-285 - to propose text in e-mail for changes to RIF Core, encompassing the \"just Skolemize\" approach to handling b-nodes [on Jos de Bruijn - due 2007-05-08].

Dave: used examples where P and Q were both individuals and predicates; see how the 3 options (overlapping sort,s, punning) worked out.
... DS --> DS no work
... ONDS --> ONDS, needw new names to distinguish between P as indiv., p as Pred, but otherwise okay.
... same with ONDS to ONDS
... hard case comes when there's overlapping sorts translating to overlapping sorts. (Check against the email.)

<josb> for core I prefer DS

<sandro> Dave: Argument for DS --- it makes translating from RIF into any mode easy.

<josb> OS is not compatible with OWL DL!

Chris: But despite the ease, no one seemed to support the view.

Sandro: we don't understand the issues well enough to pick sides yet.

<DaveReynolds> josb: sorry, yes I meant OWL/full of course

Chris: So it's still on the table.

Dave: DS could be called no aliasing

Chris: or, no overloading

Dave: analogy in programming languages: difference between static and dynamic typing.
... onds is like static overloading in java.
... vs OS --- dyanmic overloading, e.g, as in Python (check)

<sandro> ds: no aliases, no overloading (Early C)

<sandro> onds: punning overloading -- disambiguate at compile time (Java)

<sandro> os: like dynamic typing (Python)

<josb> I understand

<DaveReynolds> I think I do

<sandro> I think I understand them again, now.

<PaulVincent> Understand: "sort of" ...

I will understand after I reread the stuff.

<Allen> not sure

<AxelPolleres> need more context, but was late again, sory. :-(

<StellaMitchell> +1

<Deborah_Nichols> +1

Chris: Allen, what would help you understand this better?

<Allen> no

Chris: We'll discuss this again next week; everyone should try to read the wiki page and prepare for a discussion next week.

<ChrisW> http://www.w3.org/2005/rules/wg/wiki/Issue-31

Sandro: we need to look at all the possible combinations of languages inthe mapping.
... (e.g., onds to onds, onds ot on), etc.

zaim, next item

RIFRAF

<Allen> no

<AxelPolleres> same here, will progress starting from next week more

Nothing new for RIFRAF]

AOB

<PhilippeB> Leora, there is a public Wiki page presenting the global architecture of the MISMO POC: http://wiki.mismo.org/MISMOWiki/Wiki.jsp?page=ProofOfConcept

no AOB

Summary of Action Items

[NEW] ACTION: jdebruij to propose text in e-mail for changes to RIF Core, encompassing the "just Skolemize" approach to handling b-nodes [recorded in http://www.w3.org/2007/05/01-rif-minutes.html#action05]
[NEW] ACTION: Jos de B to propose text in e-mail for changes to RIF Core, encompassing the "just Skolemize" approach to handling b-nodes [recorded in http://www.w3.org/2007/05/01-rif-minutes.html#action04]
[NEW] ACTION: Jos_de to propose text in e-mail for changes to RIF Core, encompassing the "just Skolemize" approach to handling b-nodes [recorded in http://www.w3.org/2007/05/01-rif-minutes.html#action03]
[NEW] ACTION: Jos_De_B to propose text in e-mail for changes to RIF Core, encompassing the "just Skolemize" approach to handling b-nodes [recorded in http://www.w3.org/2007/05/01-rif-minutes.html#action02]
[NEW] ACTION: JosDeBruijn to propose text in e-mail for changes to RIF Core, encompassing the "just Skolemize" approach to handling b-nodes [recorded in http://www.w3.org/2007/05/01-rif-minutes.html#action01]
 
[End of minutes]

Minutes formatted by David Booth's scribe.perl version 1.128 (CVS log)
$Date: 2007/05/01 16:33:48 $

Scribe.perl diagnostic output

[Delete this section before finalizing the minutes.]
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/XXX/JBoss/
Succeeded: s/YYY/ILog/
Succeeded: s/pUnning/ONDS/
Found Scribe: Leora Morgenstern
Found ScribeNick: LeoraMorgenstern
Default Present: Philippe_Bonnard, Harold, +39.047.101.aabb, Dave_Reynolds, josb, ChrisW, Deborah_Nichols, PaulVincent, Leora_Morgenstern, StellaMitchell, Sandro, Allen_Ginsberg, csma, johnhall, Gary_Hallmark
Present: Philippe_Bonnard Harold +39.047.101.aabb Dave_Reynolds josb ChrisW Deborah_Nichols PaulVincent Leora_Morgenstern StellaMitchell Sandro Allen_Ginsberg csma johnhall Gary_Hallmark
Regrets: FrançoisBry IgorMozetic DavidHirtle MichaelSintek MohamedZergaoui HassanAitKaci
Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2007Apr/0100.html
Got date from IRC log name: 1 May 2007
Guessing minutes URL: http://www.w3.org/2007/05/01-rif-minutes.html
People with action items: b de jdebruij jos jos_de jos_de_b josdebruijn

WARNING: Input appears to use implicit continuation lines.
You may need the "-implicitContinuations" option.


[End of scribe.perl diagnostic output]