Re: poolGame.rdf: cwm takes 1.5hrs... any faster tools?

Hi Dan and Co,

> I munged a bunch of SWWS travel/schedule info, working
> on a query "if EricM and DanC want to play a game
> of pool while we're in California together, what
> events will we have to work around?
>
> I got the results (see poolGame.rdf, excerpt below),
> but it took a couple days of debugging with cwm. In the
> end, cwm was taking 90 minutes per run to do the computation.
>
> I tried Euler, but I get errors such as:
>
> $ CLASSPATH=/home/connolly/src/euler java Euler poolGame-kb.n3
> poolGame-filter.n3
> ** (3) expecting ] at {<?who> = [ ; ]]} log:forSome <?who>. but got }
> java.lang.NullPointerException:
>         at Euler.<init>(Euler.java:158)
>         at Euler.assert(Euler.java:253)
>         at Euler.main(Euler.java:1163)

that's indeed a problem with empty descriptions a la []
so I hacked your poolGame-kb.n3 line 610 into
        }     log:implies {<?who>     =  [ pa:name ""
(just to work around around for the moment)

> poolGame-filter.n3 isn't quite in the right form to be
> uses as Euler's goal... the main conclusion I'm tring to reach is
> just:
>
>    { <poolGame.n3#EricDanBayArea>
>         <poolGame.n3#__hasPlans> v:e. } log:forSome v:e.
>
> But I get similar errors when I put just that (with the relevant
> namespaces declared) in the lemma/goal.

well, I took that query and ran it as follows

////////////////////////////////////////////////////////////////////////////////////////////////////
C:\n3>jview Euler poolGame-kb.n3 poolGame-query.n3
# Generated with Euler 27.029 on Mon Jul 30 11:41:15 GMT+02:00 2001
# for query file:/n3/poolGame-query.n3
# given [file:/n3/poolGame-kb.n3]

@prefix r: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix cg: <http://www.cyc.com/cyc-2-1/vocab/group-vocab.html#>.
@prefix sl: <http://www.w3.org/2001/03swell/lists#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix pa: <http://www.w3.org/2000/08/palm56/addr#>.
@prefix ont: <http://www.daml.org/2001/03/daml+oil#>.
@prefix rcs: <http://www.w3.org/2001/03swell/rcs#>.
@prefix html: <http://www.w3.org/1999/xhtml>.
@prefix xlink: <http://www.w3.org/1999/xlink>.
@prefix ical: <http://ilrt.org/discovery/2001/06/schemas/ical-full/hybrid.rdf#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix t: <http://www.w3.org/2001/08swws67/travel#>.
@prefix xyz: <file:/n3/poolGame-filter?>.
@prefix ci: <http://www.cyc.com/cyc-2-1/vocab/info-vocab.html#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ont_: <file:/n3/@@/ont_#>.
@prefix cs: <http://www.cyc.com/cyc-2-1/vocab/spatial-vocab.html#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix ctop: <http://www.cyc.com/cyc-2-1/vocab/top-vocab.html#>.
@prefix pd: <http://www.w3.org/2000/08/palm56/datebook#>.
@prefix cal: <http://www.w3.org/2000/09/calendar/alpha1>.
@prefix ctrans: <http://www.cyc.com/cyc-2-1/vocab/transportation-vocab.html#>.
@prefix : <file:/n3/poolGame-kb.n3#>.
@prefix util: <http://ilrt.org/discovery/2001/06/schemas/swws/index.rdf#>.
@prefix cact: <http://www.cyc.com/cyc-2-1/vocab/actor-vocab-complete.html#>.
@prefix ct: <http://www.cyc.com/cyc-2-1/vocab/time-vocab.html#>.
@prefix v: <file:/n3/?>.
@prefix nav: <http://www.w3.org/2001/07dc-bos/grokNavItin#>.
@prefix apt: <http://www.megginson.com/exp/ns/airports#>.
@prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#>.

<poolGame.n3#EricDanBayArea> <poolGame.n3#__hasPlans> <http://www.w3.org/2001/07/26-swcal/week-31.20
01.n3#_g10>.

<poolGame.n3#EricDanBayArea> <poolGame.n3#__hasPlans> <http://www.w3.org/2001/07/26-swcal/week-31.20
01.n3#_g13>.

<poolGame.n3#EricDanBayArea> <poolGame.n3#__hasPlans> <http://www.w3.org/2001/07/26-swcal/week-31.20
01.n3#_g16>.

<poolGame.n3#EricDanBayArea> <poolGame.n3#__hasPlans> <http://www.w3.org/2001/07/26-swcal/week-31.20
01.n3#_g22>.

 {<http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g10> cact:actors <poolGame.n3#em>.
  <poolGame.n3#EricDanBayArea> cg:groupMembers <poolGame.n3#em>.
  <poolGame.n3#EricDanBayArea> ct:temporallyIntersects <http://www.w3.org/2001/07/26-swcal/week-31.2
001.n3#_g10>} log:implies
{<poolGame.n3#EricDanBayArea> <poolGame.n3#__hasPlans> <http://www.w3.org/2001/07/26-swcal/week-31.2
001.n3#_g10>}.

 {<http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g13> cact:actors <poolGame.n3#em>.
  <poolGame.n3#EricDanBayArea> cg:groupMembers <poolGame.n3#em>.
  <poolGame.n3#EricDanBayArea> ct:temporallyIntersects <http://www.w3.org/2001/07/26-swcal/week-31.2
001.n3#_g13>} log:implies
{<poolGame.n3#EricDanBayArea> <poolGame.n3#__hasPlans> <http://www.w3.org/2001/07/26-swcal/week-31.2
001.n3#_g13>}.

 {<http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g16> cact:actors <poolGame.n3#em>.
  <poolGame.n3#EricDanBayArea> cg:groupMembers <poolGame.n3#em>.
  <poolGame.n3#EricDanBayArea> ct:temporallyIntersects <http://www.w3.org/2001/07/26-swcal/week-31.2
001.n3#_g16>} log:implies
{<poolGame.n3#EricDanBayArea> <poolGame.n3#__hasPlans> <http://www.w3.org/2001/07/26-swcal/week-31.2
001.n3#_g16>}.

 {<http://www.w3.org/2001/07/26-swcal/week-31.2001.n3#_g22> cact:actors <poolGame.n3#em>.
  <poolGame.n3#EricDanBayArea> cg:groupMembers <poolGame.n3#em>.
  <poolGame.n3#EricDanBayArea> ct:temporallyIntersects <http://www.w3.org/2001/07/26-swcal/week-31.2
001.n3#_g22>} log:implies
{<poolGame.n3#EricDanBayArea> <poolGame.n3#__hasPlans> <http://www.w3.org/2001/07/26-swcal/week-31.2
001.n3#_g22>}.

# Proof found for file:/n3/poolGame-query.n3 in 3560 steps (35029 steps/sec)
\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\

so, I don't know yet wether this makes any sense, but it took 0.1 sec
(I will study this matter better on the rdfcore f2f trip...)

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Monday, 30 July 2001 05:56:12 UTC