OWL DLオペレータ "o"に関する文書はどこにありますか？

オペレータの「o」を使用するクラス式があります。私はOWL 2のドキュメントを精査しており、どこにでも定義されていることがわかりませんでした。 Googleでは「o」を検索しても何も出ません。これはおそらくストップワードです。

この "o"の "マニュアルページ"はどこですか？

2016-11-19 Alex R

o演算子はさらに説明論理構文スタイルとは、オブジェクトプロパティ式、つまりオブジェクトプロパティまたはその逆の連結を意味します。 OWL 2では、これは私はまだない

2016-11-20 07:31:23 AKSW

（あなたはを参照してくださいスクリーンショットが門徒オントロジーエディタを示して）門徒のデフォルトの構文である。また、オペレータがManchester OWL syntaxに使用されているproperty chains

いわゆるで覆われていますそれを得る。 'o'は' ObjectPropertyChain'の略語ですか？ –

はい、それは一方で、記述ロジックと呼ばれる別の構文の表記法ですが、デフォルトの構文であるマンチェスターOWL構文（https://www.w3.org/TR/owl2-manchester-syntax/）でも使用されていますプロテウスで – AKSW

答えて