KL-ONE fornisce un linguaggio di rappresentazione di concetti basandosi su una rete ereditaria strutturata, è usato tipicamente nella costruzione della base di conoscenza di un sistema esperto ed intende rappresentare informazioni concettuali generali. Il linguaggio messo a disposizione da KL-ONE, permette l'implementazione su calcolatore della struttura della descrizione del mondo ed il suo utilizzo nel ragionamento, un'incarnazione computazionale di ciò che è stato chiamato "Structured inheritance network" (Rete ereditaria strutturata). KL-ONE divide due formalismi, uno per le asserzioni e uno per le descrizioni. Queste due parti servono per rappresentare la conoscenza del sistema e i termini entro i quali le sentenze di conoscenza vengono rispettivamente costruite. La parte descrizionale di KL-ONE permette di dare forma a una varietà di termini descrittivi usando un ristretto insieme di operatori descrizionali. Questo permette un repertorio estensibile di termini, un vocabolario concettuale che può essere usato per creare asserzioni.La parte asserzionale, d'altro canto, fa uso di termini dal linguaggio di descrizione per fare asserzioni del mondo. KL-ONE divide le sue descrizioni in due gruppi basilari: descrizioni primitive e descrizioni definite. Quando si specifica un dominio di conoscenza in KL-ONE, di solito prima si specificano alcuni tipi primitivi, seguiti di solito da altri tipi specificati sulla base dei primi. Il principale elemento delle descrizioni di KL1 è il concetto, che può essere di vari tipi, tra cui il più importante che è il concetto generico, con il quale è possibile descrivere qualsiasi cosa. I concetti più specifici sono invece concetti individuali. Ogni concetto è definito da nodi (ordinati secondo una tassonomia di tipo gerarchico) e da archi che lo collegano ad altri concetti. Secondo questo schema, i concetti di minore generalità ereditano le caratteristiche dei concetti più generali dei livelli superiori. Le relazioni tra concetti vengono espresse attraverso i ruoli che possono essere generici,d'istanza o conferenti. I ruoli attraverso l'ereditarietà possono rimanere intatti o essere modificati a seconda del tipo di ereditarietà (modificazione, differenziazione, soddisfazione).