これは、Linux オンラインで実行する Swertia という名前の Linux アプリで、その最新リリースは Rdf2Tptp.jar としてダウンロードできます。 これは、ワークステーション用の無料のホスティング プロバイダーである OnWorks でオンラインで実行できます。
Swertia という名前のこのアプリをオンラインでダウンロードして実行し、OnWorks を使用して Linux オンラインで無料で実行します。
このアプリを実行するには、次の手順に従ってください。
-1。このアプリケーションをPCにダウンロードしました。
--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。
-3。このアプリケーションをそのようなファイルマネージャにアップロードします。
-4。このWebサイトからOnWorksLinuxオンラインまたはWindowsオンラインエミュレーターまたはMACOSオンラインエミュレーターを起動します。
-5。起動したばかりのOnWorksLinux OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードし、インストールして実行します。
Swertia を Linux オンラインで実行
説明：
セマンティックWeb含意レジーム変換および推論アーキテクチャであるSwertiaは、一階述語論理（FOL）推論に基づく一般的なセマンティックWeb推論フレームワークです。 目標は、RDF（S）、OWL 2（直接セマンティクス、RDFベースのセマンティクス、OWL 2 RL / RDFルール）、SWRL、RIF（RIF BLD、RIFコア、 RIF + RDFとRIF + OWLの組み合わせ）、および共通ロジック。 利用可能な推論方法は、含意チェック、整合性チェック、およびSPARQL含意レジームの形式でのクエリ応答です。 内部的には、Swertia自体は推論機能を提供していませんが、既存の推論機能を使用して、サポートされているセマンティックWeb標準で推論を実行できるようにするために必要なすべての手段を提供します。 ハイブリッド推論システムを構築するためのセマンティックWeb推論システムと同様に、FOL推論システムの大部分がサポートされています。Audience
情報技術、科学/研究、教育、上級エンドユーザー、開発者
プログラミング言語
Java
これは、https：//sourceforge.net/projects/swertia/からも取得できるアプリケーションです。 無料のオペレーティングシステムのXNUMXつから最も簡単な方法でオンラインで実行するために、OnWorksでホストされています。