Угу.
> С тем же успехом можно говорить про практичность ООП для копания лопатой.
Неожиданно хорошее сравнение. ООП - типичный пример маркетингового говна.
> Онтология, насколько я понимаю, это картина мира
Нет. Онтология - словарь для её описания. Чем точнее он составлен, тем адекватнее она описана.
> Деятельностная онтология, в этом смысле, на всё смотрит через деятельность.
Это как? Без деятельности что-то объективно прекращает существование?
> Это отлично подходит для автоматизации, но до онтологии здесь очень далеко.
Это никак не связано с автоматизацией. От слова совсем. И уж тем более никак не связано ни с типизацией, ни с категоризацией.
> Тогда о какой именно онтологии вы говорите как об очень простой вещи?
О любой. Об онтологии в её естественном значении. Безотносительно программирования или проектирования.
> т.е. целевое состояние системы
Нет, не то есть. Читать следует только то, что написано. Количество элементов множества тоже может быть целью, тогда как понятие "система" предполагает их заранее известными.
> Категории Аристотеля не читал
Полагаю, это нужно было сделать _до_ чтения любых вторичных теорий.