Описание тега reasoner

Термин "рассуждающий" обычно применяется к машинам логического вывода, которые выводят логические следствия из фактов и аксиом, написанных на языках онтологий.