opencog / opencog-cycl

A transcription of CycL to Atomese

Opencog-Cycl

This project is an attempt to map Cyc KBs to atomspace (e.g. the OpenCyc Knowledgebase) which are written in the Cycl knowledge representation language. It originates from a discussion between Linas and Prokhor. One main purpose willbe to provide new inference mechanisms for improved reasoning on the KB.

I am still in an early stage. Have a look at continuous_notes to get an idea what's going on!

- cycl-opencog-0-2.py
    translates the rules from the Cyc-KB dump into opencog rules.
    A large set of those rules have been tested an at least compile without errors...

    Usage:  cycl-opencog-0-2.py -i infile -o outfile

opencog-cycl's Issues

URE install not working because of missing Unify

When I try to follow those instructions: https://github.com/opencog/ure
I get the following error:

CMake Error at CMakeLists.txt:102 (MESSAGE):
Unify missing: it is needed!

So URE doesnt work anymore?
I cant find it, only some linke to some dead page...

Syntax error when trying to run transcrip

When I try to run the rule

(Predicate "#$termOfUnit" (Concept "#<") 
((Concept "#$GraduateFn") (Concept "#$DentalSchool"))
 (Concept ">") ((Concept "#$GraduateFn") 
(Concept "#$DentalSchool")))

in guile, I get following error:

Wrong type to apply: (ConceptNode "#$GraduateFn")