Menu
▾
▴
Re: [OpenCyc-devel] OpenCyc on Ubuntu 7.10
|
From: Paul F. <pf...@cs...> - 2008-07-30 23:36:33
|
Thank you for the response. I tried with the SuSE version, but I still get the same error while "performing initialization" (please see the trace below). Command: /usr/share/opencyc-1.0/server/cyc/run/bin/opencyc-SuSE-9.2-x86_32.bin -f "(open-cyc-load-kb \"/usr/share/opencyc-1.0/server/cyc/run/units/5006/\")" Trace: ... Loading lexicon cache Performing initializations A SYMBOL at 0xb7dc001c is not a integerp. [Switching to single-threaded mode ....] Select a restart: 0: Skip running init form. 1: Recursive read loop. 2: Exit program. ? The CYC KB units seem to be there: ls /usr/share/opencyc-1.0/server/cyc/run/units/5006/ arg-type-cache.cfasl deduction-index.cfasl assertion.cfasl indices.cfasl assertion-index.cfasl lexicon-cache.cfasl assertion-indices.cfasl misc.cfasl assertion-shell.cfasl nat-indices.cfasl auxiliary-indices.cfasl nat-shell.cfasl bookkeeping-assertions.cfasl rule-set.cfasl bookkeeping-indices.cfasl rule-utility-experience.cfasl cardinality-estimates.cfasl sbhl-cache.cfasl clause-struc.cfasl sbhl-modules.cfasl constant-shell.cfasl sbhl-time.cfasl constant-shell.text special.cfasl deduction.cfasl tva-cache.cfasl Trace for running with SuSE: /usr/share/opencyc-1.0/server/cyc/run/bin/opencyc-SuSE-9.2-x86_32.bin -f "(open-cyc-load-kb \"/usr/share/opencyc-1.0/server/cyc/run/units/5006/\")" Cyc 10 (Linux 32-bit) Copyright (C) 1995 - 2006 Cycorp, Inc. All rights reserved. RTL (Green Threads/ASM Contexts) initialized. CycL Initialized. Warning: System parameters file (init/parameters.lisp) not loaded. Warning: No KB is loaded. System KB initializations will not be run. Process ID: 23152 System 1.11058.2.20.2.3. Loading init form "(open-cyc-load-kb \"/usr/share/opencyc-1.0/server/cyc/run/units/5006/\")". Loading special objects Loading constant shells Freeing clause-strucs [ DONE (0:00) ] Freeing deductions [ DONE (0:00) ] Freeing assertions [ DONE (0:00) ] Freeing NARTs [ DONE (0:00) ] Freeing constants [ DONE (0:00) ] Loading constant shells [ 30% 40% 50% 60% 70% 80% 90% 100% DONE (0:07) ] Determining maximum constant SUID [ DONE (0:00) ] Loading NART shells Loading NART shells [ DONE (0:00) ] Determining maximum NART ID [ DONE (0:01) ] Loading assertion shells Loading assertion shells [ 30% 40% 50% 60% 70% 80% 90% 100% DONE (0:07) ] Determining maximum assertion ID [ DONE (0:01) ] Loading clause-struc definitions Loading clause-struc definitions [ DONE (0:00) ] Determining maximum clause-struc ID [ DONE (0:00) ] Loading deduction definitions Deduction definitions will be swapped in lazily from /usr/share/opencyc-1.0/server/cyc/run/units/5006/deduction.cfasl and /usr/share/opencyc-1.0/server/cyc/run/units/5006/deduction-index.cfasl Initializing deduction handles only [ DONE (0:01) ] Warning: HL Store directory could not be set to absolute directory /usr/share/opencyc-1.0/server/cyc/run/units/5006/ Warning: Guessing HL Store location of units/0NIL/ Warning: Could not initialize HL store caches from /usr/share/opencyc-1.0/server/cyc/run/units/5006/. Determining maximum deduction ID [ DONE (0:00) ] Loading assertion definitions Assertion definitions will be swapped in lazily from /usr/share/opencyc-1.0/server/cyc/run/units/5006/assertion.cfasl and /usr/share/opencyc-1.0/server/cyc/run/units/5006/assertion-index.cfasl Warning: HL Store directory could not be set to absolute directory /usr/share/opencyc-1.0/server/cyc/run/units/5006/ Warning: Could not initialize HL store caches from /usr/share/opencyc-1.0/server/cyc/run/units/5006/. Loading bookkeeping assertions Loading experience Loading constant indices Loading constant indices [ 10% 20% 30% 40% 50% 60% 70% 80% 90% 100% DONE (0:19) ] Loading NART indices Loading NART indices [ DONE (0:03) ] Loading Assertion indices Loading Assertion indices [ DONE (0:00) ] Loading rule set Loading miscellaneous stuff Loading sbhl graphs Loading sbhl time state Loading sbhl cache Loading cardinality estimates Loading arg-type cache Loading TVA cache Loading lexicon cache Performing initializations A SYMBOL at 0xb7dc001c is not a integerp. [Switching to single-threaded mode ....] Select a restart: 0: Skip running init form. 1: Recursive read loop. 2: Exit program. ? On Wed, Jul 30, 2008 at 7:29 PM, <dm...@us...> wrote: > The units from The opencyc version with 5006 might be missing from the > gz, > > Due to: > > Warning: HL Store directory could not be set to absolute directory > /usr/share/opencyc-1.0/server/cyc/run/units/5006/ > Warning: Guessing HL Store location of units/0NIL/ > Warning: Could not initialize HL store caches from > /usr/share/opencyc-1.0/server/cyc/run/units/5006/. > > If this is the case, then go one opencyc version forward or backwards. > > > But most likely you should try the SuSE bin, its seems to be the best for > every system, even including the systems that had corrisponding binaries. > > > > ----- Original Message ----- > *From:* Paul Fodor <pf...@cs...> > *To:* ope...@li... > *Sent:* Wednesday, July 30, 2008 3:13 PM > *Subject:* [OpenCyc-devel] OpenCyc on Ubuntu 7.10 > > To: ope...@li... > > Dear Sir, > I am trying to use OpenCyc on Ubuntu 7.10. I understood that there is no > compilation for Ubuntu, so I am trying to use the one for RedHat 7.1, but I > get an error at initialization (please see below). We can skip this error, > but I guess no initialization is done, so we cannot use the knowledge base. > Can we still use the inference engine? > I wonder if the sources for OpenCyc are available, so we can compile it > under Ubuntu. > Thank you, > Paul Fodor. > > Command: > /usr/share/opencyc-1.0/server/cyc/run/bin/opencyc-RH-7.1-x86_32.bin -f > "(open-cyc-load-kb \"/usr/share/opencyc-1.0/server/cyc/run/units/5006/\")" > > Cyc 10 (Linux 32-bit) > Copyright (C) 1995 - 2006 Cycorp, Inc. All rights reserved. > RTL (Green Threads/ASM Contexts) initialized. > CycL Initialized. > Warning: System parameters file (init/parameters.lisp) not loaded. > Warning: No KB is loaded. System KB initializations will not be run. > Process ID: 21049 > System 1.11058.2.20.2.3. > Loading init form "(open-cyc-load-kb > \"/usr/share/opencyc-1.0/server/cyc/run/units/5006/\")". > > Loading special objects > Loading constant shells > Freeing clause-strucs > [ DONE (0:00) ] > Freeing deductions > [ DONE (0:00) ] > Freeing assertions > [ DONE (0:01) ] > Freeing NARTs > [ DONE (0:00) ] > Freeing constants > [ DONE (0:00) ] > Loading constant shells > [ 10% 30% 40% 50% 60% 70% 80% 90% 100% DONE (0:07) ] > Determining maximum constant SUID > [ DONE (0:00) ] > > Loading NART shells > Loading NART shells > [ DONE (0:01) ] > Determining maximum NART ID > [ DONE (0:00) ] > > Loading assertion shells > Loading assertion shells > [ 10% 20% 30% 40% 50% 60% 70% 80% 90% 100% DONE (0:07) ] > Determining maximum assertion ID > [ 10% DONE (0:02) ] > > Loading clause-struc definitions > Loading clause-struc definitions > [ DONE (0:00) ] > Determining maximum clause-struc ID > [ DONE (0:00) ] > > Loading deduction definitions > Deduction definitions will be swapped in lazily from > /usr/share/opencyc-1.0/server/cyc/run/units/5006/deduction.cfasl and > /usr/share/opencyc-1.0/server/cyc/run/units/5006/deduction-index.cfasl > Initializing deduction handles only > [ DONE (0:01) ] > Warning: HL Store directory could not be set to absolute directory > /usr/share/opencyc-1.0/server/cyc/run/units/5006/ > Warning: Guessing HL Store location of units/0NIL/ > Warning: Could not initialize HL store caches from > /usr/share/opencyc-1.0/server/cyc/run/units/5006/. > Determining maximum deduction ID > [ DONE (0:00) ] > > Loading assertion definitions > Assertion definitions will be swapped in lazily from > /usr/share/opencyc-1.0/server/cyc/run/units/5006/assertion.cfasl and > /usr/share/opencyc-1.0/server/cyc/run/units/5006/assertion-index.cfasl > Warning: HL Store directory could not be set to absolute directory > /usr/share/opencyc-1.0/server/cyc/run/units/5006/ > Warning: Could not initialize HL store caches from > /usr/share/opencyc-1.0/server/cyc/run/units/5006/. > > Loading bookkeeping assertions > Loading experience > Loading constant indices > Loading constant indices > [ 10% 20% 30% 40% 50% 60% 70% 80% 90% 100% DONE (0:20) ] > > Loading NART indices > Loading NART indices > [ DONE (0:03) ] > > Loading Assertion indices > Loading Assertion indices > [ DONE (0:00) ] > > Loading rule set > Loading miscellaneous stuff > Loading sbhl graphs > Loading sbhl time state > Loading sbhl cache > Loading cardinality estimates > Loading arg-type cache > Loading TVA cache > Loading lexicon cache > Performing initializations > A SYMBOL at 0xb7e3001c is not a integerp. > [Switching to single-threaded mode ....] > > Select a restart: > 0: Skip running init form. > 1: Recursive read loop. > 2: Exit program. > ? 0 > [Resuming multi-threaded mode ....] > Done. > CYC(1): console waiting > > > > ------------------------------ > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's > challenge > Build the coolest Linux based applications with Moblin SDK & win great > prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > > ------------------------------ > > _______________________________________________ > OpenCyc-devel mailing list > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/opencyc-devel > > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's > challenge > Build the coolest Linux based applications with Moblin SDK & win great > prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > OpenCyc-devel mailing list > Ope...@li... > https://lists.sourceforge.net/lists/listinfo/opencyc-devel > > |
