6

OWL と Protege を発見しました。このリファレンス ページ (以下に引用します)を読むと、抽象的な OWL 構文を使用せずに DL 構文で記述することが可能かどうか疑問に思います。私のバックグラウンドは論理学なので、後でオントロジーを翻訳しなければならなくなったとしても、もっと楽しそうです (ただし、これを行うためのアプリケーションが必要であると確信していますが、推論を行う人は DL を使用しませんか?)。

可能であれば、これを行うために Protege (またはあなたの提案の他のソフトウェア) でどのような設定を使用すればよいですか? それは不可能だと思いますが、特殊記号のぎこちなさ以外にこれには正当な理由がないので、確認したいと思います。

編集: それが不可能な場合、DL 言語は正確にどのように使用されますか?

OWL DL は、データ値、データ型、およびデータ型プロパティをサポートする SHOIN 記述ロジック、つまり SHOIN(D) ですが、OWL は RDF(S) に基づいているため、用語が少し異なります。... OWL オントロジーまたは知識ベースの記述には、DL 構文を使用できます。ASCII 文字セットで記述しやすい、「抽象的」な LISP に似た構文が定義されています。

フクロウ

これは、同じデータに対する2 つの構文スタイルの非常に簡単な作業例です。

4

1 に答える 1

3

推論者は DL を使用しないのですか?

必ずしも。それらはあらゆる種類のロジックを使用しており、その一部は DL であり、一部はそうではありません。

可能であれば、これを行うために Protege (またはあなたの提案の他のソフトウェア) でどのような設定を使用すればよいですか?

Protégé にはそのようなプラグインはないと確信しています。しかし、本当に楽しみたい場合は、テキスト エディターを使用して、オントロジーを手書きで記述してください。使用できる構文は多数あります。関数型構文、OWL/XML 構文、RDF/XML 構文はすべて規範的です。さらに、マンチェスター構文、Turtle、N-Triples、JSON-LDを使用できます。これらは、RDF (したがって OWL) を作成するための将来の推奨事項になります。または、よりエキゾチックなRDF/JSON、HDT。または、 Notation3、TriG、TriX、NQuadsなどのより「強力な」構文. 楽しみがいっぱい！

いずれにせよ、DL 構文で書きたい場合は、たとえば LaTeX のような特別な Unicode 文字または特別なコマンドを使用する必要があります。そして、それを処理するパーサーは、それらの文字またはコマンドを読み取る必要があります。プログラミングをしている場合は理想的ではありません。ただし、執筆ではいつでも DL 構文を使用できます。

ところで、現在の標準の Web オントロジー言語はOWL 2です。その DL バリアント (つまり、OWL 2 DL) は、さらに魅力的な SROIQに基づいています。

于 2012-11-29T06:36:12.543 に答える