OWL AXIOM 式:
与えられた : owl:class スポーツ
出力:既存の owl:object プロパティに加えて、値 Peter を持つ owl:object プロパティplayerをタイプ owl:class sport のすべてのインスタンスに追加したいと考えています。つまり、タイプ owl:class sport のすべての個体は、値 Peter で継承されたこのオブジェクト プロパティを持つ必要があります。
私が最初に考えたのは、それを一般クラス公理で表現することでした。ここで、これが a)可能かどうか、 b) Jena で isntance の SPARQL 更新クエリを使用して実行する方がよいかどうかはよくわかりません。何をするようにすすめますか？そして、このような一般的なクラス公理は、フクロウ マンチェスター構文の例として、どのように見えるでしょうか。