KL-ワン, クラシック, 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 この場所

Knowledge Representations

At the IRCAM Paris

KL-ワン, クラシック, PowerLoom