RIF Telecon 12-Aug-08

12 Aug 2008


See also: IRC log


ChrisWelty, Mike_Dean, LeoraMorgenstern, AxelPolleres, AdrianP, StellaMitchell, josb, MichaelKifer, Harold, Gary_Hallmark, JeffP
Sandro, Hawke, MohamedZergaoui
Chris Welty
LeoraMorgenstern, Harold, Leora




<ChrisW> clear agenda


<ChrisWelty> are people having trouble with zakim?

<StellaMitchell> no problems with zakim for me

<ChrisWelty> harold, are you coming?

<LeoraMorgenstern> Okay.

<ChrisWelty> Scribe: LeoraMorgenstern

<ChrisWelty> http://lists.w3.org/Archives/Public/public-rif-wg/2008Aug/att-0012/2008-08-05-rif-minutes.html

<ChrisWelty> PROPOSED: Accept minutes of last week's telecon

<ChrisWelty> RESOLVED: Accept minutes of last week's telecon

next item admin

any agenda amendments?



(that's liaison)

<AdrianP> yes

Adrian: HCLS will take up again in September?

<AdrianP> HCLS

Action Review

<AxelPolleres> http://lists.w3.org/Archives/Public/public-rdf-text/2008JulSep/0007.html ... yesterday's chat on rdf:text (former rif:text).

<AxelPolleres> my actions: ACTION-551 is done, ACTION-552 is continued.

Adrian had action on making PRD conditions equivalent to BLD conditions.

Adrian: not finished

Also, Axel had an action to summarize open DTB issues.

Axel: continued. But will be ready by next week

Axel had action to remove section 4.3.5. Done.

Adrian, Stella (and Leora) had an action to discuss test cases.

That is pending discussion.


F2F11 is scheduled fro Sept. 26-27.

Participants or potential participants are encouraged to make reservations now.

You need to get in early to get a relatively reasonable hotel rate.

Harold: recommendation of not-so-expensive hotel within walking distance

Chris: laughs
... no IBM special rates for Manhattan

Jos: recommends Expedia

Chris: recommends looking in parts of Brooklyn close to Manhattan and taking the subway.


Need to take phone call

<ChrisWelty> harold, can you scribe for a few minutes?

<Harold> Ok

<josb> no functions should mean no lists

<ChrisWelty> Scribe: Harold

<AxelPolleres> no functions in heads might be enough.

<josb> decidability of reasoning

<JeffP> (I am with Dave on phone)

Dave: Separation External/Internal may be an issue for lists.

<LeoraMorgenstern> I'm back; I can scribe again.

<scribe> Scribe: Leora

<josb> why allow them at all?

<LeoraMorgenstern> Chris: <missing a few moments of context> talking about a limited set of defined built-ins and no other user-defined functions

<AxelPolleres> safety (i.e. no free vars in heads) + safety of built-ins (i.e. no otherwise unbound variables in built-ins)

<LeoraMorgenstern> Jos: Axel was imposing certain restrictions on use of function symbols.

<LeoraMorgenstern> Jos: I see no reason for using function symbols except for external function symbols,

<LeoraMorgenstern> Jos: and restrictions are already defined here, so we have no problem with these.

So, we have some design principles for Core: Decidability would be #1(no function symbols).

<AxelPolleres> jos... assume:

<AxelPolleres> a(x) :- a(y), external( add(y,1,x) ).

<AxelPolleres> a(1).

<AxelPolleres> so, externals can also be problematic.

<LeoraMorgenstern> Jos: You could devise certain restrictions (e.g., function symbols without variables) but I doubt they would be useful

<AxelPolleres> right, that was why I suggestedt safety for head vars and vars in externals.

<LeoraMorgenstern> Chris: what more than Datalog would we want in the core?

<ChrisWelty> core: datalog + keep frame syntax

<LeoraMorgenstern> Axel: we could allow unbound variable in body as long it doesn't occur in the recursion.

<LeoraMorgenstern> Jos: Rule A(x) will never terminate.

<LeoraMorgenstern> Jos: If you want any sort of safety, go for full-fledged safeness.

<LeoraMorgenstern> Axel: was only referring to external predicates.

<AdrianP> same applies for tautologies - so we need the Datalog safeness condition

<AxelPolleres> an extended notion of safeness for external preds would need binding patterns.

<LeoraMorgenstern> Chris: I don't see the need to go with binding patterns for core.

<LeoraMorgenstern> Chris: simplicity of implementation is one of the design requirements for core.

<AxelPolleres> standards safety for both heads and externals is fair enough for core for me.

<LeoraMorgenstern> Jos: But guarantee of termination is also crucial.

<AxelPolleres> jos' statement is not in conflict with chrisW's ...

<LeoraMorgenstern> Jos: Also, if there is a notion of safety, easier to implement..

<LeoraMorgenstern> Chris: I don't find simplicity of implementation to be correlated with decidability.

<JeffP> +1 on decidability on core

<AxelPolleres> yes. I'd even say, finite (minimal) models are a desideratum for core.

<LeoraMorgenstern> Jos: Certain algorithms are associated with guaranteed termination.

<josb> I prefer satisfiability for Core, but do not consider it a strong requirement

<LeoraMorgenstern> Dave: <missing>

<LeoraMorgenstern> Dave: Feature of DTB that we have binding patterns there. (as summarized by Harold)

<LeoraMorgenstern> Axel, could you repeat that?

<LeoraMorgenstern> Axel: I f we say every variable occurring in external predicate needs to be bound in non-external predicates, then we don't need binding patterns, because everything is bound.

<josb> What Axel describes is a notion of safeness

<josb> Binding patterns help in the definition of safeness

<LeoraMorgenstern> Axel: the idea of binding pattenrns is to loosen this restriction. If for example, we say we only need to bind two out of three variables.

<josb> it does

<LeoraMorgenstern> Axel: for Datalog, we don't have external predicates, so we would only have to say that variables appearing in predicates in the head also have to appear in the body.

Paraphrasing Axel, safeness can be seen as an overarching "binding principle", so no syntactic "binding patterns" would be needed.

<AxelPolleres> dave, that would allow exactly the example I wrote above...

<AdrianP> typically mode declarations are used to define such kinds of binding patterns, e.g. add(+,+,?) would mean first argument is bound input, second one too, third one can be output or input, i.e. free or bound

<LeoraMorgenstern> Jos: I don't think Axel's strict defintion of safeness is useful.

<LeoraMorgenstern> Jos: Definition should take external predicates into account.

<AxelPolleres> not in the standard datalog sense...

In LP, "binding patterns" were often called "mode declarations". Introducing explicit "mode declarations" syntax for Core would be problematic: An extralogical feature that we may not want througout all RIF dialects (e.g. in BLD).

<LeoraMorgenstern> Jos: More precisely, one uses external predicates to define safeness.

<DaveReynolds> Harold: not proposing mode declarations could be part of user rules, just defined in the spec as restrictions on using of DTB fns/preds

<LeoraMorgenstern> Jos, could you repeat that?

<LeoraMorgenstern> Jos: <missing something>

<AxelPolleres> the thing is that a binding pattern for my example, alone would not "save" you... the extension of a() would still be infinite.

<LeoraMorgenstern> Chris: Youre' talking about having a mechanism to specify whether a variable needs to be free or bound?

<LeoraMorgenstern> Jos: I don't think we need anything more.

<AxelPolleres> i.e. either you take safety in the strict sense OR you take binding patterns plus safe recursion.

<DaveReynolds> Axel: agreed

<AxelPolleres> jos, do you agree?

<AdrianP> not all Datalog engines support binding patterns / mode declarations

<LeoraMorgenstern> Chris: do people agree with Jos? (No, seems, that Axel doesn't.)

Dave, Yes, that's fine.

<LeoraMorgenstern> Axel: either take strict safety or restrictions on bindings in recursion.

<LeoraMorgenstern> Jos: yes, Datalog and the addition of external predicates does complicate things.

<AdrianP> Datalog semantics for hybrid Ontology - rule systems have been defined, it is the same problem

<ChrisWelty> Core as datalog + a limited set of datatypes & builtins

<LeoraMorgenstern> David: <again, having trouble hearing him>

<LeoraMorgenstern> Chris: We need to make sure Core has certain attributes--- e.g., decidability, ease of implementation

<ChrisWelty> Core should be easy to implement, decidable?, tractable?, extendable to BLD & PRD

<LeoraMorgenstern> Harold: We need to keep PRD in mind --- what do we bring from PRD to core?

<LeoraMorgenstern> Harold: E.g., Christian's notion of negation?


Because we might adapt FLD's/BLD's negations for that.

<LeoraMorgenstern> Adrian: And also Assert action

<LeoraMorgenstern> Gary: same as frame formula or term in PRD

We have called Assert-only PRD "Pure Production Rules".

<AxelPolleres> note that Datalog safety does not extend straightforwardly to allowing discjunction in the body, but we excluded that already, right?

<AdrianP> the semantics of the head in core for PRD would then be an assert

<josb> right

<DaveReynolds> Axel: right, I think we agreed to exclude that last week

<AdrianP> yes, pure production rules without negation would be Core (from the PRD perspective)

<LeoraMorgenstern> Chris: someone has to step up to take on the job of writing this all up.

<LeoraMorgenstern> Chris: Looking for volunteers.

<LeoraMorgenstern> Harold: Will work on this from the BLD point of view. Perhaps some PRD people will join. And perhaps Dave?

<LeoraMorgenstern> And Axel and Adrian also.

<AdrianP> I would join from the PRD perspective, since I will work on the conditions of PRD anyway

<LeoraMorgenstern> Chris: Harold, can you start the wiki page for the core document?

<ChrisWelty> ACTION: harold to start a core draft wiki page [recorded in http://www.w3.org/2008/08/12-rif-minutes.html#action01]

<trackbot> Created ACTION-556 - Start a core draft wiki page [on Harold Boley - due 2008-08-19].

Test Cases

<ChrisWelty> http://www.w3.org/2005/rules/wiki/Test

<LeoraMorgenstern> Adrian: <overview of intiial Test document>

<LeoraMorgenstern> Adrian: This is the document that we're writing for test documents

<AdrianP> http://www.w3.org/2005/rules/wiki/TCS

<LeoraMorgenstern> Adrian: There's also another document (the TCS doc) intended for discussion)

<LeoraMorgenstern> Adrian: Test document will be the official working draft for test cases

<LeoraMorgenstern> Adrian: TCS doc is intended for discussion of questions and issues.

<LeoraMorgenstern> Adrian: Stella proposed we first discuss purpose of test suite.

<LeoraMorgenstern> Adrian: Do we want to define test suite for conformance?

<LeoraMorgenstern> Adrian: Or do we want to just give examples for test cases?

<LeoraMorgenstern> Adrian: Or will there also be test cases for validating implementation?

<LeoraMorgenstern> Adrian: two parts: 1. Define test suite (for BLD, PRD, built ins for DTB)

<LeoraMorgenstern> and could be informative or conformant.

<LeoraMorgenstern> 2. Also might give concrete xml syntax for specifying test cases.

<LeoraMorgenstern> Chris: Why not just specify test cases in xml of dialect?

Adrian, does your "test theory" already distinguish consumers and producers? http://www.w3.org/2005/rules/wiki/BLD#Conformance_Clauses

<LeoraMorgenstern> Adrian: Perhaps current dialects might not be expressive enough for some tests.

<LeoraMorgenstern> Chris: encourage to start small, and focus on test cases for BLD. and soon, PRD.

<LeoraMorgenstern> Chris: but would be hesitant to start inventing a new dialect.

<LeoraMorgenstern> Chris: Be careful with test cases for PRD, because it's evolving so quickly. Wait till it's stable. BLD, on the other hand, is stable.

<LeoraMorgenstern> Chris: And it's critical for next step of BLD --- a call for implementation ---

<LeoraMorgenstern> Chris: that there are test cases.

<LeoraMorgenstern> Dave:<answered some of these questions in his email>

<LeoraMorgenstern> Dave: Should be neither conformance suite nor informative, but normative

Dave, using finitely many tests, you can anyway only disprove conformance, not prove it.

<LeoraMorgenstern> Chris: We're not imagining a test suite is exhaustive in terms of the dialect.

<LeoraMorgenstern> Chris: Being able to run the test suite does not guarantee full compliance; not sure it's possible to have such a test suite.

<LeoraMorgenstern> Adrian: Another question: which kind of test cases?

<LeoraMorgenstern> Adrian: initial categorization in test case document

<AdrianP> http://www.w3.org/2005/rules/wiki/Test

<LeoraMorgenstern> Chris: why have different categories?

<LeoraMorgenstern> Adrian: to distinguish different test suites

<LeoraMorgenstern> Adrian: also may facilitate collection process from community

<LeoraMorgenstern> Chris:

<LeoraMorgenstern> Chris: don't really see point of classification system prior to the tests.

<LeoraMorgenstern> Chris: why not come up with test cases first?

<LeoraMorgenstern> Chris: tests may wind up in multiple categories

<LeoraMorgenstern> Chris: first get tests, then see if some natural ordering comes from them.

<LeoraMorgenstern> Chris: what are some of the important features of BLD to test? Important to have test cases of classifcation, of forms, of external functions, etc.

<LeoraMorgenstern> Chris: Work toward more explicit test cases.

<AdrianP> http://www.w3.org/2005/rules/wiki/Category:Test_Case

<LeoraMorgenstern> Dave: main thing are validation tests, entailment tests, etc.

<LeoraMorgenstern> Dave: best to concentrate on these

<AdrianP> some test cases are here http://www.w3.org/2005/rules/wiki/Category:Test_Case

<LeoraMorgenstern> Chris: I gave a RIF presentation 2 weeks ago; first question was: do you have any examples; and I suspect that's going to be true for anyone who gives a presentation on RIF.

<LeoraMorgenstern> Chris: Since there are lots of people who learn from examples, not from reading documents.

<LeoraMorgenstern> Chris: Jeff, you expressed interest in submitting some examples. Would you still like to do this?

<LeoraMorgenstern> Jeff: Yes, I have a colleague of mine just joined the WG and will be doing this.

<LeoraMorgenstern> chris: I can officiall assign the action to him when he officially joins the WG and is on a telecon.

<LeoraMorgenstern> Chris: Anyone else who has even the simplest examples around should submit them.

<LeoraMorgenstern> Adrian: Should we have an open call for test cases?

<LeoraMorgenstern> Adrian: <open within the WG>

<LeoraMorgenstern> Chris: We do have that: we have the wiki and a wiki template for writing test cases.

<LeoraMorgenstern> Chris: What's the process for someone to create a new test case?

<LeoraMorgenstern> Adrian: For category page for test cases, there is a template for creating test cases; template is shown on bottom of page.

<LeoraMorgenstern> Chris: would be better to just click on a button and get a template.

<LeoraMorgenstern> Chris: <general instructions for creating wiki pages>

<ChrisWelty> http://www.w3.org/2005/rules/wiki/Test_Case_Example

<ChrisWelty> ACTION: Chris to make WG call for use cases [recorded in http://www.w3.org/2008/08/12-rif-minutes.html#action02]

<trackbot> Created ACTION-557 - Make WG call for use cases [on Christopher Welty - due 2008-08-19].

<LeoraMorgenstern> Chris: I will make a call for the working group to submit test cases.

<AdrianP> http://www.w3.org/2005/rules/wiki/Test_Case_Format

Peter's review

<ChrisWelty> http://lists.w3.org/Archives/Public/public-rif-comments/2008Aug/0000.html

<LeoraMorgenstern> <Adrian's posting this link followed some discussion on test case format, need to specify what it means to pass a test, etc.>

<ChrisWelty> http://www.w3.org/2005/rules/wiki/Response_to_PPS4

<LeoraMorgenstern> Chris: Peter Patel-Schneider wrote a critique of BLD; seems to be a lot of confusion over terminology.

<ChrisWelty> ACTION: debruij2 to draft initial response to PFPS4 [recorded in http://www.w3.org/2008/08/12-rif-minutes.html#action03]

<trackbot> Sorry, couldn't find user - debruij2

<LeoraMorgenstern> Chris: Jos, would you take an action to respond?

<LeoraMorgenstern> Jos: yes.

<ChrisWelty> ACTION: jos to bla [recorded in http://www.w3.org/2008/08/12-rif-minutes.html#action04]

<trackbot> Sorry, amibiguous username (more than one match) - jos

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

<ChrisWelty> ACTION: jdebrui2 to draft initial response to PFPS4 [recorded in http://www.w3.org/2008/08/12-rif-minutes.html#action05]

<trackbot> Sorry, couldn't find user - jdebrui2

<ChrisWelty> ACTION: jdebruij2 to draft initial response to PFPS4 [recorded in http://www.w3.org/2008/08/12-rif-minutes.html#action06]

<trackbot> Created ACTION-558 - Draft initial response to PFPS4 [on Jos de Bruijn - due 2008-08-19].


<LeoraMorgenstern> Chris: proposal to adjourn

Summary of Action Items

[NEW] ACTION: Chris to make WG call for use cases [recorded in http://www.w3.org/2008/08/12-rif-minutes.html#action02]
[NEW] ACTION: debruij2 to draft initial response to PFPS4 [recorded in http://www.w3.org/2008/08/12-rif-minutes.html#action03]
[NEW] ACTION: harold to start a core draft wiki page [recorded in http://www.w3.org/2008/08/12-rif-minutes.html#action01]
[NEW] ACTION: jdebrui2 to draft initial response to PFPS4 [recorded in http://www.w3.org/2008/08/12-rif-minutes.html#action05]
[NEW] ACTION: jdebruij2 to draft initial response to PFPS4 [recorded in http://www.w3.org/2008/08/12-rif-minutes.html#action06]
[NEW] ACTION: jos to bla [recorded in http://www.w3.org/2008/08/12-rif-minutes.html#action04]
[End of minutes]

Minutes formatted by David Booth's scribe.perl version 1.133 (CVS log)
$Date: 2008/08/12 16:19:56 $

Scribe.perl diagnostic output

[Delete this section before finalizing the minutes.]
This is scribe.perl Revision: 1.133  of Date: 2008/01/18 18:48:51  
Check for newer version at http://dev.w3.org/cvsweb/~checkout~/2002/scribe/

Guessing input format: RRSAgent_Text_Format (score 1.00)

Succeeded: s/Health Care and Sciences/HCLS/
Succeeded: s/close ot/close to/
Succeeded: s/safety/safeness/
Succeeded: s/Pur Production Rules/Pure Production Rules/
Found Scribe: LeoraMorgenstern
Inferring ScribeNick: LeoraMorgenstern
Found Scribe: Harold
Inferring ScribeNick: Harold
Found Scribe: Leora
Scribes: LeoraMorgenstern, Harold, Leora
ScribeNicks: LeoraMorgenstern, Harold
Default Present: ChrisWelty, Mike_Dean, LeoraMorgenstern, AxelPolleres, AdrianP, StellaMitchell, josb, MichaelKifer, Harold, Gary_Hallmark, JeffP
Present: ChrisWelty Mike_Dean LeoraMorgenstern AxelPolleres AdrianP StellaMitchell josb MichaelKifer Harold Gary_Hallmark JeffP
Regrets: Sandro Hawke MohamedZergaoui
Agenda: http://lists.w3.org/Archives/Public/public-rif-wg/2008Aug/0019.html
Got date from IRC log name: 12 Aug 2008
Guessing minutes URL: http://www.w3.org/2008/08/12-rif-minutes.html
People with action items: chris debruij2 harold jdebrui2 jdebruij2 jos

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

[End of scribe.perl diagnostic output]