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

Alex Kozlenkov

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

Axel Polleres

• SPARQL rules! (Sunday, 3 December)

Bijan Parsia

• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Monday, 18 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Monday, 18 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)

Boley, Harold

• AW: Outcomes from 12/19 telecon (Friday, 22 December)
• [TED] CORE Pages Edited for Slot-to-Positional Transformation and Multisorted Syntax (Tuesday, 19 December)
• RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Thursday, 14 December)
• RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Tuesday, 12 December)
• RE: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 (Tuesday, 12 December)
• RE: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 (Monday, 11 December)
• RE: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 (Monday, 11 December)
• RE: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 (Monday, 11 December)
• [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 (Monday, 11 December)

Chris Welty

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

Christian de Sainte Marie

• Re: [UCR] ISSUE-12 and ACTION6198 (Thursday, 21 December)
• [UCR] ISSUE-12 and ACTION6198 (Wednesday, 20 December)
• Re: [TED] Is RIF Core a RIF dialect? (Tuesday, 19 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Tuesday, 19 December)
• [TED] Is RIF Core a RIF dialect? (Tuesday, 19 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Tuesday, 19 December)
• Re: types of conformance (Tuesday, 19 December)
• [Admin] Agenda for RIF telecon 19 December (Monday, 18 December)
• Re: [Admin] Agenda for RIF telecon 12 December (Tuesday, 12 December)
• [Admin] Agenda for RIF telecon 12 December (Monday, 11 December)
• [F2F] REMINDER: [Fwd: Survey on RIF F2F5] (Monday, 11 December)
• Re: http://www.w3.org/2006/11/04-rif-minutes.html#action04: Notes from UCR breakout of 11/04 --> coverage (Tuesday, 5 December)
• [UCR] RIF requirements: general VS pahse 1 VS phase 2 (Tuesday, 5 December)
• [Admin] Agenda for RIF telecon 5 December (Monday, 4 December)
• Re: [TED] Question on constraints (Friday, 1 December)

Dave Reynolds

• Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints (Thursday, 14 December)
• Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints (Tuesday, 12 December)
• Re: [Admin] Agenda for RIF telecon 12 December (Tuesday, 12 December)
• Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints (Monday, 11 December)
• Re: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 (Monday, 11 December)
• Re: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 (Monday, 11 December)
• Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints (Sunday, 10 December)

Ed Barkmeyer

• Re: types of conformance (Monday, 18 December)

Enrico Franconi

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

Francis McCabe

• Re: W3C RIF: "recursive rules" vs "recursive terms" (Tuesday, 19 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Monday, 18 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Saturday, 16 December)
• Minutes of telcon 12/5/06 (Tuesday, 5 December)

Gary Hallmark

• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Tuesday, 19 December)
• Re: W3C RIF: "recursive rules" vs "recursive terms" (Tuesday, 19 December)
• Re: W3C RIF: "recursive rules" vs "recursive terms" (Tuesday, 19 December)
• Re: W3C RIF: "recursive rules" vs "recursive terms" (Monday, 18 December)
• Re: W3C RIF: "recursive rules" vs "recursive terms" (Monday, 18 December)
• Re: "recursive rules" vs "recursive terms" (Monday, 18 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Saturday, 16 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Saturday, 16 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Wednesday, 13 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Tuesday, 12 December)
• [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Tuesday, 12 December)

Gerd Wagner

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

Ginsberg, Allen

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

Giorgos Stoilos

• RE: Draft Minutes of telcon 12_12_06 (Tuesday, 19 December)
• RE: Draft Minutes of telcon 12_12_06 (Tuesday, 19 December)
• Draft Minutes of telcon 12_12_06 (Friday, 15 December)

Hassan Aït-Kaci

• Re: Outcomes from 12/19 telecon (Wednesday, 20 December)
• Re: W3C RIF: "recursive rules" vs "recursive terms" (Wednesday, 20 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Tuesday, 19 December)
• Re: Draft Minutes of telcon 12_12_06 (Tuesday, 19 December)
• Data Models as Constraint Systems (Tuesday, 12 December)
• Re: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 (Monday, 11 December)
• Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints (Sunday, 10 December)

Innovimax SARL

• Re: [Admin] Agenda for RIF telecon 12 December (Tuesday, 12 December)

jos.deroo@agfa.com

• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)

Mark Proctor

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

Michael Kifer

• Re: W3C RIF: "recursive rules" vs "recursive terms" (Wednesday, 20 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Wednesday, 20 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Tuesday, 19 December)
• Re: types of conformance (Tuesday, 19 December)
• Re: W3C RIF: "recursive rules" vs "recursive terms" (Tuesday, 19 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Monday, 18 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Monday, 18 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Monday, 18 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Monday, 18 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Monday, 18 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Monday, 18 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Friday, 15 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Friday, 15 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Thursday, 14 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Thursday, 14 December)
• Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints (Thursday, 14 December)
• a possibly useful bit on sorted logics (Wednesday, 13 December)
• Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints (Tuesday, 12 December)
• Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints (Tuesday, 12 December)
• Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints (Monday, 11 December)

Paul Vincent

• RE: [UCR] ISSUE-12 and ACTION6198 (Tuesday, 26 December)
• RE: [TED] Is RIF Core a RIF dialect? (Tuesday, 19 December)
• RE: W3C RIF: "recursive rules" vs "recursive terms" (Tuesday, 19 December)
• W3C RIF: "recursive rules" vs "recursive terms" (Monday, 18 December)
• RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Monday, 18 December)
• RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Friday, 15 December)
• RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Thursday, 14 December)
• RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Thursday, 14 December)
• RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Thursday, 14 December)
• RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Wednesday, 13 December)
• RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Tuesday, 12 December)
• RE: [Admin] Agenda for RIF telecon 12 December (Tuesday, 12 December)

RIF

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

Sandro Hawke

• Re: [TED] Is RIF Core a RIF dialect? (Tuesday, 19 December)
• Re: W3C RIF: "recursive rules" vs "recursive terms" (Tuesday, 19 December)
• Re: types of conformance (Monday, 18 December)
• Re: W3C RIF: "recursive rules" vs "recursive terms" (Monday, 18 December)
• types of conformance (Monday, 18 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Monday, 18 December)
• "recursive rules" vs "recursive terms" (Monday, 18 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Monday, 18 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Monday, 18 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Sunday, 17 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Friday, 15 December)
• Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core (Thursday, 14 December)
• Re: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 (Tuesday, 12 December)
• Re: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192 (Monday, 11 December)
• Survey on RIF F2F5 (Tuesday, 5 December)

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