[OpenCyc-devel] OpenCyc on Ubuntu 7.10

[Paul F. <pf...@cs...>]

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