Menu
▾
▴
Re: [OpenCyc-devel] OpenCyc on Ubuntu 7.10
|
From: Paul F. <pf...@cs...> - 2008-07-31 01:29:29
|
On Wed, Jul 30, 2008 at 7:59 PM, <dm...@us...> wrote: > > I seem to remember this showstopper myself, Its possible that this release of OpenCyc was invaliuable to Win32 ports, But its possible you'll need to try a different version of Opencyc. > > What version was this again? 1.0, 0.9, 1.06 etc. OpenCyc 1.0 from http://sourceforge.net/project/showfiles.php?group_id=27274 Is there a OpenCyc 1.06? > ----- Original Message ----- > From: Paul Fodor > To: dm...@us... ; OpenCyc developers > Sent: Wednesday, July 30, 2008 4:36 PM > Subject: Re: [OpenCyc-devel] OpenCyc on Ubuntu 7.10 > 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 >> 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 >> > > ________________________________ > > ------------------------------------------------------------------------- > 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 > |