prolog - OWL / RDLを使用して、接続されたグラフを表現および照会するにはどうすればよいですか？

Question

PROLOGでは、このチュートリアルのように、接続グラフを表現および照会できます。

http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2_15.html

Protégé（ http://protege.stanford.edu/ ）などのOWL / RDLツールを使用してこれをどのように行いますか？

Answer 1

これは、 Racer Pro (非フリー) やPellet (フリー、オープン ソース プロジェクトで使用されていない場合はオープン ソース)などのセマンティック推論を使用することで達成できると思います。

このウィキペディアのページでは、比較表とともに利用可能な推論の包括的なリストを提供しています。