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