LOOM suporta uma linguagem de "descrição" para modelagem de objetos e relações e uma linguagem de afirmações para especificar restrições sobre conceitos e relações, e estabelecer fatos sobre indivíduos. Programação procedural é suportada através de métodos de casamentos de padrões, enquanto as capacidades de regras de produção e de classificação suportam um poderoso raciocínio dedutivo (atrvés do classificador).
É importante salientar a abordagem de lógica de descrições
para modelar ontologias que difere da baseada em frames de outras linguagens
como Flogic, OCML,
OKBC.
Definições escritas usando esta abordagem tentam explorar
a existência de um poderoso classificador, especificando conceitos
usando um conjunto de restrições sobre ele.