SPARQLクエリが一部だけではなく、すべてのプロパティを持つインスタンスを取得するために

Question

レッツは、私が

uri:ObjA1 uri:propAA uri:Obj1A . 
uri:ObjA1 uri:propAA uri:Obj1B . 

uri:ObjA2 uri:propAA uri:Obj1A . 
uri:ObjA2 uri:propAA uri:Obj1B . 
uri:ObjA2 uri:propAA uri:Obj1C . 

今

が、私は何をしようとしていることだけに値Obj1AとObj1Bを持っているすべてのインスタンスを見つけることであるフォームのトリプルを持っていると言いますpropAA。基本的に、ObjA1はpropAAに対してのみObj1AとObj1Bの値を取るため、クエリはObjA1を返し、ObjA2は返しません。私が今いるのは、

SELECT * where { 
    ?sub uri:propAA uri:Obj1A . 
    ?sub uri:propAA uri:Obj1B . 
    FILTER NOT EXISTS { 
     ?sub uri:propAA ?obj . 
     FILTER((?obj != uri:Obj1A) && (?obj != uri:Obj1B)) . 
    } 
} 

です。 FILTER NOT EXISTS句を指定しないと、ObjA1とObjA2の両方が返されます。私が今探しているのは、このクエリを書く良い方法があるかどうかを知ることです。より良い、より効率的、またはより簡潔な（またはその両方）という意味になります。あなたがuri:propAAの値はuri:Obj1Aとuri:Obj1Bともに?subのためのソリューションを探しているトリプル・パターンの観点から述べると

Answer 1

。これは、SPARQLでの基本的な組み合わせです：

SELECT * 
WHERE { 
    ?sub uri:propAA uri:Obj1A . 
    ?sub uri:propAA uri:Obj1B . 
} 

Answer 2

あなたは少しNOT IN演算子を使用して、そしてまた、トリプルパターンの繰り返しを避けるために,コネクタを使用して物事を短縮することができます：

SELECT * where { 
    ?sub uri:propAA uri:Obj1A, uri:Obj1B . 
    FILTER NOT EXISTS { 
     ?sub uri:propAA ?obj . 
     FILTER(?obj NOT IN (uri:Obj1A, uri:Obj1B)) 
    } 
} 

を、私はどちらかの変更を行います疑いますパフォーマンスの差はありますが、より簡潔で読みやすく（IMHO）もあります。

FWIWでは、ここでの二重否定は、普遍的な定量化を書き換える古典的な方法です。結局のところ、論理的には、∀x P(x)は∄x ¬P(x)に等しい。 SPARQLにはFORALL演算子がないため、NOT EXISTSと二重否定を行う必要があります。