KL-One, Classic, PowerLoom are knowledge representation systems using first order logic, taxonomies, and automatic concept classification by reasoning capabilities. A short presentation during the 2014 European Lisp Symposium in Paris.
The symposium is accessible at this place
YouTube has canceled all of the accesses to our workshops. So far without any explanations. But this situation is very problematic since these recordings were very popular.
As a consequence all of the sources are now available as a first source on Lutecium:
At the IRCAM Paris
KL-One, Classic, PowerLoom