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

check.py Daniel Krech (Monday, 19 June)

N3 and Turtle grammars Seaborne, Andy (Monday, 19 June)

a notation3 grammar in XML formal grammar notation / EBNF Dan Connolly (Friday, 16 June)

log:supports, log:implies, and conditional proof Dan Connolly (Thursday, 15 June)

proof language tests with r:binding - question wrt existentials jos.deroo@agfa.com (Monday, 12 June)

struggling to understand the cwm/N3/reasons proof checking algorithm Dan Connolly (Wednesday, 7 June)

inferenceweb browser and cwm interoperating Dan Connolly (Thursday, 1 June)

kb Scoped Negation As Failure jos.deroo@agfa.com (Sunday, 28 May)

Re: colons on N3 Dan Connolly (Monday, 22 May)

cwm and redland Alessio Carenini (Tuesday, 9 May)

playing around with N3, OWL, and inconsistency Dan Connolly (Monday, 8 May)

RDF 2 OWL Maciej Gawinecki (Friday, 5 May)

owl:import Alessio Carenini (Thursday, 27 April)

can't reproduce log:supports results Dan Connolly (Wednesday, 26 April)

lost with the existencial variables marcos rebelo (Wednesday, 26 April)

Notation 3 Logic marcos rebelo (Friday, 7 April)

N3 Sintax marcos rebelo (Tuesday, 4 April)

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