Linguaggi per la rappresentazione della conoscenza, Logiche Descrittive e NeoClassic Matteo Barontini.