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
First Source on Lutecium
At the IRCAM Paris
KL-One, Classic, PowerLoom