public-rif-wg@w3.org from December 2006: by thread

[UCR] ISSUE-12 and ACTION6198 Christian de Sainte Marie (Wednesday, 20 December)

Re: [UCR] ISSUE-12 and ACTION6198 Christian de Sainte Marie (Thursday, 21 December)
RE: [UCR] ISSUE-12 and ACTION6198 Paul Vincent (Tuesday, 26 December)

Outcomes from 12/19 telecon Chris Welty (Wednesday, 20 December)

Re: Outcomes from 12/19 telecon Hassan Aït-Kaci (Wednesday, 20 December)
- AW: Outcomes from 12/19 telecon Boley, Harold (Friday, 22 December)

[TED] Is RIF Core a RIF dialect? Christian de Sainte Marie (Tuesday, 19 December)

RE: [TED] Is RIF Core a RIF dialect? Paul Vincent (Tuesday, 19 December)
- Re: [TED] Is RIF Core a RIF dialect? Sandro Hawke (Tuesday, 19 December)
- Re: [TED] Is RIF Core a RIF dialect? Christian de Sainte Marie (Tuesday, 19 December)

[TED] CORE Pages Edited for Slot-to-Positional Transformation and Multisorted Syntax Boley, Harold (Tuesday, 19 December)

W3C RIF: "recursive rules" vs "recursive terms" Paul Vincent (Monday, 18 December)

Re: W3C RIF: "recursive rules" vs "recursive terms" Sandro Hawke (Monday, 18 December)
- Re: W3C RIF: "recursive rules" vs "recursive terms" Gary Hallmark (Monday, 18 December)
  - Re: W3C RIF: "recursive rules" vs "recursive terms" Gary Hallmark (Monday, 18 December)
    - Re: W3C RIF: "recursive rules" vs "recursive terms" Francis McCabe (Tuesday, 19 December)
      - Re: W3C RIF: "recursive rules" vs "recursive terms" Gary Hallmark (Tuesday, 19 December)
      - Re: W3C RIF: "recursive rules" vs "recursive terms" Gary Hallmark (Tuesday, 19 December)
  - Re: W3C RIF: "recursive rules" vs "recursive terms" Sandro Hawke (Tuesday, 19 December)
RE: W3C RIF: "recursive rules" vs "recursive terms" Paul Vincent (Tuesday, 19 December)
Re: W3C RIF: "recursive rules" vs "recursive terms" Michael Kifer (Tuesday, 19 December)
- Re: W3C RIF: "recursive rules" vs "recursive terms" Hassan Aït-Kaci (Wednesday, 20 December)
Re: W3C RIF: "recursive rules" vs "recursive terms" Michael Kifer (Wednesday, 20 December)

"recursive rules" vs "recursive terms" Sandro Hawke (Monday, 18 December)

Re: "recursive rules" vs "recursive terms" Gary Hallmark (Monday, 18 December)

[Admin] Agenda for RIF telecon 19 December Christian de Sainte Marie (Monday, 18 December)

European MSc in Computational Logic - scholarships available Enrico Franconi (Sunday, 17 December)

Draft Minutes of telcon 12_12_06 Giorgos Stoilos (Friday, 15 December)

RE: Draft Minutes of telcon 12_12_06 Giorgos Stoilos (Tuesday, 19 December)
- Re: Draft Minutes of telcon 12_12_06 Hassan Aït-Kaci (Tuesday, 19 December)
- RE: Draft Minutes of telcon 12_12_06 Giorgos Stoilos (Tuesday, 19 December)

Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Thursday, 14 December)

RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Boley, Harold (Thursday, 14 December)
- RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Paul Vincent (Thursday, 14 December)
- RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Paul Vincent (Thursday, 14 December)
- RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Paul Vincent (Friday, 15 December)
- RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Paul Vincent (Monday, 18 December)
  - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Francis McCabe (Monday, 18 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Sandro Hawke (Thursday, 14 December)
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core jos.deroo@agfa.com (Sunday, 17 December)
  - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Sandro Hawke (Sunday, 17 December)
    - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core jos.deroo@agfa.com (Sunday, 17 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Thursday, 14 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Friday, 15 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Friday, 15 December)
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Sandro Hawke (Friday, 15 December)
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Gary Hallmark (Saturday, 16 December)
  - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Francis McCabe (Saturday, 16 December)
  - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Francis McCabe (Sunday, 17 December)
    - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Gary Hallmark (Sunday, 17 December)
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Gary Hallmark (Saturday, 16 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Sunday, 17 December)
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Sandro Hawke (Sunday, 17 December)
  - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Francis McCabe (Sunday, 17 December)
    - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Gary Hallmark (Sunday, 17 December)
      - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Francis McCabe (Sunday, 17 December)
        
        Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Sandro Hawke (Sunday, 17 December)
        
        Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Francis McCabe (Sunday, 17 December)
        Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Sandro Hawke (Sunday, 17 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Sunday, 17 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Sunday, 17 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Sunday, 17 December)
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Gary Hallmark (Sunday, 17 December)
  - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Sandro Hawke (Sunday, 17 December)
  - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Bijan Parsia (Sunday, 17 December)
    - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Sandro Hawke (Sunday, 17 December)
      - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Bijan Parsia (Monday, 18 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Sunday, 17 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Sunday, 17 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Sunday, 17 December)
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Sandro Hawke (Sunday, 17 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Monday, 18 December)
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Bijan Parsia (Monday, 18 December)
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Sandro Hawke (Monday, 18 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Monday, 18 December)
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Sandro Hawke (Monday, 18 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Monday, 18 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Monday, 18 December)
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Sandro Hawke (Monday, 18 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Monday, 18 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Monday, 18 December)
- types of conformance Sandro Hawke (Monday, 18 December)
  - Re: types of conformance Ed Barkmeyer (Monday, 18 December)
    - Re: types of conformance Sandro Hawke (Monday, 18 December)
      - Re: types of conformance Christian de Sainte Marie (Tuesday, 19 December)
  - Re: types of conformance Michael Kifer (Tuesday, 19 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Tuesday, 19 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Michael Kifer (Wednesday, 20 December)

RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Paul Vincent (Thursday, 14 December)

a possibly useful bit on sorted logics Michael Kifer (Wednesday, 13 December)

[TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Gary Hallmark (Tuesday, 12 December)

RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Boley, Harold (Tuesday, 12 December)
RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Mark Proctor (Tuesday, 12 December)
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Gary Hallmark (Tuesday, 12 December)
RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Paul Vincent (Tuesday, 12 December)
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Gary Hallmark (Wednesday, 13 December)
RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Mark Proctor (Wednesday, 13 December)
RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Paul Vincent (Wednesday, 13 December)
Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Christian de Sainte Marie (Tuesday, 19 December)
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Christian de Sainte Marie (Tuesday, 19 December)
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Gary Hallmark (Tuesday, 19 December)
  - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core Hassan Aït-Kaci (Tuesday, 19 December)

ISSUE-26: ROUNDTRIP ISSUE: Replication of original rules after roundtripping to RIF RIF (Tuesday, 12 December)

Data Models as Constraint Systems Hassan Aït-Kaci (Tuesday, 12 December)

[Admin] Agenda for RIF telecon 12 December Christian de Sainte Marie (Monday, 11 December)

Re: [Admin] Agenda for RIF telecon 12 December Innovimax SARL (Tuesday, 12 December)
RE: [Admin] Agenda for RIF telecon 12 December Paul Vincent (Tuesday, 12 December)
- Re: [Admin] Agenda for RIF telecon 12 December Christian de Sainte Marie (Tuesday, 12 December)
- Re: [Admin] Agenda for RIF telecon 12 December Dave Reynolds (Tuesday, 12 December)

Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints Michael Kifer (Monday, 11 December)

Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints Dave Reynolds (Monday, 11 December)
Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints Michael Kifer (Tuesday, 12 December)
- Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints Dave Reynolds (Tuesday, 12 December)
Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints Michael Kifer (Tuesday, 12 December)
- Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints Dave Reynolds (Thursday, 14 December)
Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints Michael Kifer (Thursday, 14 December)

ACTION-181: Edit sub-section on benefits based on earlier email Ginsberg, Allen (Monday, 11 December)

[F2F] REMINDER: [Fwd: Survey on RIF F2F5] Christian de Sainte Marie (Monday, 11 December)

[TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 Boley, Harold (Monday, 11 December)

Re: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 Hassan Aït-Kaci (Monday, 11 December)
- RE: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 Boley, Harold (Monday, 11 December)
Re: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 Dave Reynolds (Monday, 11 December)
- RE: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 Boley, Harold (Monday, 11 December)
  - Re: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 Dave Reynolds (Monday, 11 December)
Re: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 Sandro Hawke (Monday, 11 December)
- RE: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 Boley, Harold (Monday, 11 December)
  - Re: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 Sandro Hawke (Tuesday, 12 December)
    - RE: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 Boley, Harold (Tuesday, 12 December)

Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints Hassan Aït-Kaci (Sunday, 10 December)

Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints Dave Reynolds (Sunday, 10 December)

Minutes of telcon 12/5/06 Francis McCabe (Tuesday, 5 December)

Survey on RIF F2F5 Sandro Hawke (Tuesday, 5 December)

Re: http://www.w3.org/2006/11/04-rif-minutes.html#action04: Notes from UCR breakout of 11/04 --> coverage Christian de Sainte Marie (Tuesday, 5 December)

ACTION-170: List (clarify) issues raised by the extensibility requirement Alex Kozlenkov (Tuesday, 5 December)

[UCR] RIF requirements: general VS pahse 1 VS phase 2 Christian de Sainte Marie (Tuesday, 5 December)

[Admin] Agenda for RIF telecon 5 December Christian de Sainte Marie (Monday, 4 December)

SPARQL rules! Axel Polleres (Sunday, 3 December)

RE: asn06/OWL vs. UML [was: asn06 take 2 (Abstract Syntax as a kind of ontology?)] Gerd Wagner (Friday, 1 December)

Re: [TED] Question on constraints Christian de Sainte Marie (Friday, 1 December)

Last message date: Tuesday, 26 December 2006 21:35:02 UTC