This email is the result of a search by nick sbp
/msg logger grep -i cwm
W3C RDF Interest Group IRC -
This channel is logged at
1113 results follow:
2001-03-11 17:04:24 To get sem:whatever to be processed by CWM when I vanced upon it in IE5.5
2001-03-11 20:54:44 But it would be nice to click a link in NS6 and have CWM process lots of information on the SW and give me a result
2001-03-14 18:22:59 D:Doesn't quite parse on CWM yet... but is a vast imporvement over last nights attempt
2001-03-15 04:57:23 let's see now... I should be able to use cwm -filter to do stuff like "show me all the authors", shouldn't I?
2001-03-15 05:33:36 cwm is chewing on the version with " changed to '. taking forever.
2001-03-15 05:38:15 hmmm... just using notation3.py on this rfc-index data didn't take long at all; I wonder if cwm is in an infinite loop.
2001-03-15 05:54:52 wish me luck: python ../../2000/10/swap/cwm.py ,ri.n3 damlLists.n3 -think -filter=wroteRFC.n3
2001-03-15 06:02:05 man... cwm is hopeless on any realistic data set. I chopped rfc-index.n3 down to about 20 entries, and it's still taking forever.
2001-03-15 06:08:24 oh yeah... cwm doesn't know to match anonymous nodes in the if part of a rule
2001-03-15 06:17:53 cwm said "ouch" when I asked it to pretty-print statements with strings as subjects, but it was happy to -ugly print them.
2001-03-15 06:20:42 you know what... debugging in the semantic web is hard. Cuz when you make a typo, it's not flagged as an "error". cwm just goes "sky is red? ok by me."
2001-03-15 06:23:54 dangit... cwm finished, and I wasn't paying attention while all the results scrolled away; gotta run it again, with output to a file...
2001-03-15 18:32:41 SeanP wonders if cwm SeansAB.n3 SethsAB.n3 -think would work...
2001-03-17 18:20:28 Like cwm myn3.n3 -rdf
2001-03-20 23:26:15 why not: well, partly because cwm takes forever to deal with non-trivial datasets.
2001-03-20 23:26:21 Are you using CWM => XSLT => XHTML?
2001-03-20 23:27:15 Well, it parses into RDF O.K. with the latest version of CWM (one of the old ones had a bug on bag)
2001-03-21 18:21:19 The way it's been done is :x rdfs:seeAlso :y . :y dc:title :z . Somehow, you need to get CWM to squish that up into :x rdfs:seeAlso [ rdf:resource :y; dc:title :z ] . or something
2001-03-21 18:24:30 oh... using cwm is a nicer approach; but cwm churns forever on this dataset.
2001-03-21 18:25:42 really? have you tried to compute the rdfs-deductive-closure of schemes.n3 using cwm? (i.e. find all the subPropertyOf and subClassOf implied stuff)
2001-03-21 21:52:41 K:[interesting to compare with cwm, ruleml, XSB as a way forward??]
2001-03-22 15:05:47 danbri - I saw that, but any opportunity to plug DAML (actually, if inverseOF is in the ontology, I would expect most applications to use it to create a rule - e.g in cwm would be trivial to do this -- of course, how we apply rules opens up another can of worms...)
2001-03-22 22:27:21 hmm... cwm.py is spewing chunks over rdfs.rdf: # Strings should not match if not same object
2001-03-22 22:48:31 interesting... cwm concluded: "Properties that can be used in a schema to provide constraints" a :Liter
2001-03-23 23:11:59 timbl scribbled in his swap/cwm stuff that an RDF schema verifier could take each of the terms used, split doc#term, fetch doc, and see that term is mentioned there.
2001-03-25 23:20:18 the only way i can do n3 now is to use the python cwm
2001-03-25 23:20:38 but that would mean that somebody would need to install python and cwm before they could use it
2001-03-25 23:41:34 Hmm, I could run the N3 original through CWM, convert to RDF
2001-03-25 23:43:30 Oh great, here is what CWM gave me for the RDF output:-
2001-03-25 23:45:43 actually, i just noticed a small error in my N3 file, on running it through again, it gives a CWM error
2001-03-25 23:48:27 Hey, CWM 1.30 is out... what version do I have?
2001-03-25 23:50:27 Ask him for some old versions of CWM to be released as well couldya...
2001-03-25 23:53:01 $Id: cwm.py,v 1.30 2001/03/22 16:41:03 timbl Exp $ is the latest
2001-03-26 17:51:20 I'm trying to re-create the figures from the RDF schema spec using cwm and dot.
2001-03-28 20:15:06 dajobe: bySubject: see the -bySubject option in cwm.py
2001-03-28 20:19:27 is this another cwm.py bug? "python cwm.py schemes.n3 -rdf" dies with internal error, appending " -bySubject" works fine. This is cwm.py 1.30
2001-03-28 22:05:49 most SW stuff? Well, CWM is... but what else?
2001-03-28 22:06:09 CWM for me is the best SW program out there
2001-03-28 22:42:32 asking TimBL about exploiting daml:UnambiguousProperty in cwm...
2001-03-29 20:16:39 Hmm, also, shouldn't CWM print out the list of schemes in alphabetical order?
2001-03-30 01:16:44 DanC, Tim, anyone there? I've got what I think is a bug in CWM (1.30)... basically, when you put context brackets in a multiple anonymous node, and convert to RDF, it puts these context brackets outside of the anonymous node for some reason (I think...)
2001-03-30 01:39:35 After checking that bug and thinking it through, I'm convinced CWM is doing something weird, rather than I
2001-03-30 01:39:56 cwm is?
2001-03-30 01:47:02 - is the input Notation3
2001-03-30 01:47:19 - is the (incorrect?) output that CWM gives
2001-03-30 01:47:34 - is my (corrected?) version
2001-03-30 16:24:22 * dajobe sighs. cp.n3 can't be read by cwm.py V1.30 - hunts for a new one
2001-03-30 16:27:48 cwm chokes on danc's dashes
2001-03-30 16:32:53 * DanC tries to commit cwm.py, hoping my checkout is still current...
2001-03-30 16:33:04 nope. cvs server: Up-to-date check failed for `cwm.py'
2001-03-30 16:35:33 yeah, but my notation3.py has changes I'm not ready to commit; I am ready to commit my one change to cwm.py
2001-03-30 16:39:46 cwm.py works with 2.0, just tried it
2001-03-30 17:56:11 DanC: what changes in CWM 1.31?
2001-03-31 22:21:07 Tim: is the "?" groked by CWM?
2001-03-31 22:23:21 cwm foo.n3 -filter=bar.n3 where bar.n3 has { <> dc:title :x}log:implies{:x a :result }. <> log:forAll :x .
2001-03-31 22:25:50 Yeah, a CWM list would be great, I wolsn't have to keep cheacking for updates :-)
2001-03-31 22:26:32 Tim: Here we are,
2001-03-31 22:26:52 in.n3 is the N3 in, out1.rdf is what CWM gives, out2.rdf is the corrected RDF
2001-03-31 22:43:46 the CWM namespace uses log.n3, but the schema is at logic.n3
2001-03-31 22:44:18 s/CWM namespace/CWM uses log.n3 as the logic namespace
2001-03-31 23:07:27 Eek, that is a problem... does CWM do that every time that it converts from N3 to RDF? Could you make it automatically convert that to a :XMLRDFDocument?
2001-03-31 23:08:26 From cwm.py:-
2001-03-31 23:08:36 -
2001-03-31 23:11:15 Some of that stuff in the top blurb looks great, and I still wonder how many more things CWM can do that I'm not aware of... I really should learn Python
2001-03-31 23:12:04 Then I could help Seth make a version of CWM with semEnglish support... that's be fun
2001-03-31 23:23:20 Yes: CWM!
2001-03-31 23:23:43 -
2001-03-31 23:25:06 V:Thanks to the SWAG interface for TimBLs CWM
2001-03-31 23:29:21 can you do it whth cwm?
2001-03-31 23:29:38 yeah, that's what I'm using: the SWAG interface to CWM
2001-03-31 23:31:17 I'll run it through CWM and upload it to the Web
2001-03-31 23:35:39 Well, go to "#cwmpaste" then, he he he
2001-03-31 23:50:51 CWM bungs it in automatically
2001-04-01 00:12:34 but there is not a definition there, and it is not a primitive for CWM
2001-04-01 04:55:19 suppose I had my email indexed in cwm or some database... or suppose I connect cwm (or my AlgyKB engine) to an IMAP server...
2001-04-02 22:56:35 I find it strange that CWM has logic primitives, but no ontological primities
2001-04-02 23:03:30 Exactly. CIP: CWM
2001-04-02 23:04:11 does cwm remember anything?
2001-04-02 23:16:07 I suppose it all depends on how good your identity system is: CWM obviously can't do equivalences as a primite, and I think it should
2001-04-03 23:13:10 Dan, in CWM there is a namespace for meta that I don't quite understand, and it's wrong anyway: # what's the deal with that?
2001-04-06 17:17:55 * timbl is trying to focus on adding built-in functions to cwm
2001-04-06 18:28:42 anonymous resources in n3/cwm exist for some context
2001-04-12 03:48:50 let's try cwm...
2001-04-12 03:50:38 hmm, cwm spits it out but won't eat it back
2001-04-19 03:52:07 * DanC removes dependency on cwm.py from palmagent...
2001-04-19 20:53:09 * DanC and tim look at cwm.py...
2001-04-20 21:03:11 I assume he used cwm.py to do converting
2001-04-20 21:31:44 Yep, I used CWM to convert it over (cwm.py,v 1.32 2001/04/05 21:33:55 timbl Exp), it's a lot quicker than doing it by hand
2001-04-20 21:33:06 Anyway, the RDF output given by CWM doesn't matter too much here: and RDF model is an RDF model
2001-04-20 21:53:52 Currently, some people seem to be put off by Notation3 because it's not a recommendation. With EARL we have a choice of N3/XRDF... and I'm not sure which way to develop. IF CWM could do N3 <=> XRDF perfectly...
2001-04-24 01:01:10 good demo of cwm, i'd say
2001-04-25 22:42:16 cwm just outputs it that way for clarity (and perhaps laziness ;))
2001-04-25 23:21:41 The log: namespace, a primitve for CWM, is very useful
2001-04-25 23:28:10 no, cwm does
2001-04-25 23:28:19 CWM
2001-04-25 23:28:32 Close World Machine -
2001-04-25 23:29:19 {CWM has CWA} ?
2001-04-25 23:29:57 xwn can be the next generation cwm
2001-04-25 23:30:59 Aaron: how would you have CWM convert { :a :b :c } then?
2001-04-25 23:59:14 hey could you put that throw cwm and show me the triples ?
2001-05-02 23:25:02 I think maybe CWM can
2001-05-04 20:25:47 Well, I don't care about contexts all that much. The fact that CWM serialzes them weirdly is annoying, but I can cope with it
2001-05-05 02:29:19 refers to timbl's cwm
2001-05-05 02:33:36 shows that cwm can be run with daml rules to show contradictions
2001-05-05 21:55:43 Hmm... when filtering through CWM, it puts the :d and :e into the anonymous node. Yuck
2001-05-06 23:56:32 * sbp also waits for a new version of CWM... where are those built-ins?!
2001-05-07 00:01:48 Is that a swipe at my asking for CWM?
2001-05-07 00:01:55 sbp: What is CWM?
2001-05-07 00:02:12 Closed World Machine -
2001-05-07 00:02:52 Well, if you tell me exactly what you're doing for the next version of CWM, and I can be assured that there aren't going to be stupid versioning conflicts, I'd be more than happy to leanr Py.
2001-05-07 00:03:38 if I would tell you exactly what's going to be in the next version of cwm, I think i'd take my talent for telling the future and apply it to the stock market.
2001-05-07 00:03:58 "stupid vesioning conflicts": when I get the next version of CWM from the W3C site, it's incompatable with changes that I make to it...
2001-05-07 00:04:45 Dan: Does CWM now use the..er..kwparsing/buckets stuf?
2001-05-07 00:07:08 Oh BTW, that DAML lists thing worked in CWM the other day
2001-05-07 00:12:51 here's a cwm puzzle:
2001-05-07 00:13:30 I don't think cwm quantification works over formulas.
2001-05-07 00:18:04 one explanation for why it doesn't work is: by design; cwm just does horn logic, and that's not horn logic. But cwm does do some other non-horn stuff. I hope to reach cwm-enlightenment eventually, but I'm not holding my breath.
2001-05-07 00:26:36 Like CWM...
2001-05-07 00:27:06 like cwm, sbp? you've gotten it to work?
2001-05-07 00:27:21 Like CWM; potentially :-)
2001-05-07 00:46:26 * sbp bets that the problem with { :P l:means :Q } l:implies { :P l:implies :Q }. is that a context is being used for P or Q, and CWM does'nt grok contexts being used as variables, AFAICT
2001-05-07 00:52:10 Maybe this is what TimBL refers to by "BUG: {} is a context but that is lost on output!!!" in the CWM source code...
2001-05-07 19:26:01 I coulcn't get CWM to do DAML RDF => DAML N3
2001-05-07 19:27:10 I've done DAML RDF-> DAML N3 many times with cwm; what symptoms did you see, sbp?
2001-05-07 19:29:24 "python cwm.py -rdf daml+oil.rdf -n3 > daml+oil.n3" gives:-
2001-05-08 04:59:32 hmm, cwm is not faring well on these tests
2001-05-08 04:59:51 or the tests aren't faring well against cwm
2001-05-08 05:01:58 cwm does run, though, no?
2001-05-08 05:11:33 hmm... some of the ref/* data seems to predate some of the sorting cwm does on output.
2001-05-08 05:15:26 wierd! cwm doesn't reset prefixes when it switches files. I thought that was a bug. But TimBL seems to have used it in several of the tests... see daml-pref.n3
2001-05-08 22:06:30 btw... TimBL checked in a v. broken version of cwm.py. look out!
2001-05-09 13:43:27 File "../cwm.py", line 376, in intern
2001-05-09 18:21:39 tim, is there a combination of cwm args for copying RDF files from one place to another and getting relative URIs right?
2001-05-09 18:22:17 cwm can't get relative uris wrong ;-)
2001-05-09 18:22:55 try cwm -outfile=http://foo...; should work.
2001-05-09 19:22:54 it wasn't easy to do! notation3.py and cwm really, really know about relative URIs.
2001-05-09 19:22:56 cwm foo.n3 -rdf -base=junk:
2001-05-09 19:27:12 * DanC_ is afraid of debugging the command-line-arg-parsing part of cwm.
2001-05-09 19:32:33 * DanC_ see it was actually cwm.py that he hacked...
2001-05-10 06:33:27 crud, tim, you broke RDF/xml generation in cwm.py v1.40
2001-05-10 07:11:08 cwm seems to be looping on attribute properties...
2001-05-10 13:14:22 cwm built-ins are starting to work.
2001-05-10 13:39:34 You broke RDF generation in cwm 1.40, btw.
2001-05-10 14:46:05 * DanC_ tries cwm log:includes stuff..
2001-05-10 15:09:54 * DanC_ checks whether RDF generation from cwm has been repaired...
2001-05-10 19:44:26 * sbp wonders if someone can chACL the CWM built in tests
2001-05-10 19:45:38 * sru thinks that cwm might become the inference engine for the sembrowser
2001-05-10 19:50:53 i wonder if one could make a COM interface for cwm
2001-05-10 19:52:56 I guess it doesn't matter... but still, I couldn't get CWM 1.41 to grok it, so it can't be right
2001-05-10 19:55:14 Yeah seems O.K. - but it doesn't work. log:implies [ a rdf:Alt; rdf:_1 { :CWM :is :Broken }; rdf:_2 { :Example :is :Broken } ] .
2001-05-10 22:51:27 DAnC finally catching up w/todays chat - when you say you can write a particular rule in N3, are you implying that the cwm stuff is now built in, or just that this is how the rule is expressed?
2001-05-13 16:38:16 there's a web interface to cwm at:
2001-05-15 03:37:07 cwm reduces
2001-05-15 13:33:09 recently, TimBL added a few string-handling built-ins to cwm, so I should be able to check consistency of calendar info.
2001-05-17 22:47:25 Well, in the DesignIssues doc, and in CWM
2001-05-17 22:47:44 -
2001-05-17 22:49:29 n3 changes when cwm.py etc. does (often!) and is a useful scribbly rdf; if I was impl. it I would do statements, [] and nothing more.
2001-05-18 17:16:05 * DanC works on specification/implementation of aboutEach in terms of horn/cwm logic...
2001-05-18 22:09:50 * DanC tries feeding the 2000/03/13/dces to cwm....
2001-05-18 22:10:42 cwm's xml support doesn't grok doctype gunk.
2001-05-18 22:16:42 I'm building a cwm filter for dc... i.e. a filter that picks out all the dublin core knowledge out of a knowledge-base...
2001-05-18 22:17:31 Neat... can you do it with an about each prefix mechanism in the latest CWM?
2001-05-18 22:18:03 the latest cwm is broken pretty badly. I can't get it to do much of anything.
2001-05-18 22:38:35 * AaronSw prints out a copy of cwm to study on the plane
2001-05-18 22:38:49 although if danc can't reach cwm enlightenment, there's probably no hope for me!
2001-05-18 22:40:29 cwm enlightenment is, fortunately, not required for cwm enjoyment. Nor cwm utility.
2001-05-20 21:13:25 Sorry, was flicking through the latest versions of CWM/N3.py to see if anything major had improved
2001-05-21 14:37:18 testing the new cwm.py ... updated a few tests...
2001-05-21 14:40:07 indeed, new cwm.py seems to be working.
2001-05-21 15:23:20 umm... I'm trying to build on tux with cwm... updated the cwm.py on tux, which, of course, renders uses of log.n3 in 04/roadmap out of date.
2001-05-21 15:34:59 Nope. Does cwm grok them?
2001-05-21 15:38:58 yes, cwm groks relative URI references intimately.
2001-05-21 15:55:06 File "cwm.py", line 1743, in doCommand
2001-05-21 20:24:28 So reading file:/x/bar, cwm reads as if it were ?
2001-05-21 20:46:09 I'm still kind of waiting for an answer from Tim over whether xsb or cwm was right in some inferences.
2001-05-21 20:48:36 I think that cwm -think should give the same results as asking xsb property(P, S, O), no?
2001-05-21 21:42:31 well, one goal is to obsolete cwm.py altogether.
2001-05-21 21:43:44 Yeah, but that's more long term -- and very complicated. Eliminating cwm is more about finding other experimental test beds that work well for Tim and maybe you than it is about speed, I think.
2001-05-22 22:05:55 But of course we're hoping that it'll turn out to be a stable enough base for any future versions. The changes between 0.9 and 0.95 should be small enough that CWM can convert from one to t'other
2001-05-23 02:05:15 I can't make sense of cwm rules unless they're special syntax.
2001-05-23 02:20:54 A:maybe possible worlds semantics is a way of explaining what cwm is doing.
2001-05-23 02:21:09 A:I'm trying to fit cwm rules into FOPC and losing.
2001-05-23 04:37:20 B:I might have figured out cwm rules in regular FOPL; I'm trying to code it up.
2001-05-24 20:15:46 * sbp beams at being able to convert a 0.9 version language to 0.95 thanks to CWM... er, the SW
2001-05-24 20:18:32 0.95: cool! I should play with cwm more...
2001-05-24 20:21:00 CWM - try
2001-05-29 22:17:54 Using CWM to convert from a earlier version of a language into a newer one, using the schemata
2001-05-29 22:18:43 No, just using a triples database, in CWM
2001-05-29 22:28:56 CWM just stores everything as quads (s,p,o,ctx)
2001-05-29 22:36:26 Yeah... N3 is mostly defined in CWM, so it's hard to get a perfect understanding of what TimBL's up to
2001-05-29 22:36:55 I mean what command do I put in for a new line in a .bat file... I'm writing an interface for CWM, as it happens
2001-05-29 23:20:55 Here, you can laugh at now
2001-05-30 22:57:31 CWM doesn't ignore it :-)
2001-05-31 01:44:57 DanC: in CWM, how does one know that a quad is asserted vs. quoted?
2001-05-31 03:32:22 now that cwm has built-ins for string comparison, it's starting to be useful for calendaring.
2001-05-31 03:34:47 danc, is there some way i can just get a list of triples out of a cwm store?
2001-05-31 04:05:05 I'm in the middle of something else just now; I'd have to pore over the cwm code to figure it out. Look in the Engine or Store classes.
2001-05-31 13:54:22 s/it/cwm/
2001-05-31 18:39:11 python2 ~/w3ccvs/WWW/2000/10/swap/cwm.py --quiet --n3=spart --bySubject
2001-05-31 19:42:24 B:found this starting with a TODO comment in cwm, which led me to daveb's redland parser testing stuff, which uses this stuff.
2001-06-01 05:46:39 B:I'm debugging some unicode stuff in python/cwm, and this looks handy.
2001-06-01 07:55:40 C:cwm now uses sax2rdf, which has expat underneath, rather than xml2rdf, which used a locally hacked xmllib.py
2001-06-01 08:11:51 oops... cwm bug:
2001-06-01 12:45:15 DanC, my Python inexperience will show :-). I just checked out the latest stuff from and when I run cwm.py I get an error "InportError: No module named codecs". Perhaps I need a newer Python installation and/or some library(s) are missing?
2001-06-01 13:27:11 DanC? What do I need to get for the sax parser for the new cwm (under Cygwin?)
2001-06-01 15:05:21 Dan, you said you were looking at CWM-style semantics -- modal rather than EC?
2001-06-01 15:16:04 yes, I think I have to use a modal/possible-worlds interpretation in order to make sense of what cwm's doing.
2001-06-01 15:17:52 hm... that means all false statements are equal; not sure that's consistent with what cwm does.
2001-06-01 15:19:01 anyway... the part I'm still noodling on is quantification in cwm.
2001-06-01 15:44:11 handwave: yes, I think I have to use a modal/possible-worlds interpretation in order to make sense of what cwm's doing.
2001-06-01 15:48:09 in cwm, variables are not syntactic gizmos. It makese sense to say: :x = { :sky :is :blue }. :x log:forAll :sky.
2001-06-01 15:48:51 This seems very stretching... is it purely an desire to formalize what cwm does, or is there a deeper idea you're trying to capture?
2001-06-01 18:47:15 hmm... I just introduced a dependency from cwm to PyXML; I wonder if PyXML is available on the Mac platform. Aaron?
2001-06-01 18:53:55 the (denotation ...) trick was a suggestion TimBL kept making, and it wasn't until yesterday that I convinced myself it was bogus. I guess I should send mail with my notes. Anyway... that's what's got me noodling on possible-worlds explanations of cwm.
2001-06-03 16:53:36 because CWM does not assume that the presence of a statement is an assertion of the statement
2001-06-03 16:56:01 run that through cwm and you'll get xml/rdf
2001-06-03 16:58:13 jonb, cwm does -- not n3
2001-06-03 17:12:06 that is how cwm has chosen to store reification
2001-06-04 16:44:44 * DanC goes back to writing a proof-checker for cwm's logic... in prolog...
2001-06-04 16:46:03 DanC does that mean you have cwm outputing proofs? (sorry if I missed the announcement)
2001-06-04 16:46:55 i.e. I'm trying to figure out what cwm's logic is.
2001-06-04 16:48:59 or maybe just a list, since cwm wont know what of its ordering is arbitrary.
2001-06-04 16:50:32 cwm also knows how to conclude A from A AND B.
2001-06-04 17:03:03 hmm, must be one of those recent cwm overhauls
2001-06-05 17:23:30 I just wanna see if I can use cwm rules to go from palmpilot to any other RDF calendaring schema.
2001-06-06 01:17:02 CMM? CWM...
2001-06-06 01:17:37 hmm, cwm could probably call out to some python wrapper for pgp
2001-06-06 01:56:17 That, and my cwm-alike, which needs tabling (XSB), since log:implies does not define order of evaluation.
2001-06-06 01:57:28 I'd be interested in looking at your cwm-alike.
2001-06-08 02:35:09 * Dan_C continues wrestling with cwm logic, trying to work out proof rules.
2001-06-08 02:36:10 Is there a document detailing cwm logic anywhere?
2001-06-08 02:37:35 > Is there a document detailing cwm logic anywhere?
2001-06-08 14:13:48 Does cwm have a working way to name a context, for when you want to used the same context many times without having to textually repeat it?
2001-06-08 14:16:56