これはSwertiaという名前のWindowsアプリで、最新リリースはRdf2Tptp.jarとしてダウンロードできます。 ワークステーション用の無料ホスティングプロバイダーOnWorksでオンラインで実行できます。
Swertiaという名前のこのアプリをOnWorksで無料でダウンロードしてオンラインで実行します。
このアプリを実行するには、次の手順に従ってください。
-1。このアプリケーションをPCにダウンロードしました。
--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。
-3。このアプリケーションをそのようなファイルマネージャにアップロードします。
-4。このWebサイトからOSOnWorksオンラインエミュレーターを起動しますが、Windowsオンラインエミュレーターの方が優れています。
-5。起動したばかりのOnWorksWindows OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードしてインストールします。
-7.LinuxディストリビューションソフトウェアリポジトリからWineをダウンロードします。 インストールしたら、アプリをダブルクリックして、Wineで実行できます。 また、人気のあるWindowsプログラムやゲームのインストールに役立つWine上の豪華なインターフェイスであるPlayOnLinuxを試すこともできます。
WineはLinux上でWindowsソフトウェアを実行する方法ですが、Windowsは必要ありません。 Wineは、任意のLinuxデスクトップでWindowsプログラムを直接実行できるオープンソースのWindows互換性レイヤーです。 基本的に、Wineは、実際にWindowsを必要とせずに、これらすべてのWindowsアプリケーションを実行できるように、十分な数のWindowsを最初から再実装しようとしています。
センブリ
Ad
DESCRIPTION
セマンティック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でホストされています。