2017-12-01 23 views
-1

論理式はどのようにOWLで記述されていますか? "and"と "or"演算子を含む式はすべて行います。 クライアント(たとえば、OWLパーサーを持つJavaプログラム)がこの式を真または偽の値に解決する方法についてのヒントもいくつか示します。 ポインタがあれば幸いです。OWLの論理式

+0

[W3Cドキュメント](https://www.w3.org/TR/owl2-overview/)を見たことがありますか?特にセマンティクスの部分も? OWLのセマンティクスはDescription Logicsに基づいているため、モデル理論の典型的なセットベースのセマンティクスである基礎的な論理形式である – AKSW

+0

私は知っています。私はアプリケーションの部分に取り組んでいます。理論にはあまりない。私は文字列形式のIRIを持っています。私は、オーケストレーションの次のステップを続ける前に、特定のステータスを保持したいと思います。例があります。 – badari

+0

あなたのコメントが分かりません。 "私は文字列形式のIRIを持っています" - そして今?これはどうやって重要ですか?あなたが何を求めているかははっきりしていません。詳細をご質問ください。 – AKSW

答えて

0

例を見つけることができるSWRLを見る必要があるように思えます。