Prolog vous pouvez représenter et interroger un graphe de connexion, comme dans ce tutoriel:Comment utiliser OWL/RDL pour représenter et interroger un graphe connecté?
http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2_15.html
Comment voulez-vous faire en utilisant un OWL/outil RDL tels que PROTECTED (http://protege.stanford.edu/)?