Без заголовка

Больше-то оно может быть и больше, но: 1. если для это нельзя запрограммировать инструментарий, то это трудно назвать технологией, т.е. это будет то самое расплывчатое "управление знаниями". "Можно запрограммировать" означает формализацию в какой-то логике. 2. если логика менее выразительна нежели логика предикатов первого порядка (с функциями, предикатами и кванторами), то технологию трудно назвать семантической. 3. для логик более высокого порядка нежели первый существенно меньше инструментария, т.е. тоже не шибко технологично на данный момент