See also: IRC log
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.
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]