On Wed, Jul 30, 2008 at 7:59 PM, <dmiles@users.sourceforge.net> 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: dmiles@users.sourceforge.net ; 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, <dmiles@users.sourceforge.net> 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: opencyc-devel@lists.sourceforge.net
>> Sent: Wednesday, July 30, 2008 3:13 PM
>> Subject: [OpenCyc-devel] OpenCyc on Ubuntu 7.10
>> To: opencyc-devel@lists.sourceforge.net
>>
>> 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
>> OpenCyc-devel@lists.sourceforge.net
>> 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
>> OpenCyc-devel@lists.sourceforge.net
>> 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
> OpenCyc-devel@lists.sourceforge.net
> 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
> OpenCyc-devel@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/opencyc-devel
>