一般クラス公理

Question

OWLのAXIOM式：

考える：フクロウ：クラスのスポーツ

出力：既存のフクロウに加えて：私はフクロウを追加したいオブジェクトのプロパティ：オブジェクトのプロパティプレーヤーの値を、owl：class sportのすべてのインスタンスに設定します。つまり、型owl：class sportのすべての人は、このオブジェクトのプロパティを値Peterで継承する必要があります。

私が最初に考えたのは、一般的なクラス公理とそれを表現することでした。ここで私はイエナでisntanceためのSPARQL更新クエリでそれを行うには、より良い）このA）可能とBかどうか本当にわかりません。あなたは私に何を勧めていますか？私が正しくあなたを理解していれば、そのような一般的なクラス公理は、フクロウのマンチェスター構文でisntanceために、次のようになりますか

Answer 1

は、あなたは、このための一般的なクラス公理を必要としません。

       スポーツのsubClassOf（プレイヤー値ピーター）

スポーツのすべてのインスタンスが値としてピーターを持っていることを述べている：あなたは、「正常な」サブクラス公理をしたいですプロパティプレーヤー。