public-cwm-talk@w3.org from April to June 2006 by author

Alessio Carenini

• Re: owl:import (Wednesday, 7 June)
• cwm and redland (Tuesday, 9 May)
• owl:import (Thursday, 27 April)

Dan Connolly

• Re: check.py (Tuesday, 20 June)
• Re: N3 and Turtle grammars (Tuesday, 20 June)
• Re: N3 and Turtle grammars (Monday, 19 June)
• a notation3 grammar in XML formal grammar notation / EBNF (Friday, 16 June)
• log:supports, log:implies, and conditional proof (Thursday, 15 June)
• Re: reason proof ontology details [was: ... interoperating] (Sunday, 11 June)
• reason proof ontology details [was: ... interoperating] (Saturday, 10 June)
• Re: inferenceweb browser and cwm interoperating (euler too!) (Friday, 9 June)
• struggling to understand the cwm/N3/reasons proof checking algorithm (Wednesday, 7 June)
• inferenceweb browser and cwm interoperating (Thursday, 1 June)
• Re: kb Scoped Negation As Failure (Sunday, 28 May)
• Re: colons on N3 (Monday, 22 May)
• playing around with N3, OWL, and inconsistency (Monday, 8 May)
• can't reproduce log:supports results (Wednesday, 26 April)

Daniel Krech

• check.py (Monday, 19 June)

Danny Ayers

• Re: RDF 2 OWL (Friday, 5 May)

jos.deroo@agfa.com

• Re: proof language tests with r:binding - question wrt existentials (Sunday, 18 June)
• proof language tests with r:binding - question wrt existentials (Monday, 12 June)
• Re: reason proof ontology details [was: ... interoperating] (Sunday, 11 June)
• Re: reason proof ontology details [was: ... interoperating] (Saturday, 10 June)
• Re: inferenceweb browser and cwm interoperating (euler too!) (Friday, 9 June)
• Re: struggling to understand the cwm/N3/reasons proof checking algorithm (Wednesday, 7 June)
• Re: inferenceweb browser and cwm interoperating (Saturday, 3 June)
• Re: inferenceweb browser and cwm interoperating (Thursday, 1 June)
• Re: kb Scoped Negation As Failure (Tuesday, 30 May)
• Re: kb Scoped Negation As Failure (Sunday, 28 May)
• Re: kb Scoped Negation As Failure (Sunday, 28 May)
• kb Scoped Negation As Failure (Sunday, 28 May)

Maciej Gawinecki

• RDF 2 OWL (Friday, 5 May)

marcos rebelo

• lost with the existencial variables (Wednesday, 26 April)
• Notation 3 Logic (Friday, 7 April)
• N3 Sintax (Tuesday, 4 April)

Seaborne, Andy

• RE: N3 and Turtle grammars (Tuesday, 20 June)
• RE: N3 and Turtle grammars (Tuesday, 20 June)
• N3 and Turtle grammars (Monday, 19 June)

Yosi Scharf

• Re: owl:import (Wednesday, 7 June)
• Re: can't reproduce log:supports results (Wednesday, 7 June)
• Re: lost with the existencial variables (Wednesday, 7 June)

Last message date: Tuesday, 20 June 2006 16:28:15 UTC