DL構文でオントロジーを書く？

Question

私はOWLとProtegeを発見しました。 thisのリファレンスページ（以下で引用します）を読むと、ではなく、では抽象的なOWL構文を使用し、DL構文で記述することができますか？私の背景は論理ですから、たとえ後でオントロジーを翻訳しなければならないとしてももっと楽しいように聞こえます（これを行うアプリケーションがなければならないと確信していますが、don't reasoners use DL？）。

もし可能であれば、これを行うためにProtege（またはあなたの提案の他のソフトウェア）でどの設定を使用すべきですか？私はそれが不可能だと思うが、私は特別な記号の厄介さ以外にこれに正当な理由がないので、確信したい。

編集：不可能な場合、どのようにDL言語が使用されていますか？

OWL DLは、データ値、データ型 とデータ型の性質、すなわち、書院（D）の支援を説明ロジック書院であるが、OWLは、RDF（S）に基づいているので、 用語はわずかに異なります。 ... OWLオントロジーまたは知識 ベースの説明については、DL構文を使用できます。 ASCII文字セットで書くのが簡単な、抽象的なLISPのような構文 が定義されています。

ここでは、同じデータに対してvery brief working example of the two syntax stylesです。

Answer 1

DLを使用しないでください。

必ずしもそうである必要はありません。彼らはすべての種類のロジックを使用しますが、その中にはDLがあり、そうでないものもあります。

もし可能であれば、これを行うためにProtege（またはあなたの提案の他のソフトウェア）でどの設定を使用すべきですか？

私はProtégéのためのそのようなプラグインはないと確信しています。しかし、本当に楽しいことをしたい場合は、テキストエディタを使って、手作業でオントロジーを書く。多くの構文があります：functional syntax、OWL/XML syntax、RDF/XML syntaxはすべて標準です。さらに、Manchester syntax,Turtle,N-Triples,JSON-LDを使用することができます。これは今後のRDF（したがってOWL）の作成に関する推奨事項です。またはよりエキゾチックなRDF/JSON,HDT。また、Notation3、TriG、TriX、NQuadsのようなより強力な構文があります。たくさんの楽しみ！

いずれにしても、DL構文で書きたい場合は、特殊なUnicode文字やLaTeXなどの特殊コマンドを使用する必要があります。そしてそれを扱うパーサーは、それらの文字やコマンドを読まなければなりません。あなたがプログラミングしているなら理想的ではありません。しかし、あなたは常にあなたの文章でDLの構文を使用することができます。

現在、標準Web Ontology LanguageはOWL 2です。 DL変種（すなわち、OWL 2 DL）は、the even more irresistible SROIQに基づいている。