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

ну лично мне логический вывод тоже крайне актуален правда я его не соотношу строго с онтологиями, но в целом согласен - если без логического вывода, то можно и в рамках чего-то попроще жить, типа model-based/oriented грубо говоря, одна из фич, крайне меня заинтересовавшая в онтологиях, была как раз ризонеры ибо они могут отлавливать часть проблем в моделях но на данный момент, четта мне кажется, что проще самому логический вывод прикручивать, под свою специфику это муторно, но зато можно делать различный оптимизаций