OWL：個人とある範囲の個人との関係を事前に定義することは可能ですか？

Question

owl:Class Personとowl:Class Fruitがあるとします。それ以外に我々はowl:ObjectProperty loves（ドメイン：Person、範囲：Fruit）を持っています。両方のクラスにはいくつかのインスタンスがあります。

クラスPersonの1つの特定のインスタンスが、その人物と他のすべてのFruitインスタンスとの間のすべての愛関係を手動で定義することなく、リンゴ（Fruitのインスタンス）以外のすべての果物を好きであると表現することは可能ですかリンゴを除く）？

より抽象的なレベル：インスタンスとインスタンスの範囲（クラスレベルまたはインスタンス自体のいずれか）の間の関係を定義することは可能ですか？

Answer 1

「apple」が「fruit」または「apple」のインスタンスであるかどうかは、「fruit」のサブクラスであるかどうかによって決まります。リンゴのインスタンスがたくさんあるので、「リンゴ」はクラスであると言うのが理にかなっています。しかし、Ignazioは "apple"がインスタンスであり、彼の答えが受け入れられた解決法を提示して以来、私は "apple"がインスタンスであると仮定して始めます。 。この:bobはリンゴが好きではない人の識別子であると仮定すると（:Fruitあると:appleではありませんすべてが:bobにより、必要な愛されていることを言っている注

:Fruit a owl:Class . 
:apple a :Fruit . 
:Person a owl:Class . 
:bob a :Person . 
:loves a owl:ObjectProperty . 
[ a owl:Class; 
    owl:intersectionOf (
    :Fruit 
    [ a owl:Class; owl:complementOf [a owl:Class; owl:oneOf (:apple)] ] 
) 
] rdfs:subClassOf [ 
    a owl:Restriction; 
    owl:onProperty [ owl:inverseOf :loves ]; 
    owl:hasValue :bob 
] . 

：次に、あなたがあなたが望むものを達成することができますこれはまさにOPが望んでいるものをモデル化しないIgnazioのソリューション、異なる

さて、りんごのクラスが存在する場合、その解決策は次のようになります。

あなたは[roliをを

:Fruit a owl:Class . 
:Apple rdfs:subClassOf :Fruit . 
:Person a owl:Class . 
:bob a :Person . 
:loves a owl:ObjectProperty . 
[ a owl:Class; 
    owl:intersectionOf (
    :Fruit 
    [ a owl:Class; owl:complementOf :Apple ] 
) 
] rdfs:subClassOf [ 
    a owl:Restriction; 
    owl:onProperty [ owl:inverseOf :loves ]; 
    owl:hasValue :bob 
] . 

Answer 2

あなたの説明には1つの制限が適用されます。あなたの質問の最初の部分のクラスから1つのインスタンスを除外するには、フルーツクラスとOneOf（Apple）の否定を交差させて、それを使用してアップルの嫌悪感をあなたのラブプロパティの範囲アサーションとして宣言します。