プログラム olp-api.sf.net

オントロジー論理プログラミングは、まもなくOLPであり、トポロジ学的推論と論理プログラミングの新しい組み合わせです。Prologプログラムは、オントロジーを動的にインポートし、これらのオントロジーの用語をトランスペラントに使用することができます。