RIF Face to Face Nov 5 2007

5 Nov 2007

See also: IRC log


PaulVincent, MichaelKifer, AdrianPaschke, HaroldBoley, GaryHallmark, StellaMitchell, MikeDean, IgorMozetic, BobMoore, josDeBruijn, AxelPolleres, sandroHawke, ChrisWelty, Christian_de_Sainte-Marie
Christian de Sainte-Marie & Chris Welty



UNKNOWN_SPEAKER: Semantics of Uniterm: mapping function.

Axel: No semantic difference between builtins and user-defined functions.

csma: Currently, not distinguished in BLD.

<sandro> AxelPolleres, while we have subclassing in RDFS, do you think we can mandate that RIF Consumers do complete RDFS reasoning before extracting the RIF semantics structures? That seems like a fairly hard sell to Gary. :-)

csma: in PRD we have fixed interpretation functions.

<ChrisW> Scribe: Harold

Gary: Plus: all args of builtins must be ground.

csma: Yes, that was in the patterns.

<AxelPolleres> For Gary, nothing changes, I don't say that the XML syntax for PR needs to accept <smsnaf> in place of <naf>

Gary: So we have no universal semantics that tells us for every expression if it's true or false.
... Would be nice to have a more general semantics for both.

<AxelPolleres> but a stratified datalog dialect should maybe accept sms-rulesets, as long as they are stratified.

Summary of Action Items

[End of minutes]

Minutes formatted by David Booth's scribe.perl version 1.128 (CVS log)
$Date: 2007/11/05 20:32:36 $

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)

Found Scribe: Harold
Inferring ScribeNick: Harold

WARNING: No "Topic:" lines found.

Present: PaulVincent MichaelKifer AdrianPaschke HaroldBoley GaryHallmark StellaMitchell MikeDean IgorMozetic BobMoore josDeBruijn AxelPolleres sandroHawke ChrisWelty Christian_de_Sainte-Marie
Got date from IRC log name: 5 Nov 2007
Guessing minutes URL: http://www.w3.org/2007/11/05-rif-minutes.html
People with action items: 

WARNING: No "Topic: ..." lines found!  
Resulting HTML may have an empty (invalid) <ol>...</ol>.

Explanation: "Topic: ..." lines are used to indicate the start of 
new discussion topics or agenda items, such as:
<dbooth> Topic: Review of Amy's report

[End of scribe.perl diagnostic output]