OntelierRDF · OWL · WebAssembly

つながる考えに、形を与える。

Ontelierは、オントロジーを作り、問いかけるためのブラウザー上の作業場です。クラスと関係を描き、正確なRDFを確認し、OWL推論を自分の端末で実行できます。

作った理由

意味が構文の中に埋もれたり、大きなツールの奥に隠れたりすると、オントロジーは遠いものに感じられます。モデルを見て、変えて、その記述から何が導かれるかすぐに確かめられる場所を作りたかったのです。グラフが入り口を広げ、背後のTurtleが一つひとつの主張を正確に保ちます。

クラス、プロパティ、個体を作成し、専用の操作で関係やクラス式を追加できます。グラフは記述した事実と推論された事実を区別し、インスペクターは選択した要素の正確な公理を示します。

Koncludeがブラウザー内のWebAssemblyとして動作し、整合性の確認、クラスとプロパティの分類、個体の型の推論を行います。推論結果とその根拠を調べられます。SHACL Coreは明示的なデータをOWL推論とは別に検証します。

Turtleを直接編集し、SPARQLで検索し、ローカルのTurtleファイルを統合して、明示したモデルをエクスポートできます。プロジェクトはこのブラウザーに保存され、作業にアカウントやサーバーへの送信は不要です。

大きなグラフではキャンバスの表示範囲に上限があります。高度に入れ子になった式はTurtleで編集します。外部のインポートは取得せず、ファイルをローカルで追加します。Turtleのエクスポートでモデルを持ち運べます。

モデルのデータと推論はすべてブラウザー内に留まります。アカウントなしで使え、プロジェクトはこの端末に保存されます。Turtleでエクスポートすれば持ち運べます。