15:43:22 <RRSAgent> RRSAgent has joined #fld
15:43:22 <RRSAgent> logging to http://www.w3.org/2008/09/27-fld-irc
15:53:33 <ChrisW> FLD open items
15:55:07 <ChrisW> add aggregates 
15:59:41 <Blaz> Blaz has joined #fld
15:59:44 <josb> josb has joined #fld
15:59:49 <DaveReynolds> DaveReynolds has joined #fld
16:00:07 <mdean> mdean has joined #fld
16:00:40 <Harold> Harold has joined #fld
16:00:56 <ChrisW> 1) modules
16:00:59 <ChrisW> 2) aggregates
16:01:54 <Harold> 3) external (contingent on what we need in BLD)
16:02:12 <AxelPolleres> AxelPolleres has joined #fld
16:06:59 <AxelPolleres> Why does PRD use NmNot for Naf?
16:07:21 <AxelPolleres> I think it should be fine if they use Naf.
16:08:36 <AxelPolleres> If we talk about Naf in the body, what about Naf in the haed, Disjunction in the head?
16:09:25 <Harold> "Equivalence of well-founded and stable semantics" (Francoise Gire):
16:09:27 <Harold> http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.3980
16:14:30 <Harold> Patricia Hill, John Lloyd: Gödel Programming Language (http://www.cs.bris.ac.uk/~bowers/goedel.html).
16:15:50 <ChrisW> Posible dialect (for testing FLD, as well as being potentially useful): 
16:16:14 <ChrisW> locally stratified neg + removing "unique context" requirement on contstants
16:29:39 <DaveReynolds_> DaveReynolds_ has joined #fld
16:38:14 <ChrisW> Proposal: have three dialects: BLD w/o negative guards, BLD w/o equality in the head, and BLD
17:00:15 <AxelPolleres> Exists ?X (http://example.com/qqq"^^rif:iri(?X) ) would be entailed, yes?
17:00:43 <AxelPolleres> ... in the example of sec 3.9.
17:04:55 <AxelPolleres> So, the answer to the query  Exists ?X (http://example.com/qqq"^^rif:iri(?X) ) would be true, but there is no concrete instance for ?X which can be output as answer.
18:17:50 <DaveReynolds_> DaveReynolds_ has joined #fld
18:26:35 <josb> josb has joined #fld
18:33:24 <DaveReynolds_> DaveReynolds_ has joined #fld
18:38:38 <Blaz> Blaz has joined #fld
18:41:25 <sandro> sandro has joined #fld
18:41:26 <AxelPolleres> AxelPolleres has joined #fld
18:41:36 <sandro> RRSAgent, pointer?
18:41:36 <RRSAgent> See http://www.w3.org/2008/09/27-fld-irc#T18-41-36
18:41:45 <trackbot> trackbot has joined #fld
18:41:45 <trackbot> Sorry... I don't know anything about this channel
18:41:45 <trackbot> If you want to associate this channel with an existing Tracker, please say 'trackbot, associate this channel with #channel' (where #channel is the name of default channel for the group)
18:42:04 <sandro> trackbot, associate this channel with #rif
18:42:04 <trackbot> Associating this channel with #rif...
18:42:15 <sandro> issue-79?
18:42:15 <trackbot> ISSUE-79 does not exists
18:42:20 <sandro> issue-78?
18:42:20 <trackbot> ISSUE-78 -- Which to make external: ATOMIC, ATOM, or ATOM|FRAME -- OPEN
18:42:20 <trackbot> http://www.w3.org/2005/rules/wg/track/issues/78
18:43:02 <ChrisW> action: michael to update entailment definition to be for documents and revert rif:local semantics
18:43:02 <trackbot> Sorry, amibiguous username (more than one match) - michael
18:43:02 <trackbot> Try using a different identifier, such as family name or username (eg. mkifer, msintek, merdmann)
18:43:11 <AxelPolleres> http://lists.w3.org/Archives/Public/public-rif-wg/2008Aug/0074.html
18:43:13 <ChrisW> action: mkifer to update entailment definition to be for documents and revert rif:local semantics
18:43:14 <trackbot> Created ACTION-602 - Update entailment definition to be for documents and revert rif:local semantics [on Michael Kifer - due 2008-10-04].
18:43:29 <AxelPolleres> http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0000.html
18:43:34 <sandro> jos: entailment will be for both documents and conditions.
18:43:47 <AxelPolleres> http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0142.html
18:44:32 <AxelPolleres> http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0187.html
18:44:46 <AxelPolleres> http://lists.w3.org/Archives/Public/public-rif-wg/2008Sep/0194.html
18:45:48 <ChrisW> issue: negative guards in DTB - is this another dialect?
18:45:48 <trackbot> Created ISSUE-79 - Negative guards in DTB - is this another dialect? ; please complete additional details at http://www.w3.org/2005/rules/wg/track/issues/79/edit .
18:48:10 <MichaelKifer_> MichaelKifer_ has joined #fld
18:52:33 <sandro> topic: issue-67
18:53:17 <sandro> chris: who wants only fn:compare?   
18:53:28 <sandro> 1
18:53:32 <sandro> er 2
18:53:53 <sandro> chris: who wants the added stuff?
18:53:56 <sandro> 5 or so.
18:58:36 <sandro> chris: we'll have to take this back to the main group.
18:58:50 <sandro> topic: issue-61
18:59:01 <sandro> All DTB issues: http://www.w3.org/2005/rules/wg/track/products/18
19:01:57 <sandro> chris: this should have beenn closed as part of resolution at some past meeting.
19:04:57 <sandro> Topic: operators on rif:text
19:05:19 <sandro> DaveReynolds: I'd like equal, but not other compare....?
19:06:03 <AxelPolleres> which functions should we have for rdf:text?
19:09:17 <AxelPolleres> equal inequality might be useful. 
19:10:18 <sandro> Dave: Just define equality as equality of the lexical form.
19:11:00 <sandro> ACTION: axel to discuss in rdf:text task force the including of certain functions and preficates, and name of extractor (eg func:lang-from-text)
19:11:00 <trackbot> Created ACTION-603 - Discuss in rdf:text task force the including of certain functions and preficates, and name of extractor (eg func:lang-from-text) [on Axel Polleres - due 2008-10-04].
19:13:29 <sandro> Dave: Just use string-equality on the lexical represtnation of rdf:XMLLiteral.    It's just sugar for compare of string version (assuming there is one).
19:13:49 <sandro> Axel: These is no cast from rdf:XMLLiteral to string.
19:13:53 <sandro> Jos: Let's add one
19:13:59 <sandro> +1
19:14:07 <sandro> DaveReynolds: +1   
19:14:58 <sandro> Axel: cast string to XMLLiteral, as well?
19:15:02 <sandro> Sandro: I'd think so.
19:15:47 <AxelPolleres> XMLLiteral to and from string conversions (casts) plus equals/not-equals
19:16:48 <sandro> ACTION: Axel add text for casting to string and equal/not-equal, an (for discussion) from-string (which requires implementing XML canonicalization.
19:16:48 <trackbot> Created ACTION-604 - Add text for casting to string and equal/not-equal, an (for discussion) from-string (which requires implementing XML canonicalization. [on Axel Polleres - due 2008-10-04].
19:17:19 <sandro> Dave: Fiddling with XML at the string level isn't very useful --- we'd like nice XML support some day.
19:20:19 <AxelPolleres> 13) Editor's Note: No less-than-or-equal or greater-than-or-equal predicates are defined in this draft for durations, since there are no separate op:dayTimeDuration-equal nor op:yearMonthDuration-equalpredicates in [XPath-Functions], but only a common predicate op:duration-equal. Future versions of this working draft may resolve this by introducing new equality predicates pred:dayTimeDuration-equal and pred:yearMonthDuration-equal with restricted inten
19:20:19 <AxelPolleres> PROPOSED: introduce a single predicate duration-equal that only evaluates to true if the arguments are both of the same duration subtype and equal.
19:25:41 <sandro> Chris: How did we end up with BLD forcing only one arity per function/predicate?
19:26:29 <sandro> Jos: There are two different ways to handle the semantics of this, and each had problems, and we wanted to be able to extend to FOL.
19:26:36 <sandro> Chris: right, okay.
19:29:33 <sandro> Axel: we've defined strings to be rdf:text's with an empty language tag.
19:31:00 <sandro> Chris: Don't do that!       I don't want every xs:string to also be an rdf:text.
19:31:20 <DaveReynolds> http://www.w3.org/2007/OWL/wiki/InternationalizedStringSpec#xsd:string_as_a_restriction_of_rdf:text
19:44:02 <sandro> Chris: rdf:text needs two builtins, one to get the string, one to get the language tag.   And later we figure out what to do with casting.
19:44:09 <sandro> RRSAgent, make minutes
19:44:09 <RRSAgent> I have made the request to generate http://www.w3.org/2008/09/27-fld-minutes.html sandro
19:45:21 <DaveReynolds_> DaveReynolds_ has joined #fld
19:50:46 <said> said has joined #fld
20:21:33 <Blaz> Blaz has joined #fld
20:42:25 <Blaz> Blaz has joined #fld