3
A
答えて
4
SPARQLは、条件文またはユニバーサル定量化はありませんが、existentials（何が？これと一致しない）、（「不在」意味で）（暗黙の）組み合わせと否定していません。
そこで質問書き換える：
∀x A(x) → B(x) ⇒
∀x ¬ (A(x) ∧ ¬ B(x)) ⇒
¬ ∃x A(x) ∧ ¬ B(x)
、それはSPARQLはかなり、行うことができるものです。このクエリ
# Is there anything of type A but not B?
ASK {
{ ?x a :A } MINUS { ?x a :B }
}
を制約の違反がある場合は真を返します。
+1
これは[** minus **]（https：// www。 w3.org/TR/sparql11-query/#neg-minus）。 **マイナス**は時々驚くかもしれないので、私はデフォルトで**存在しない**を使う傾向があります（例えば '？xa：A。filter not exist {？xa：B}'）。常に同じ結果が得られます）。これは、**マイナス**の正しい使用例です。 –
+1
「それが偽を返す場合は、テストが合格しました」というメッセージにもう1つ注意してください。それは絶対に正しいですが、考えるのは簡単かもしれません「拘束の違反があればクエリは* true *を返します」 –
+1
テキストが盗まれました:-)はい、マイナスはここで気分が良くなりますが、あなたのように私はフィルタリングする傾向があります存在しない。 – user205512
関連する問題
- 1. 誰かが結果を証明する方法を知っています 'a^b％m =（...（（a％m）* a）％m）...... * a）％m'</p> <pre><code>'a^b % m = (...((a % m) * a) % m) ......* a) % m' </code></pre> <p>：
- 2. a/b mod m =（a mod m）/（b mod m）ですか？
- 3. 「a <= b && b <= a && a！= b」はどのように真実になりますか？
- 4. 言語を認識する「プッシュダウンオートマトン」の設計：a^n b^m | N <= M <= 3nの
- 5. マップ/ fmapアナログの書き方（a-> b） - > F m a - > F m b
- 6. mapMonadTrans :: MonadTrans xT =>（m a - > n b） - > xT m a - > xT n b
- 7. if（a-b <0）とif（a <b）の違い
- 8. ^（ - 1）*（x-b）mod mのx <bの場合はどうなりますか？
- 9. ブール代数を使って式を最小化する方法は？</p> <p>Y =/A/B/C/D +/A/B/CD +/AB/CD + A/B/C/D + A：ここ
- 10. SELECT <A OR B> FROM my_table WHERE A = 5またはB = 5;
- 11. 式a^= b^= a^= bにシーケンスポイントがありますか、それとも未定義ですか？ <code>^=</code>よう </p> <pre><code>int a = 10; int b = 42; a ^= b ^= a ^= b; /*Here*/ printf("a=%d, b=%d\n", a, b); </code></pre> <p>しかし、私は思ったんだけど、複合代入演算子は次のとおりです。
- 12. 建設中の初期化？私は<code>a(c), b(a)</code>として<code>a</code>で<code>b</code>の初期化についてはよく分からない、今</p> <pre><code>struct A{ int a; int b; A(int c): a(c), b(a){ } }; int main() { A b(10); } </code></pre> <p>：
- 13. 私はAのシーケンスに基づいて数値ベクトルに変換したい</p> <pre><code>A <- c("A","A","B","B", "C","C","C", "D") </code></pre> <p>のようなベクトルを持って
- 14. Iは、そのモジュラス演算子<code>Mod(a,b,m)</code>を捜しているモジュラー距離
- 15. が動作していないよう<code>"a b"</code>から<code>"a b"</code></p> <pre><code>ssr["a b";"[ ]+";" "] </code></pre> <p>に取得するにはKDB +/Q
- 16. は、私は例が</p> <pre><code>COL1 COL2 A X A X A X A X A X B X B X B X C X C X C X </code></pre> <p>Iされて、私はタイプA、BおよびCを持つSQLデータベースから情報を取得しようとしている
- 17. サブタイプのスカラー型の結合型：A | B <：A | B | C
- 18. MonadRandom m => [g（m a）] - > m [g a]
- 19. M1 = [a、b]とM2 = [x、y]にフォーマットM = [（a、x）、（b、y）]のリストを分離
- 20. SymPy：私は<code>b + 2*a</code>を取得するために<code>a</code>と<code>b</code>を交換したいと思います</p> <pre><code>import sympy a = sympy.Symbol('a') b = sympy.Symbol('b') x = a + 2*b </code></pre> <p>のような式でスワップ二つの変数
- 21. Pythonで改行を省略するには？私たちは、これが</p> <pre><code>a = 'strin' b = 2 print str(b)+a </code></pre> <p>を行うことができますどのように多くの方法：
- 22. <a href="http://codeforces.com/contest/659/problem/B" rel="nofollow">Problem</a>の配列
- 23. アクティビティA-> B-> Cからナビゲートする - onBackPressed（）でCからAへデータを渡す方法は？ Bから<code>Activity A</code>コール<code>Activity B</code></li> <li>から
- 24. これは、マップ<A、ペア<B, C>>
- 25. C＃でSessionを使わずにBメソッドからAメソッドにデータを取得しますか？私は<code>C#</code>で<code>session</code>を使用せずに<b>get_data</b>方法に私の<b>master_handler</b><code>method</code> handler_responseデータを取得できますか
- 26. SQL、同じデータが、私はそれがこのような何かを表示したい任意の列</p> <pre><code>Source data table: P1 P2 P3 ----------- a b a a a b c a b b b a </code></pre> <p>に表示されます合計ためで、グループIは、複数の列でカウントしようとしています
- 27. テキスト値をプルする<a class><b class> with Selenium
- 28. どうすればpreg_replace @<a> @</a>〜<a> @</a>？
- 29. はどのように、</p> <pre><code>f :: a -> b g :: b -> c h :: c -> d </code></pre> <p>ハスケル
- 30. コック：私が得た、上記の場合</p> <pre><code>Require Import ZArith. (* Open Scope Z_scope. *) Goal (forall x:Z, x + (-x) = 0) -> forall a b c:Z, a + b + c + (-(c+a)) = b. </code></pre> <p>：負の整数式の不明な解釈
参照：http://stackoverflow.com/questions/25256452/is-it-possible-to-express-a-recursive-definition-in-sparql –
正確にこれを行う方法を説明する仕様があります。 – Michael