Я думал о рассуждениях в онтологиях.
Каковы различия между возможными возможностями между рассудками DL (такими как Отшельник, Пеллет и т. Д.) И Прологом?
Я имею в виду, давайте предположим, что у меня есть База знаний, содержащая онтологию (общие аксиомы) и факты. Что я могу из этого сделать с помощью Пролога, а что - с помощью рассуждений DL?
Было бы интересно, если бы вы могли также предоставить ссылки.
С наилучшими пожеланиями