IRC log of rif on 2007-11-06

Timestamps are in UTC.

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