W3C home > Mailing lists > Public > public-rif-wg@w3.org > December 2006

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)