В Прологе можно представить и запрос на соединение графа, так как в этом учебнике:Как использовать OWL/RDL для представления и запроса связанного графика?
http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2_15.html
Как бы вы сделать это с помощью OWL/RDL инструмент, как Protege (http://protege.stanford.edu/)?