- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Sun, 17 Mar 2002 01:59:58 +0100
- To: "connolly" <connolly@w3.org>
- Cc: www-archive@w3.org
[[ 15:00:57 <DanC> cwm is plugging away at cyc... 15:00:58 <DanC> Concluding definitively C2->TangibleProduct C->HandTool _g8->0_work 15:00:58 <DanC> Size of store changed from 26753 to 26754 15:00:58 <DanC> Concluding definitively C2->TangibleProduct C->FoodVessel _g8->0_work 15:00:58 <DanC> Size of store changed from 26754 to 26755 15:01:07 <DanC> this is perhaps a worst-case scenario for forward-chaining. 15:01:26 <DanC> I wonder how well Euler would do with these data. Jos, are you listening/reading-the-logs? 15:01:55 <DanC> oops... killed it; the command-line was: 15:01:57 <DanC> python ~/w3ccvs/WWW/2000/10/swap/cwm.py --chatty=30 --rdf http://opencyc.sourceforge.net/daml/cyc --n3 ~/w3ccvs/WWW/2001/05ve/rdfs.n3 --think ]] -- http://ilrt.org/discovery/chatlogs/rdfig/2002-03-16.html#T15-00-57 well, we haven't done a lot yet, just ###### # Generated with http://www.agfa.com/w3c/euler/#R29076 on Sun Mar 17 01:59:02 CET 2002 # for query http://www.agfa.com/w3c/n3/cycQ.n3 # given [http://www.agfa.com/w3c/n3/cyc.n3, http://www.agfa.com/w3c/euler/rdfs-rules.n3] @prefix mt: <http://www.w3.org/TR/rdf-mt/#>. @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>. @prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>. @prefix log: <http://www.w3.org/2000/10/swap/log#>. @prefix : <http://www.agfa.com/w3c/n3/cyc#>. @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>. @prefix daml: <http://www.daml.org/2001/03/daml+oil#>. :wavelength a daml:Property. :wavelength <http://opencyc.sourceforge.net/daml/cyc#guid> "c10096d6-9c29-11b1-9dad-c379636f7270". :wavelength daml:domain :WavePropagation. :wavelength rdfs:comment """(#$wavelength WAVE LENGTH) means that the #$WavePropagation WAVE consists of waves having the length LENGTH. LENGTH is a #$Distance measuring one complete wave in a #$WavePropagation event.""". :wavelength rdfs:label "wavelength". # Proof found for http://www.agfa.com/w3c/n3/cycQ.n3 in 14578 steps (17006 steps/sec) ###### -- Jos
Received on Saturday, 16 March 2002 20:00:36 UTC