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.
1 ... 3456
Topics (203)
Replies Last Post Views
kb Scoped Negation As Failure by jos.deroo
4
by jos.deroo
Re: colons on N3 by Dan Connolly
0
by Dan Connolly
playing around with N3, OWL, and inconsistency by Dan Connolly
0
by Dan Connolly
RDF 2 OWL by Maciej Gawinecki-2
1
by Danny Ayers
owl:import by Alessio Carenini
0
by Alessio Carenini
can't reproduce log:supports results by Dan Connolly
0
by Dan Connolly
lost with the existencial variables by marcos rebelo
0
by marcos rebelo
Notation 3 Logic by marcos rebelo
0
by marcos rebelo
N3 Sintax by marcos rebelo
0
by marcos rebelo
meeting record: cwm dev/paw 23 Mar 2006 by Dan Connolly
0
by Dan Connolly
converting cwm's proof structure to PML for integration with InferenceWeb tools by Dan Connolly
1
by jos.deroo
problems with a by marcos rebelo
0
by marcos rebelo
Re: New XML and XPath built-ins for CWM by Tim Berners-Lee
2
by Tim Berners-Lee
failed --rete run by Yosi Scharf
0
by Yosi Scharf
Numbers in n3 by marcos rebelo
2
by Dave Beckett-2
Re: Where is the most actual n3 spec? by Dan Connolly
1
by marcos rebelo
one small question by marcos rebelo
2
by marcos rebelo
minutes: paw cwm-dev 15 Feb 2006 by Dan Connolly
0
by Dan Connolly
help checking/reading some proof related to versioning? by Dan Connolly
0
by Dan Connolly
SPARQL grammar... in BNF? N3? by Dan Connolly
8
by Dave Beckett-2
N3 test suite by Arjohn Kampman
0
by Arjohn Kampman
Turtle version 2006-01-02 by Dave Beckett-2
6
by Arjohn Kampman
Canonical form requirement in Turtle (and N3?) spec by Arjohn Kampman
1
by Dan Connolly
list sum and difference by jos.deroo
0
by jos.deroo
keywords by naudts guido
0
by naudts guido
OK to use decimal for 0.3 in turtle? by Dan Connolly
3
by Dan Connolly
walking thru a proof with cwm --why by Dan Connolly
0
by Dan Connolly
forAll with ncnames by jos.deroo
0
by jos.deroo
1 ... 3456