Выше было показано, что категории являются основными строительными блоками любой крупномасштабной схемы представления знаний. А в данном разделе описаны системы, специально предназначенные для организации и проведения рассуждений, касающихся категорий. Существуют два тесно связанных семейства систем: семантические сети предоставляют графические средства, позволяющие визуально представить базу знаний, и эффективные алгоритмы для логического вывода сведений о любом объекте на основании его принадлежности к некоторой категории, а описательные логики предоставляют формальный язык для конструирования и комбинирования определений категорий, а также эффективные алгоритмы для установления связей между категориями на уровне подмножеств и надмножеств.