w3.org - public-cwm-talk

This forum is an archive for the mailing list public-cwm-talk@w3.org (more options) Messages posted here will be sent to this mailing list.
General discussion of cwm. See also public-cwm-bugs for bug reports and public-cwm-announce for announcements about cwm from the developers.
123456
Topics (203)
Replies Last Post Views
newbie question - about the list itself by Andrew Matthews-2
0
by Andrew Matthews-2
Errors when using the --why option by Andrea Perego
2
by Andrea Perego
rdf:datatype problem when merging files using cwm by Harry Halpin
1
by Harry Halpin
rule application proof step and existentials by Dan Connolly
1
by jos.deroo
toward XPathb built-ins for cwm, and some code review by Dan Connolly
0
by Dan Connolly
Re: need n3 proofs for PML translation test by Dan Connolly
1
by Dan Connolly
N3 in JSON, euler.py, euler.js, unify() was: euler state of the art? by Dan Connolly
10
by jos.deroo
another RDF API use case: rdf2dot.py by Dan Connolly
0
by Dan Connolly
n3 progress by jos.deroo
2
by jos.deroo
scope of bnodes in SPARQL vs N3 by Dan Connolly
0
by Dan Connolly
Updates to Fuxi by Chimezie Ogbuji
3
by jos.deroo
FuXi - rewritten as a stand-alone RETE N3 reasoner by Chimezie Ogbuji
0
by Chimezie Ogbuji
The implementation of the anti-looping system in a backward reasoning engine by naudts guido
0
by naudts guido
cwm on Python 2.5? by Yarden Katz
1
by Daniel Krech
Various cwm patches by Alessio Carenini
1
by Dan Connolly
lists and the N3 abstract syntax by Dan Connolly
0
by Dan Connolly
cwm and redland by Alessio Carenini
2
by Alessio Carenini
toward cwm/N3/reason proof of httpRange-14 argument by Dan Connolly
0
by Dan Connolly
toward "can't be in two places at once" proof with cwm by Dan Connolly
0
by Dan Connolly
struggling to understand the cwm/N3/reasons proof checking algorithm by Dan Connolly
4
by Dan Connolly
a (probably off topic) question about inference by Medhat Assaad-2
0
by Medhat Assaad-2
check.py by jos.deroo
1
by Yosi Scharf
making derivations from given rules by jos.deroo
0
by jos.deroo
Using reason.n3 (or derivative) to represent a RETE network by Chimezie Ogbuji
0
by Chimezie Ogbuji
log:outputString ordering challenge by Ralph R. Swick-2
1
by Dan Connolly
Cwm formula identity by Yosi Scharf
0
by Yosi Scharf
check.py by Daniel Krech
1
by Dan Connolly
N3 and Turtle grammars by Seaborne, Andy
4
by Seaborne, Andy
proof language tests with r:binding - question wrt existentials by jos.deroo
1
by jos.deroo
a notation3 grammar in XML formal grammar notation / EBNF by Dan Connolly
0
by Dan Connolly
log:supports, log:implies, and conditional proof by Dan Connolly
0
by Dan Connolly
inferenceweb browser and cwm interoperating by Dan Connolly
8
by jos.deroo
Re: owl:import by Yosi Scharf
1
by Alessio Carenini
Re: can't reproduce log:supports results by Yosi Scharf
0
by Yosi Scharf
Re: lost with the existencial variables by Yosi Scharf
0
by Yosi Scharf
123456