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