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

Tuesday, 20 June 2006

• Re: check.py Dan Connolly
• RE: N3 and Turtle grammars Seaborne, Andy
• RE: N3 and Turtle grammars Seaborne, Andy
• Re: N3 and Turtle grammars Dan Connolly

Monday, 19 June 2006

• check.py Daniel Krech
• Re: N3 and Turtle grammars Dan Connolly
• N3 and Turtle grammars Seaborne, Andy

Sunday, 18 June 2006

• Re: proof language tests with r:binding - question wrt existentials jos.deroo@agfa.com

Friday, 16 June 2006

• a notation3 grammar in XML formal grammar notation / EBNF Dan Connolly

Thursday, 15 June 2006

• log:supports, log:implies, and conditional proof Dan Connolly

Monday, 12 June 2006

• proof language tests with r:binding - question wrt existentials jos.deroo@agfa.com

Sunday, 11 June 2006

• Re: reason proof ontology details [was: ... interoperating] jos.deroo@agfa.com
• Re: reason proof ontology details [was: ... interoperating] Dan Connolly

Saturday, 10 June 2006

• Re: reason proof ontology details [was: ... interoperating] jos.deroo@agfa.com
• reason proof ontology details [was: ... interoperating] Dan Connolly

Friday, 9 June 2006

• Re: inferenceweb browser and cwm interoperating (euler too!) jos.deroo@agfa.com
• Re: inferenceweb browser and cwm interoperating (euler too!) Dan Connolly

Wednesday, 7 June 2006

• Re: struggling to understand the cwm/N3/reasons proof checking algorithm jos.deroo@agfa.com
• Re: owl:import Alessio Carenini
• struggling to understand the cwm/N3/reasons proof checking algorithm Dan Connolly
• Re: owl:import Yosi Scharf
• Re: can't reproduce log:supports results Yosi Scharf
• Re: lost with the existencial variables Yosi Scharf

Saturday, 3 June 2006

• Re: inferenceweb browser and cwm interoperating jos.deroo@agfa.com

Thursday, 1 June 2006

• Re: inferenceweb browser and cwm interoperating jos.deroo@agfa.com
• inferenceweb browser and cwm interoperating Dan Connolly

Tuesday, 30 May 2006

• Re: kb Scoped Negation As Failure jos.deroo@agfa.com

Sunday, 28 May 2006

• Re: kb Scoped Negation As Failure jos.deroo@agfa.com
• Re: kb Scoped Negation As Failure Dan Connolly
• Re: kb Scoped Negation As Failure jos.deroo@agfa.com
• kb Scoped Negation As Failure jos.deroo@agfa.com

Monday, 22 May 2006

• Re: colons on N3 Dan Connolly

Tuesday, 9 May 2006

• cwm and redland Alessio Carenini

Monday, 8 May 2006

• playing around with N3, OWL, and inconsistency Dan Connolly

Friday, 5 May 2006

• Re: RDF 2 OWL Danny Ayers
• RDF 2 OWL Maciej Gawinecki

Thursday, 27 April 2006

• owl:import Alessio Carenini

Wednesday, 26 April 2006

• can't reproduce log:supports results Dan Connolly
• lost with the existencial variables marcos rebelo

Friday, 7 April 2006

• Notation 3 Logic marcos rebelo

Tuesday, 4 April 2006

• N3 Sintax marcos rebelo

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