cyc.n3-ing

[[
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