16:09:28 RRSAgent has joined #rif 16:09:28 logging to http://www.w3.org/2007/11/06-rif-irc 16:10:23 Meeting: RIF Face to Face Nov 6 2007 16:10:35 Chair: Christian de Sainte-Marie & Chris Welty 16:13:53 http://www.w3.org/2001/tag/doc/versioning-compatibility-strategies-20071026.html 16:25:14 http://www.w3.org/2001/tag/doc/versioning#dt-extensible 16:33:39 Under 3.16. XSLT -- that's like GRDDL 16:44:29 http://www.w3.org/2007/uwa/editors-drafts/DeliveryContextOntology/2007-05-31/DCOntology.html 16:54:04 DanC: trim-to-ancestor is like CSS -- ignoring the whole rule when there's a bad color named in it. 16:59:36 http://www.w3.org/2001/tag/doc/versioning#dt-extensible 17:00:49 violet -- one jar file UML editor 17:02:27 Pragmatic Web: http://www.pragmaticweb.info/ 18:11:27 josb has joined #rif 18:13:16 StellaMitchell has joined #rif 18:30:31 IgorMozetic has joined #rif 18:31:12 testing 18:31:13 AdrianP has joined #RIF 18:31:19 ChrisW has joined #rif 18:31:31 rrsagent, make minutes 18:31:31 I have made the request to generate http://www.w3.org/2007/11/06-rif-minutes.html ChrisW 18:31:47 Bob has joined #rif 18:31:57 scribenic Bob 18:31:57 mdean has joined #rif 18:32:03 rrsagent, make logs public 18:32:11 Scribe: Bob 18:32:30 Reviewing breakout sessions 18:32:40 csma: PRD breakout 18:32:47 Regrets: DaveReynolds, GiorgosStoilos, PaulaLaviniaPatranjan 18:32:59 review document structure and then the semantics 18:33:42 on the document structure - want to have as large an overlap with BLD as possible however there are issues 18:33:59 Present: PaulVincent, MichaelKifer, HaroldBoley, AdrianPaschke, StellaMitchell, MikeDean, IgorMozetic, BobMoore, GaryHallmark, JosDeBruijn, AxelPolleres, SandroHawke, ChrisWelty, ChristianDeSainteMarie 18:34:13 for example PRD requires some idea of negation, even if it is not in first version of BLD 18:34:33 rrsagent, make minutes 18:34:33 I have made the request to generate http://www.w3.org/2007/11/06-rif-minutes.html ChrisW 18:35:03 AxelPolleres has joined #rif 18:35:12 Gary's suggestion is to have single Wiki page to define common information 18:35:46 Sandro: horrible idea to have multiple documents containing large sections of identical text 18:36:23 (specifically -- horrible for readers) 18:37:26 csma: virtue of single piece of text shared is it helps during the drafting process may replace later when move to final versions (either share or in separate reference document) 18:38:11 csma: to this might need to do some restructuing of BLD document to support this idea 18:38:58 csma: in discussion on approach taken in PRD, some of group had issues about the BLD's approach 18:40:11 steve has joined #rif 18:40:21 csma: discussed some specific points on operational semantics big question was the strategy for selecting which rule to fire (given generally several can be applied at any time) 18:40:59 PaulVincent has joined #rif 18:41:13 csma: all vendor engines have different strategies with some overlap, but much variation 18:41:20 Scribe notes from PRD breakout are emailed to the RIF mailing list FYI 18:42:12 csma: action to list strategies current supported by engines. Need to determine what (if any) common defautl strategies can be adopted 18:44:11 gary: do we need to (re) define operational semantics for the condition language for PRD or can we have a hybrid approach keeping model theoretic semantics for conditions and operational for rest of PRD 18:46:11 csma: explaining "recognition" phase of PR processing ("instantiating" the rules) to Jos 18:49:15 common condition language.... 18:50:03 http://www.w3.org/2005/rules/wg/wiki/PRdialect 18:50:06 Harold: "pattern" vs "condition" in PRD? 18:50:56 csma: patterns are essential part of PRD 18:52:08 csma to explain to Harold difference between conditions and patterns 18:52:24 Sandro: summarising the BLD implementation breakout 18:52:51 Sandro: most of work is handling buildins - which is a lot of the work in terms of implementation 18:53:22 Mike: talked about different kinds of implementations 18:54:16 Sandro: talked with NA WG about extensibility and how they relate to RIF extensibily issues 18:56:13 David Orchard: http://www.w3.org/2001/tag/doc/versioning-compatibility-strategies-20071026.html 18:56:55 Micheal & Jos made some decision but they won't ell us what 18:57:35 Micheal: looking at ways of how to provide type compatibility with OWL 18:58:31 Chris: Topic should now be Working Group future 18:59:46 Chris: at F2F7 decided we'd look to request a 6 month extension 19:00:22 csma: looking up what was agreed at last meeting 19:01:21 Have list of requirements to move BLD to be ready for last call 19:01:41 Sandro: impressed with progress on list since F2F7 19:02:23 speculation on what we meant by engine defintion ..... 19:03:48 jos: revisit modules, as needed for Last Call. 19:04:19 Jos: Modules needed for BLD LC? 19:04:49 mk: I don't think we need modules in BLD 1.0 -- we can put them in the framework, experimentally, and maybe have them in BLD 1.1 19:05:05 Michael: May be able to get around this by moving "experimental" features out of BLD 19:06:01 Michael: explaining modules 19:06:19 mk: one module can define a concept, and another can refer to it. external theory. 19:06:33 GaryHallmark has joined #rif 19:07:05 concensus seems to be that modules are not required for BLD 1.0 19:07:25 Chris: BLD needs some way to link to / refer to data, doesn't it? 19:07:34 Chris: do we need modules to manage external data in BLD? 19:08:07 Chris: can we refer to external data 19:08:24 Jos: not currently, but easy to fix 19:09:09 Chris: Modules provide a handle (URI) for it, and a way to circumscribe some data+rules, so that reasoning is bounded. These are the two functions of a module. You might want this for rules, for RDF, etc.... 19:09:35 Chris: arguing that we need some notion of module 19:09:37 mk: all we need a peice of syntax in XML where you give a URI for where an atomic formula comes from. 19:09:59 Michael: we only need some kind of syntax to do this 19:11:49 csma: can use mechanisms based on IRIs 19:11:50 Sandro: How much do we work on modules in the next six months. 19:12:02 MK: Work out how to refer to data, and make sure that works for modules. 19:13:40 Sandro: a lot of business about modules is out of scope for phase 1 19:14:57 Jos: need some notion of external data for OWL and/or RDF graphs 19:16:39 Sandro: his concern is that modules may be difficult to incoroporate in only a 6 month time window 19:17:36 Sandro: My concern is that solving modules (cf ISSUE-33 plus external theories) may be too much for BLD LC. We may not be able to get this done in next 6 months. 19:17:53 Action on Micheal to open an issue on modules 19:18:20 ACTION: mkifer to open issue on modules, distinct from ISSUE-33 19:18:20 Created ACTION-368 - Open issue on modules, distinct from ISSUE-33 [on Michael Kifer - due 2007-11-13]. 19:18:54 use cases 2.7, 2.8, 2.10 require referring to RDF graphs/OWL ontologies from rule rets 19:19:04 http://www.w3.org/TR/rif-ucr/#Interchanging_Rule_Extensions_to_OWL 19:20:47 Harold: is 6 months long enough? We ought to do some "experiments" to demonstrate some interchange of information between distinct implementation 19:21:07 Sandro: Yes we should do this, but it doesn't need to be before LC 19:21:17 it's part of CR 19:21:57 csma: the reason to go for only 6months is that if we're not at LC by then, it's a sign something is wrong. 19:22:00 steve has left #rif 19:22:01 csma: idea of 6 months is to show that we can get to LC, not to finish work of the WG 19:22:56 s/rets/sets/ 19:24:24 AxelPolleres has joined #rif 19:24:38 csma has joined #rif 19:25:32 Sandro: probably want to have two F2F meetings before May, who will come? (or rather who won't come to either) 19:25:54 tentative location of F2F9: http://www.bled.si/EN/ in February 19:26:17 PROPOSED: WG asks for 6 months extension. Plans to get BLD to Last Call and hold 2 more F2F meetings by end of May. 19:26:19 Harold: where will they be? Europe or US 19:26:38 f2f9 proposals: http://www.w3.org/2005/rules/wg/wiki/F2F9 19:27:42 (don't record explicitely that we're trying to figure out if PRD is feasible... people seem to think it is.) 19:28:03 RESOLVED: WG asks for 6 months extension. Plans to get BLD to Last Call and hold 2 more F2F meetings by end of May. 19:28:30 Topic: Documents 19:30:36 I do not want to give up on Core being the base for PRD 19:30:37 Do we want a CORE document again 19:30:59 is CORE a profile of BLD, or BLD an extension of CORE 19:31:30 Michael: first is better as we have a semantics for BLD, but not (at the moment) for CORE 19:31:36 I should be able to write a Core ruleset and run on PR engine or logic engine 19:31:44 mk: The reason to do core as a profile is that we only need on spec of the semantics (BLD) -- core is just a syntactic restriction on BLD. 19:32:21 Core could simply reuse the semantics of BLD, being just a syntactic restriction. 19:32:31 THe other way around, it is not so easy. 19:32:44 Since, we'd need to split off the semantics. 19:33:26 Michael: couldn't we do the same by defining CORE as a restriction of PRD 19:33:55 Bob: how do we verify that the two defintions of CORE are conformant? 19:34:27 could either extend Core to BLD and PRD, or restict BLD and PRD to Core 19:34:43 s/restict/restrict 19:35:11 csma: Idea of having a separate definition of CORE is so BLD PRD (and anything else) work on a common basis 19:35:50 Sandro: Editorially, Core might exists with syntax, test cases, but say "For formal semantics see BLD and PRD". 19:37:08 csma: (explaining) have a document section defining CORE, with BLD and PRD documents including or pointing back to it 19:38:54 csma: semantics defined at the level of BLD and PRD 19:41:45 Chris: (trying to clarify) does csma want a separate CORE document? 19:42:05 This 'Intersection Core' would contain what we called "4. Pure production rules with only asserts in the action part" in http://lists.w3.org/Archives/Public/public-rif-wg/2006Feb/0256.html 19:42:05 Axel: csma, are you opposed to having Core be a small document which defines a syntactic subset of BLD? Because that's an easy way to get core. 19:42:25 csma: can extract common syntactic part of CORE easily 19:43:11 Needless to say that a core from BLD extraction via the abstract model approach is trivial... just add a bunch of more constraints which forbid function symbols and equality. 19:43:22 csma: has something in mind - but wants to show what he means 19:44:12 Sandro: Core == BLD - Equalirt and - function tersm. 19:44:40 Besides the Core-BLD relation would ALREADY be an example of how extensibility in RIF works: 19:44:50 Harold: let's take equality out of BLD. 19:45:06 Harold: Taking function terms out of BLD is tricky because of Uniterms. 19:45:32 A dialect can be defined as a profile of another, then we can define an extension of Core by NAF of a dialect which is an extension of another, and we are basically done for a minimal demo of extensibility. 19:45:55 I don't understand, why we should go for something more complicated, honestly. 19:46:29 s/Equalirt/Equality/ 19:48:01 Harold, Michael speculating on modificiations to BLD to remove aspects such as equality 19:48:31 Axel: we seem to be making things harder for ourselves 19:49:37 The simplest 'profile' masking in http://www.w3.org/2005/rules/wg/wiki/Core/Positive_Conditions is replace the grammar rule TERM := Const | Var | Uniterm with TERM := Const | Var 19:49:41 Sandro: What do we mean by restriction? Is it at the XML level, the presentation syntax or somewhere else? 19:50:43 Michael: Can manage this by restricting the signatures - "its trivial" 19:52:03 Michael: BNF specifies a superset of the language as it does not restrict you to "correct" rules 19:52:28 you could have an own XSD, no problem, but you don't NEED to. 19:53:12 The other change is from ATOMIC ::= Uniterm | Equal to ATOMIC ::= Uniterm. 19:53:52 PROPOSED: Core will be defined as a profile of BLD, with a change in the BNF which (like change ATOMIC ::= Uniterm | Equal to ATOMIC ::= Uniterm ) and the corresponding change to the XML schema. 19:54:19 Michael: Don't need to change BNF, just modify the singatures and symbol spaces 19:54:52 errrrr ---- I meant that to be about function-free --- not Equality. 19:55:22 +1 to Harold: change the grammar 19:55:28 PROPOSED: Core will be defined as a profile of BLD, with a change in the BNF which and the corresponding change to the XML schema. 19:56:38 If you can show that the grammar kan just be done by removing nonterminals and productions from the BLD gramma, that would nicely show that Core is a restriction of BLD. No problem iwith that. 19:56:48 s/kan/can 19:57:04 s/iwith/with/ 19:57:21 csma: I object to that proposal, because I don't want Core to be a profile. 19:58:42 Jos: datalog variables have to be safe. 19:59:49 I object to that proposal because having Core specified as a profile of X 19:59:52 PROPOSAL: Core will be what is currently called BLD with Equality remove, function terms removed, and perhaps safeness. 20:00:14 ...makes specifying a dialect that extends Core but not X more difficult. 20:00:47 Igor: Maybe get rid of frames and slotted terms 20:00:57 Chris: But they are just syntactic sugar, aren't they. 20:00:59 csma, I don't understand your concern. 20:01:04 csma: What about built ins? 20:01:58 Sandro: maybe core should have evaluable functions (although not logic functions) 20:02:47 Sandro: So we don't need to worry about builtins for this decision. 20:03:25 PROPOSED: Core will be what is currently called BLD with Equality removed, function terms removed, and perhaps safeness. (Ignoring editorial issues for now) 20:03:57 PROPOSED: Core will be what is currently called BLD with Equality removed, function terms removed, and perhaps safeness. We will not get rid of BLD. (Ignoring editorial issues for now) 20:05:01 Bob: if we define core this way, semantically, ... when we want to incorporate Core in BLD -- how do we verify the semantics are what we want. 20:06:08 MichaelKifer has joined #rif 20:06:21 csma: If we discover we cannot semantically extend this to PRD, that would be new information and re-open this matter. 20:07:49 Sandro: slotted terms in Core or not....? 20:08:06 PROPOSED: Core will be what is currently called BLD with Equality removed, function terms removed, and perhaps safeness. We will not get rid of BLD. (Ignoring editorial issues for now) Frame are in Core, slotted terms are not. 20:08:39 Harold: I think production rules need slotted terms. 20:08:54 Harold: Clips has it. 20:09:00 csma: I will check this. 20:09:17 http://en.wikipedia.org/wiki/CLIPS 20:09:29 (deffacts trouble_shooting 20:09:29 (car_problem (name ignition_key) (status on)) 20:09:29 (car_problem (name engine) (status wont_start)) 20:09:29 (car_problem (name headlights) (status work)) 20:09:29 ) 20:09:55 PROPOSED: Core will be what is currently called BLD with Equality removed, function terms removed, and perhaps safeness, and perhaps slotted terms. We will not get rid of BLD. (Ignoring editorial issues for now) Frames stay in core. 20:10:59 RESOLVED: Core will be what is currently called BLD with Equality removed, function terms removed, and perhaps safeness, and perhaps slotted terms. We will not get rid of BLD. (Ignoring editorial issues for now) Frames stay in core. 20:11:10 Chris: Now, how to document Core? 20:13:09 csma: we want to have a separate CORE document, so we can refer to it when we extend CORE but not BLD 20:14:14 mk: If you want to know what Core is, read BLD or PRD, and then read what the subset is. 20:15:18 Michael: have two definitions of CORE - so don't need to read BLD defintion of CORE if working with PRD 20:15:48 csma (and Bob): we don't want to have two possibly conflicting defintions of CORE 20:19:05 I'd like to paste here the most general definition of external predicates (built-ins), I know of (in an attempt to write down the definition of Eiter et al. in a RIF suitable way): an evaluable predicate &pred(X_1,....,X_n) is assigned with one or more binding patterns, where a binding pattern is a vector {in,out}^n. Intuitively, an evaluable 20:19:05 atom provides a way for deciding the truth value of an output tuple depending on 20:19:05 the extension of a set of input predicates and terms. Note that this means that 20:19:05 evaluable predicates, unlike usual definitions of built-ins in logic programming, 20:19:06 can not only take constant parameters but also (extensions of) predicates as 20:20:45 input. 20:23:53 i.e. inputs cannot only be terms, but also predicate names (in which case the extension of the respective predicate is part of the input). Such HEX-predictes (higher-order externa predicates) have a fixed interpretation assigned. They are a very general way of evaluable predicates. THe distinction between input and output terms in binding patterns is made in order to guarantee that whenever all input values of a binding pattern are bound to concrete v 20:24:35 intreatation only allows a *finite* number of bindings for the output values, which can be computed by an external evaluation oracle. 20:43:23 Example OASIS XML rule language: http://www.oasis-open.org/committees/download.php/5929/CAM%20Technical%20brochure%2003Mar04.pdf 20:44:44 Example of readable XML format for rules: http://www.drrw.net/CAM/schematron/CAM-Schematron.htm 20:47:21 StellaMitchell has joined #rif 20:47:30 scribe: Axel Polleres 20:47:38 Action review. 20:48:07 http://www.w3.org/2005/rules/wg/track/ 20:49:33 Action 152 - continued, new deadline: 2008-01-15 20:50:03 Action 172 - dropped (obsolete) 20:50:14 Action 173 - dropped 20:51:11 Action 212 - continued, new deadline: 2007-11-30 20:51:23 Action 253 done: http://www.w3.org/2005/rules/wg/wiki/Arch/RIF_Components/RIF_Dialect_Structure 20:51:48 Action 253 - done, pending discussion. 20:52:41 csma: this is not what the action was about. 20:53:14 csma: action should be take current cond language, cut it to pieces. 20:53:59 Action 256 - dropped, subsumed by Sandro's activities. 20:54:22 Action 265 - dropped, subsumed by abstract model. 20:55:03 Action 274 - continued, should be reassigned, since unsure whether allen rejoins. 20:55:24 Action 292 - ... 20:56:06 chrisW: we anted to add pointers to builtins in document, but still waiting for built-in definitions. - ... continued 20:56:22 Action 305 - done 20:56:57 Action 323 - done 20:57:12 Action 331 - done, still pending discussion. 20:58:35 Action 342 - done. Jos got reply's, they said we are basically on our own with both questions. 20:58:51 Jos: will summarize that thread and send a summary to the list. 20:59:47 ACTION: JdeBruijn to send two mails on outcome of Action 342 20:59:47 Sorry, couldn't find user - JdeBruijn 21:00:01 ACTION: deBruijn to send two mails on outcome of Action 342 21:00:01 Sorry, couldn't find user - deBruijn 21:00:14 action: bruijn 21:00:14 Sorry, bad ACTION syntax 21:00:21 ACTION: jos to send two mails on outcome of Action 342 21:00:21 Sorry, amibiguous username (more than one match) - jos 21:00:21 Try using a different identifier, such as family name or username (eg. jderoo, jdebruij) 21:00:37 ACTION: jdebruij to send two mails on outcome of Action 342 21:00:37 Created ACTION-369 - Send two mails on outcome of Action 342 [on Jos de Bruijn - due 2007-11-13]. 21:01:30 Action 346 - dropped 21:02:02 Action 349 - continued. 21:02:18 Action 350 - done, pending discussion. 21:02:27 Action 351 - done. 21:04:38 Action 353 - done? 21:04:52 s/done?/dropped 21:05:32 Action 354 - dropped 21:06:05 Action 358 - done 21:07:07 Action 359 - done, pending discussion. 21:07:39 ChrisW: Let's rephrase 359 to "Motovat Abstract Model for extensibility" 21:08:29 Action 361 - done, pending discussion. discussion yesterday, but stil more discussion necessary. 21:09:22 Action 362 - continued 21:09:28 Action 263 - done 21:09:55 Actions 364, 365, 366 - continued 21:10:06 Action 367 - continued 21:10:14 Action 368 - done 21:10:15 s/263/363/ 21:10:44 Issues: 21:12:07 Issue 2 - ... 21:12:14 csma: Is this critical path? 21:14:45 csma: jos, please take an action to resolve that and look into the best practices document. 21:15:12 ACTION: debruij to look into SW best practices document and draft a solution 21:15:12 Sorry, couldn't find user - debruij 21:15:45 ACTION: jdebruij to look into SW best practices document and draft a resolution for issue 2 21:15:45 Created ACTION-370 - Look into SW best practices document and draft a resolution for issue 2 [on Jos de Bruijn - due 2007-11-13]. 21:16:03 issue 14 - ... 21:16:49 ... through Issue 21 are not critical path. 21:17:15 Issue 24 - is critical path. 21:17:31 Issue 25 - closed. Addressed by SWC document. 21:17:57 PROPOSED: CLOSE ISSUE 25. Addressed by SWC document. 21:18:06 RESOLVED: CLOSE ISSUE 25. Addressed by SWC document. 21:18:10 no objections. 21:19:00 Issue 26 - ... 21:19:25 sandro: could be discussed in testing. roundtripping could be in the testcases. 21:19:42 ... not dure whether in a testcase document or in Arch. 21:19:50 s/dure/sure/ 21:20:59 ... this is an open issue really. 21:21:26 csma: ... not out of critical path though. 21:21:41 Issue 24 - ... 21:22:08 s/24/27/ 21:23:15 ... not critical path. 21:23:38 PROPOSED: close ISSUE-27 with the understanding that RIF Core will not have constraints. 21:24:21 PROPOSED: close ISSUE-27 with the understanding that neither RIF Core nor RIF BLD will not have constraints. 21:24:41 s/not have/have/ 21:25:02 PROPOSED: close ISSUE-27 with the understanding that neither RIF Core nor RIF BLD will have constraint logic programming. 21:25:24 RESOLVED: close ISSUE-27 with the understanding that neither RIF Core nor RIF BLD will have constraint logic programming. 21:25:46 no objections. 21:26:17 s/no objections/one editorial objection by bob. 21:27:14 Issue 28 - closed with earlier resolution on Core being basically datalog. 21:27:30 RESOLVED: close ISSUE-28 with the understanding that RIF Core (as defined earlier today) does not have this problem. 21:27:50 s/RESOLVED/PROPOSED/ 21:28:30 PROPOSED: close ISSUE-28 with the understanding that RIF Core (as defined earlier today) does not have the problems which caused us to raise this issue. 21:28:39 csma: background of this discussion was PRD discussion. 21:29:03 RESOLVED: close ISSUE-28 with the understanding that RIF Core (as defined earlier today) does not have the problems which caused us to raise this issue. 21:29:06 no objections. 21:29:38 Issue 28 - ... 21:29:51 s/28/29/ 21:33:24 PROPOSED: close ISSUE-29 with the understanding that the profile mechanism is being addressed elsewhere. 21:33:54 PROPOSED: close ISSUE-29 with the understanding that the profile mechanism is being addressed elsewhere, and the idea of "profiles of Core" is handled by now having Core and BLD. 21:34:51 PROPOSED: close ISSUE-29 with the understanding that the profile mechanism is being addressed elsewhere, and the issues around of "profiles of Core" are handled by having separate dialects, Core and BLD.. 21:36:47 csma: this doesn't answer the question. 21:37:09 ChrisW: LEt's clos the issue when it is indeed addressed elsewhere. 21:37:25 csma: not critical path for BLD. 21:37:54 Issue 33 - ciritcal path, not closed. 21:38:30 Issue 34 - on critical path ... 21:39:08 jos: is again accurate. 21:39:24 ... not closed 21:39:34 Issue 35 - ... 21:39:49 jos: has now been resolved in the published WD. 21:40:23 PROPOSED: to close ISSUE-35 with the understanding that this issue is settled in the our latest published version of BLD. 21:40:36 PROPOSED: to close ISSUE-35 with the understanding that this issue is settled in our latest published version of BLD. 21:40:45 no objections. 21:40:48 RESOLVED: to close ISSUE-35 with the understanding that this issue is settled in our latest published version of BLD. 21:41:03 Issue 36 - ... 21:41:15 csma: what is the issue here? 21:41:26 ChrisW: open and critical path. 21:41:49 Issue 37 - not critical path, not closed. 21:42:02 ChrisW: why isn't it? 21:42:26 Sandro: Would that ever go in BLD? 21:43:00 Jos: We don't want to tie ourselved to having to address this. 21:43:18 ChrisW: nice to have, but shouldn't hold us. 21:43:37 Issue 38 - not critical path, not closed 21:43:55 csma: related to last one, but even less important. 21:44:05 Issue 39 - ... 21:45:00 jos: I'd say it is critical path. 21:45:10 csma: requirement in UCR. 21:45:17 ... is critical path and open. 21:45:45 Issue 40 - ... 21:45:49 is critical path. 21:45:58 Issue 41 - is critical path. 21:46:06 ... and open. 21:46:53 Issue 42 - 21:47:32 sandro: I understood the answer from XML Schema to Jos as "you can do it, but we wouldn't recommend." 21:47:47 jos: let's discuss with Action... 21:47:54 csma: open and critical path. 21:48:30 Issues 43-45: critical path and open. 21:48:45 Issues 46 - not critical path, open. 21:48:50 ... phase open. 21:51:15 csma: let's check whether to assign actions to address the 11 critical path issues. 21:51:45 ChrisW: Let's move to Extensibility. 21:52:19 csma/jos: Can Issue-39 be quickly assigned? 21:52:44 .... not now. 21:53:05 bmoore3 has joined #rif 21:53:48 csma: next points: next f2f, extensibility. 21:53:58 topic: next f2f. 21:56:52 sandro: first half of february preferred, not to lose pace. 21:57:07 csma: wil check whether ilog can also make a proposal. 21:57:27 current proposals online: DERI Galway and JSI , http://www.w3.org/2005/rules/wg/wiki/F2F9 21:58:19 chrisw: prefer end of february, would maybe not be able to come first week. 21:58:41 ... can definitly make it 26,27,28. 22:00:37 csma: proposal 1: 26/27, proposal 2: week 18-21 22:01:27 ACTION: Christian to put f2f9 dates and proposals on agenda of telecon Nov 20th 22:01:27 Created ACTION-371 - Put f2f9 dates and proposals on agenda of telecon Nov 20th [on Christian de Sainte Marie - due 2007-11-13]. 22:02:00 s/20/13/ 22:02:25 sandro: Can start a Webform for preferred dates in february. 22:02:53 ACTION: sandro to start a webform on preferred dates in feb for f2f9. 22:02:53 Created ACTION-372 - Start a webform on preferred dates in feb for f2f9. [on Sandro Hawke - due 2007-11-13]. 22:03:56 sandro: enter your preferences given that location will be in Europe. 22:04:40 scribenick: PaulVincent 22:04:49 http://www.w3.org/2005/rules/wg/wiki/Arch/naf_example 22:05:27 Sandro: Topic = Extensibility 22:07:36 ... extension example: add new condition type for NAF 22:07:49 ... includes possible fallback options 22:08:24 ... with XML spec defining comment, semantics, and RIF change 22:10:39 ... and Fallback specification 22:11:48 ... Applies to BLD and extensions (semantically ?) 22:13:27 Jos: need language to extend syntax 22:13:36 Harold: eg XSLT and XML 22:14:52 Jos: Who is target for extension format? 22:15:13 Sandro: All RIF processors 22:16:06 Harold: What you were asking me is EXACTLY what I described in the AbstractModel document, and why I think that the abstract model is useful. It is just not being dsicussed. 22:17:43 Jos: Why need / how use a changelist? 22:17:48 ... may be very complex 22:18:51 Sandro: Alternative is where extensions used are named... 22:19:15 Sandro: Two Branches: (1) in the instance document, name each extension you use; (2) build schema for possible extensions and see which fit. 22:20:08 if you have to name extensions, then you can't just combine the elements.... 22:22:50 Jos: Danger of extensions being mutually exclusive 22:23:54 ... and such docs should be rejected 22:24:19 Christian: Task of producer to use valid extensions/sets 22:24:37 Mike: Example case would be merging rulesets with different extensions 22:25:16 Axel: Modular extensions could be dangerous vs a new dialect 22:28:33 scribenik: MichaelKifer 22:29:41 csma: what do u do if u have to merge two documents coming from different dialects. 22:30:10 Scribe: MichaelKifer 22:30:53 jos, axel: not clear how to do it. probably impossible. semantics may not be definable 22:31:26 Sandro: I want to be able to add List to PRD and BLD with the same extension. 22:31:31 sandro: want to add lists to PRD and BLD through the same extension mechanism 22:32:15 Axel: if you have sound and complete fallbacks to two different dialects, then it's defined as if in a superdialect. 22:33:54 sandro: seems like the group thinks these ideas are interesting, but may be unworkable 22:34:19 will try to work on that more. 22:34:26 Sandro: I think I know how to do the semantic independence from a programmers perspective, but I don't know the math side of it. 22:34:28 jos: major skepticism 22:34:59 Gary: make it more fixed, eg TrimToRule, TrimToOr, TrimToAnd, .... 22:35:23 gary: reduce the scope of the extensibility mechanism 22:36:49 sandro: should design extensibility so that it itself will be extensible 22:38:21 chris to sandro: do u think every dialect will have the patience to describe itself wrt some smaller dialect? 22:39:13 csma: are we ready to make a resolution on extensibility? 22:39:29 general consensus --- impact matrix is a good start 22:39:38 general consensus -- trim to something is a good start 22:39:43 sandro: should we proceed developing the impact matrix? 22:40:48 gary: if a dialect decribes itself wrt a smaller dialect, what happens if the dialect(s) get updated? 22:43:21 sandro: I should work on an extensibility strawman 22:43:50 chris: try to do a fallback from bld to core 22:43:58 I think we need some minimal RDF vokabulary to relate Dialects, a la: you can get from dialect A to dialect B via the following fallbacks... and fallbacks again being described by referencing a trasnformation, the impact, etc. 22:44:02 Chris: Strawman --- Extension of Core to BLD 22:44:14 sandro: another one is extension of bld with naf and lists 22:44:16 Sandro: BLD to Equalirt, NAF, Lists 22:45:06 ACTION: Sandro to write up strawman extension of Core to BLD. 22:45:06 Created ACTION-373 - Write up strawman extension of Core to BLD. [on Sandro Hawke - due 2007-11-13]. 22:45:52 ACTION: Sandro to request extension to RIF charter 22:45:52 Created ACTION-374 - Request extension to RIF charter [on Sandro Hawke - due 2007-11-13]. 22:47:32 PROPOSED: no invisible extensions 22:47:41 PROPOSED: no invisible extensions (official or user extensions) 22:48:05 Jos: exactly the same syntax, different semantics. 22:49:08 mk: having a dialect tag is enough. 22:50:26 axel: top-of-document tag or syntactic elements used -- either way. 22:51:38 Chris: Issue -- what's the issue we use to make sure we avoid invisible extensions 22:52:18 RESOLVED: no invisible extensions (official or user extensions) 22:52:43 ACTION: Sandro to open the issue: how to make sure we avoid invisible extensions 22:52:43 Created ACTION-375 - Open the issue: how to make sure we avoid invisible extensions [on Sandro Hawke - due 2007-11-13]. 22:53:10 cf top-of-document vs in-spot-of-use 22:54:04 How to avoid invisible extensions: Whenever the intersection of your dialect with another dialect is non-empty, you hae to make sure that your semantics coincides with that dialect on that extension. 22:54:10 THat should be sufficient. 22:54:36 s/on that extension/on the intersection 22:54:55 yes, mechanically -- but the issue here is really "semantic flags at top of document" 22:55:22 I don't like the top-level semantic tags, I think. 22:56:16 me neither, but Jos and Michael do, and they're certainly more obvious. 22:58:23 by next BLD WD: Resolve lists, meta-data, builtins, frames/classification 22:58:52 ...and slotted uniterms 23:00:01 to make this feasible by mid December, ppl should become more agreeable :-) 23:00:14 bmoore3 has joined #rif 23:02:37 PROPOSED: Be nice to Michael until december 23:02:52 PROPOSED: Be nice to Michael until mid-december 23:03:04 RESOLVED: Be nice to Michael until mid-december 23:03:41 (so that he can produce strawman proposals as above. individual builtins handled by someone else.) 23:04:09 action: Christian to put on agenda the BLD plan 23:04:09 Created ACTION-376 - Put on agenda the BLD plan [on Christian de Sainte Marie - due 2007-11-13]. 23:05:14 PROPOSED: Adjourn. 23:05:25 RESOLVED: Adjourn. 23:05:32 rrsagent, make minutes 23:05:32 I have made the request to generate http://www.w3.org/2007/11/06-rif-minutes.html ChrisW 23:10:27 csma has left #rif